5015 search results - page 700 / 1003 » Model Checking a Path |
145
click to vote
ISPD
1999
ACM
15 years 11 months ago
1999
ACM
- In this paper, we present an algorithm for gate sizing with controlled displacement to improve the overall circuit timing. We use a path-based delay model to capture the timing c...
155
click to vote
ISPD
1999
ACM
15 years 11 months ago
1999
ACM
—This paper studies a natural formulation of the timing-driven maze routing problem. A multigraph model appropriate for global routing applications is adopted; the model naturall...
169
click to vote
PADS
1996
ACM
15 years 10 months ago
1996
ACM
We investigate conservative parallel discrete event simulations for logical circuits on shared-memory multiprocessors. For a first estimation of the possible speedup, we extend th...
172
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents an alternative formulation of the PSO dynamics by a closed loop control system, and analyzes the stability behavior of the system by using Jury's test and ...
153
click to vote
SG
2010
Springer
15 years 10 months ago
2010
Springer
Declarative approaches to camera control model inputs as properties on the camera and then rely on constraint-based and/or optimization techniques to compute the camera parameters ...