A model checking approach to evaluating system level dynamic power management policies for embedded systems

Abstract

System Level Power Management policies are typically based on moving the system to various power management states, in order to achieve minimum wastage of power. The major challenge in devising such strategies is that the input task arrival rates to a system is usually unpredictable, and hence the power management strategies have to be designed as on-line… (More)
DOI: 10.1109/HLDVT.2001.972807

Topics

2 Figures and Tables

Statistics

0510'03'05'07'09'11'13'15'17
Citations per Year

73 Citations

Semantic Scholar estimates that this publication has 73 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Shukla2001AMC, title={A model checking approach to evaluating system level dynamic power management policies for embedded systems}, author={Sandeep K. Shukla and Rajesh K. Gupta}, booktitle={HLDVT}, year={2001} }