6111 search results - page 245 / 1223 » Time, Hardware, and Uniformity |
113
Voted
ICCD
1997
IEEE
15 years 5 months ago
1997
IEEE
Simulated annealing based standard cell placement for VLSI designs has long been acknowledged as a compute-intensive process. All previous work in parallel simulated annealing bas...
120
Voted
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
1 Fault-tolerance is due to the semiconductor technology development important, not only for safety-critical systems but also for general-purpose (non-safety critical) systems. How...
107
Voted
DSD
2009
IEEE
15 years 4 months ago
2009
IEEE
Voltage-frequency scaling (VFS) trades a linear processor slowdown for a potentially quadratic reduction in energy consumption. Complex dependencies may exist between different tas...
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
During last years, the Time-Triggered Architecture (TTA) has been gaining acceptance as a generic architecture for highly dependable real-time systems. It is now being used to imp...
106
click to vote
ACSD
2007
IEEE
15 years 2 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...