4565 search results - page 607 / 913 » Time Optimal Self-Stabilizing Algorithms |
186
click to vote
ICCAD
2002
IEEE
16 years 3 months 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-...
201
click to vote
ICDCS
2008
IEEE
16 years 1 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 ...
177
click to vote
ACIVS
2008
Springer
16 years 1 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...
157
click to vote
DATE
2006
IEEE
16 years 21 days 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...
144
click to vote
TACAS
2005
Springer
16 years 3 days 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...