2057 search results - page 55 / 412 » Quadratic placement using an improved timing model |
ICCAD
1997
IEEE
15 years 4 months ago
1997
IEEE
Presynthesis optimizations transform a behavioral HDL description into an optimized HDL description that results in improved synthesis results. In this paper we introduce the decom...
100
click to vote
SRDS
1994
IEEE
15 years 4 months ago
1994
IEEE
We propose an improved probabilistic method for reading remote clocks in systems subject to unbounded communication delays and use this method to design a family of fault-tolerant...
IJCAI
2007
15 years 1 months ago
2007
We investigate three parameterized algorithmic schemes for graphical models that can accommodate trade-offs between time and space: 1) AND/OR Adaptive Caching (AOC(i)); 2) Variabl...
SAT
2004
Springer
15 years 5 months ago
2004
Springer
The finite model generation problem in the first-order logic is a generalization of the propositional satisfiability (SAT) problem. An essential algorithm for solving the proble...
MASCOTS
2010
15 years 1 months ago
2010
In this work the authors present an analytical model that -- compared to previously published work -- more accurately captures the delay of IEEE 802.11 protocol under low, medium,...