521 search results - page 60 / 105 » Timing Verification Using HDTV |
116
Voted
ICALP
2009
Springer
16 years 25 days ago
2009
Springer
We present an AC1 (logDCFL) algorithm for checking LTL formulas over finite paths, thus establishing that the problem can be efficiently parallelized. Our construction provides a f...
112
Voted
DAC
2004
ACM
16 years 1 months ago
2004
ACM
Current Static Timing Analysis (STA) techniques allow one to verify the timing of a circuit at different process corners which only consider cases where all the supplies are low o...
97
Voted
ASPLOS
2004
ACM
15 years 6 months ago
2004
ACM
Sampling has been successfully used to identify performance optimization opportunities. We would like to apply similar techniques to check program correctness. Unfortunately, samp...
100
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
Experimental analysis of networks of cooperative learning agents (to verify certain properties such as the system's stability) has been commonly used due to the complexity of...
137
Voted
CAMAD
2006
IEEE
15 years 2 months ago
2006
IEEE
A new and simple network simulator Nessi is described in this paper. While other simulators focus on minimizing the simulation time, Nessi tries to minimize the development time an...