Formal Control Techniques for Power-Performance Management
- 7 November 2005
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Micro
- Vol. 25 (5), 52-62
- https://doi.org/10.1109/mm.2005.87
Abstract
These techniques determine when to speed up a processor to reach performance targets and when to slow it down to save energy. They use dynamic voltage and frequency scaling to balance speed and avoid worst case frequency limitations for both multiple-clock-domain and chip multiprocessors.Keywords
This publication has 10 references indexed in Scilit:
- Coordinated, distributed, formal energy management of chip multiprocessorsPublished by Association for Computing Machinery (ACM) ,2005
- Hybrid simulation for embedded software energy estimationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Formal online methods for voltage/frequency control in multiple clock domain microprocessorsPublished by Association for Computing Machinery (ACM) ,2004
- XTREMPublished by Association for Computing Machinery (ACM) ,2004
- Automated energy/performance macromodeling of embedded softwarePublished by Association for Computing Machinery (ACM) ,2004
- Energy-efficient processor design using multiple clock domains with dynamic voltage and frequency scalingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- A critical analysis of application-adaptive multiple clock processorsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Dynamic frequency and voltage control for a multiple clock domain microarchitecturePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Profile-based dynamic voltage and frequency scaling for a multiple clock domain microprocessorPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- The SimpleScalar tool set, version 2.0ACM SIGARCH Computer Architecture News, 1997