Sciweavers

157 search results - page 1 / 32
» Formal Methods for Dynamic Power Management
Sort
View
ICCAD
2003
IEEE
111views Hardware» more  ICCAD 2003»
14 years 1 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 to...
Rajesh K. Gupta, Sandy Irani, Sandeep K. Shukla
SFM
2005
Springer
13 years 10 months ago
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management
Andrea Acquaviva, Alessandro Aldini, Marco Bernard...
ICCD
2005
IEEE
176views Hardware» more  ICCD 2005»
14 years 1 months ago
A Formal Framework for Modeling and Analysis of System-Level Dynamic Power Management
Recent advances in Dynamic Power Management (DPM) techniques have resulted in designs that support a rich set of power management options, both at the hardware and software levels...
Shrirang M. Yardi, Karthik Channakeshava, Michael ...
SUTC
2006
IEEE
13 years 10 months ago
An Adaptive Hybrid Dynamic Power Management Method
In this paper, we propose an adaptive hybrid dynamic power management (AH-DPM) strategy based on a predictive shutdown scheme and an adaptive non-stationary stochastic process. Th...
Hung-Cheng Shih, Kuochen Wang
ISLPED
2005
ACM
123views Hardware» more  ISLPED 2005»
13 years 10 months ago
Coordinated, distributed, formal energy management of chip multiprocessors
Designers are moving toward chip-multiprocessors (CMPs) to leverage application parallelism for higher performance while keeping design complexity under control. However, to date,...
Philo Juang, Qiang Wu, Li-Shiuan Peh, Margaret Mar...