Sciweavers

18 search results - page 4 / 4
» Energy recovery clocked dynamic logic
Sort
View
HPCA
2003
IEEE
14 years 6 months ago
Power-Aware Control Speculation through Selective Throttling
With the constant advances in technology that lead to the increasing of the transistor count and processor frequency, power dissipation is becoming one of the major issues in high...
Juan L. Aragón, José González...
CODES
2006
IEEE
13 years 11 months ago
Hardware based frequency/voltage control of voltage frequency island systems
The ability to do fine grain power management via local voltage selection has shown much promise via the use of Voltage/ Frequency Islands (VFIs). VFI-based designs combine the a...
Puru Choudhary, Diana Marculescu
EMSOFT
2007
Springer
13 years 12 months ago
Proving the absence of run-time errors in safety-critical avionics code
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
Patrick Cousot