Formal Methods for Dynamic Power Management

IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers

Volumn , Issue , 2003, Pages 874-881

  Gupta, Rajesh K ^a   Irani, Sandy ^b   Shukla, Sandeep K ^c  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; DECISION THEORY; ELECTRIC POWER UTILIZATION; EMBEDDED SYSTEMS; ENGINEERING RESEARCH; FORMAL LOGIC; OPTIMIZATION; PROBABILITY;

DYNAMIC POWER MANAGEMENT; SERVICE PROVIDERS;

ELECTRIC LOAD MANAGEMENT;

EID: 0346148418     PISSN: 10923152     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/iccad.2003.159778     Document Type: Conference Paper

References (45)

1. A. Borodin and R. El-Yaniv. Online Computation and Competitive Analysis. Cambridge University Press, 1998.
2. J. Augustine and C. Swamy. Dynamic power management with non-additive state transitions. Submitted for publication. Available as Technical Report, Information and Computer Science, UC Irvine.
3. A. Aziz, K. Sanwal, V. Singhal, and R. Brayton. Verifying continuous time Markov chains. In Proc. Conference on Computer-Aided Verification, July 1996.
4. C. Baier, B. Haverkort, H. Hermanns, and J.-P. Katoen. On the logical characterisation of performability properties. In Proc. ICALP'00, 2000.
5. C. Baier, J.-P. Katoen, and H. Hermanns. Approximative symbolic model checking of continuous-time Markov chains. In Proc. CONCUR'99, Eindhoven, August 1999.
6. L. Benini, A. Bogliolo, and G. D. Micheli. A survey of design techniques for system-level dynamic power management. IEEE Transactions on Very Large Scale Integration (TVLSI) Systems, 8(3):299-316, 2000.
7. L. Benini, A. Bogliolo, G. Paleologo, and G. D. Micheli. Policy optimization for dynamic power management. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 18(6):813-833, 1999.
8. L. Benini, G. De Micheli, and E. Macii. Designing Low-power Circuits: Practical Recipes. IEEE Circuits and Systems Magazine, 1(1):6-26, Mar. 2001.
9. L. Benini and G. D. Micheli. Dynamic Power Management: Design Techniques and CAD Tools. Kluwer Publications, 1998.
10. A. Bianco and L. de Alfaro. Model checking of probabilistic and nondeterministic systems. In Proc. FSTTCS, volume 1026 of LNCS, pages 499-513. Springer, 1995.
11. E. Y. Chung, L. Benini, A. Bogliolo, and G. D. Micheli. Dynamic Power Management for Non-Stationary Service Requests. In Proceedings of the Design Automation and Test Europe, 1999.
12. E.-Y. Chung, L. Benini, and G. D. Micheli. Dynamic Power Management Using Adaptive Learning Trees. In Proceedings of ICCAD, 1999.
13. L. de Alfaro. Formal Verification of Probabilistic Systems. PhD thesis, Stanford University, 1997.
14. H. Hansson and B. Jonsson. A logic for reasoning about time and probability. Formal Aspects of Computing, 6:512-838, 1994.
15. C.-H. Hwang, C. Allen, and H. Wu. A Predictive System Shutdown Method For Energy Saving of Event-Driven Computation. In Proceedings of the IEEE/ACM International Conference on Computer Aided Design, pages 28-32, 1996.
16. Intel and Microsoft and Toshiba. Advanced Configuration and Power Interface Specification. Website, December 1996.
17. S. Irani, S. Shukla, and R.Gupta. Algorithms for power savings. In Proceedings of the 14th Symposium on Discrete Algorithms, pages 37-46, 2003.
18. S. Irani, S. Shukla, and R.Gupta. Dynamic power management of devices with multiple power saving states. ACM Transactions on Embedded Systems, Accepted for publication, 2003.
19. A. Karlin, M. Manasse, L. McGeoch, and S. Owicki. Randomized competitive algorithms for non-uniform problems. In First Annual ACM-SIAM Symposium on Discrete Algorithms, pages 301-309, 1990.
20. S. Keshav, C. Lund, S. Philliips, N. Reaingold, and H. Saran. An empirical evaluation of virtual circuit holding time policies in ip-over-atm networks. IEEE Journal on Selected Areas in Communications, 13:1371-1382, 1995.
21. M. Kwiatkowska, G. Norman, and A. Pacheco. Model checking expected time and expected reward formulae with random time bounds. In Proc. 2nd Euro-Japanese Workshop on Stochastic Risk Modelling for Finance, Insurance, Production and Reliability, 2002.
22. Y. Lu, L. Benini, and G. DeMicheli. Request-aware power reduction. In Proceedings of the International Symposium on System Synthesis, pages 18-23, 2000.
23. Y. Lu, E. Chung, t. Simunic, L. Benini, and G. DeMicheli. Quantitative Comparison of Power Management Algorithms. In Proceedings of the Design and Automation and Test in Europe, 2000.
24. Y. Lu and G. DeMicheli. Adaptive Hard Disk Power Management on Personal Computers. In Proceedings of the Great Lakes Symposium on VLSI, 1999.
25. M. Maleki, K. Dantu, and M. Pedram. Power-aware source routing protocol for mobile ad hoc networks. In Proceedings of ISLPED, 2002.
26. Microsoft. OnNow Power Management Architecture for Applications. Website, August 1997.
27. R. Min, M. Bhardwaj, S.-H. Cho, N. Ickes, E. Shih, A. Sinha, A. Wang, and A. Chandrakasan. Energy-Centric Enabling Technologies for Wireless Sensor Networks. IEEE Wireless Communications, August 2002.
28. G. Norman, D. Parker, M. Kwiatkowska, S. Shukla, and R. Gupta. Formal analysis and validation of continuous time Markov chain based system level power management strategies. In Proc. 7th Annual IEEE International Workshop on High Level Design Validation and Test (HLDVT'02), pages 45-50, 2002.
29. G. Norman, D. Parker, M. Kwiatkowska, S. Shukla, and R. Gupta. Using probabilistic model checking for dynamic power management. In Proc. 3rd Workshop on Automated Verification of Critical Systems (AVoCS'03), pages 202-215, April 2003.
30. G. A. Paleologo, L. Benini, A. Bogliolo, and G. D. Micheli. Policy Optimization for Dynamic Power Management. In Proceedings of Design Automation Conference, 1998.
31. D. Parker. Implementation of Symbolic Model Checking for Probabilistic Systems. PhD thesis, University of Birmingham, 2002.
32. S. Phillips and J. Westbrook. chapter 10 of Algorithms and Theory of Computation Handbook, chapter On-line algorithms: Competitive analysis and beyond. CRC Press, Boca Raton, 1999.
33. Q. Qiu and M. Pedram. Dynamic Power Management Based on Continuous-Time Markov Decision Processes. In. Proceedings of Design Automation Conference, pages 555-561, June 1999.
34. Q. Qiu and Q. Wu and M. Pedram. Dynamic power management of complex systems using generalized stochastic petri nets. In Proceedings of Design Automation Conference, pages 352-356, June 2000.
35. Q. Qiu, Q. Wu and M. Pedram. Stochastic Modeling of a Power-Managed System: Construction and Optimization. In Proceedings of the International Symposium on Low Power Electronics and Design, 1999.
36. D. Ramanathan, S. Irani, and R. K. Gupta. Latency Effects of System Level Power Management Algorithms. In Proc. ICCAD, 2000.
37. Z. Ren and B. Krogh. Sentry-based Power Management in Wireless Sensor Networks. In Proceedings of IPSN, 2003.
38. P. Rong and M. Pedram. Extending the lifetime of a network of battery-powered mobile devices by remote processing: a Markovian decision-based approach. In Proceedings of DAC, 2003.
39. S. Irani and S. Shukla and R. Gupta. Competitive analysis of dynamic power management strategies for systems with multiple power saving states. In Proceedings of the Design Automation and Test Europe Conference, 2002.
40. S. Shukla and R. Gupta. A Model Checking Approach to Evaluating System Level Power Management for Embedded Systems. In Proceedings of IEEE Workshop on High Level Design Validation and Test (HLDVT01). IEEE Press, November 2001.
41. L. Shang, R. Dick, and N. K. Jha. An economics-based power-aware protocol for computation distribution in mobile ad-hoc networks. In Proceedings of 14th IASTED International Conference on Parallel and Distributed Computing and Systems, 2002.
42. T. Simunic, L. Benini, and G. D. Micheli. Event Driven Power Management of Portable Systems. In In the Proceedings of International Symposium on System Synthesis, pages 18-23, 1999
43. M. Srivastava. Chapter 11 of Power Aware Design Methodologies, chapter Power-Aware Communication Systems. Kluwer Academic Press, 2002.
44. M. B. Srivastava, A. P. Chandrakasan, and R. W. Broderson. Predictive Shutdown and Other Architectural Techniques for Energy Efficient Programmable Computation. IEEE Trans. on VLSI Systems, 4(1):42-54, march 1996.
45. Technical specifications of hard drive IBM Travelstar VP 2.5inch, available at. http://www.storage.ibm.com/storage/oem/data/travvp.htm, 1996.