Sciweavers

34 search results - page 1 / 7
» A Methodology Based on Formal Methods for Predicting the Imp...
Sort
View
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 ...
DATE
1999
IEEE
64views Hardware» more  DATE 1999»
13 years 9 months ago
Dynamic Power Management for non-stationary service requests
Dynamic Power Management is a design methodology aiming at reducing power consumption of electronic systems, by performing selective shutdown of the idle system resources. The eff...
Eui-Young Chung, Luca Benini, Alessandro Bogliolo,...
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
SUTC
2006
IEEE
13 years 11 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