4565 search results - page 607 / 913 » Time Optimal Self-Stabilizing Algorithms |
140
Voted
ICCAD
2002
IEEE
16 years 6 days ago
2002
IEEE
─ In this paper, we present Forge, an optimal algorithm for gate sizing using the Elmore delay model. The algorithm utilizes Lagrangian relaxation with a fast gradient-based pre-...
159
Voted
ICDCS
2008
IEEE
15 years 9 months ago
2008
IEEE
Multi-dimensional storage virtualization (MDSV) allows multiple virtual disks, each with a distinct combination of capacity, latency and bandwidth requirements, to be multiplexed ...
131
click to vote
ACIVS
2008
Springer
15 years 9 months ago
2008
Springer
Within a camera network, the contribution of a camera to the observations of a scene depends on its viewpoint and on the scene configuration. This is a dynamic property, as the sc...
108
click to vote
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
The energy-aware design for electronic systems has been an important issue in hardware and/or software implementations, especially for embedded systems. This paper targets a synth...
102
click to vote
TACAS
2005
Springer
15 years 8 months ago
2005
Springer
Shorter counterexamples are typically easier to understand. The length of a counterexample, as reported by a model checker, depends on both the algorithm used for state space explo...