Sciweavers

Share
ICCAD
2003
IEEE

Formal Methods for Dynamic Power Management

10 years 11 months ago
Formal Methods for Dynamic Power Management
Dynamic Power Management or DPM refers to the problem of judicious application of various low power techniques based on runtime conditions in an embedded system to minimize the total energy consumption. To be effective, often such decisions take into account the operating conditions and the system-level design goals. DPM has been a subject of intense research in the pest decade driven by the need for low power in modern embedded devices. We present an overview of the formal methods that have been explored in solving the system-level DPM problem. We show how formal reasoning frameworkscan potentially unify apparently disparate DPM techniques.
Rajesh K. Gupta, Sandy Irani, Sandeep K. Shukla
Added 16 Mar 2010
Updated 16 Mar 2010
Type Conference
Year 2003
Where ICCAD
Authors Rajesh K. Gupta, Sandy Irani, Sandeep K. Shukla
Comments (0)
books