Dynamic power management of a system with a two-priority request queue using probabilistic-model checking

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Volumn 27, Issue 2, 2008, Pages 403-407

  Sesic, Aleksandra ^a   Dautovic, Stanisa ^a   Malbasa, Veljko ^a  

^a UNIVERSITY OF NOVI SAD   (Serbia)

Author keywords

Dynamic power management (DPM); Probabilistic formal verification; Randomized optimization; System level design

Indexed keywords

ELECTRIC POWER UTILIZATION; MATHEMATICAL MODELS; MODEL CHECKING; OPTIMIZATION; PUBLIC POLICY; RANDOM PROCESSES;

DYNAMIC POWER MANAGEMENT (DPM); PROBABILISTIC FORMAL VERIFICATION; RANDOMIZED OPTIMIZATION; SYSTEM-LEVEL DESIGN;

POWER ELECTRONICS;

EID: 38649084675     PISSN: 02780070     EISSN: None     Source Type: Journal    
DOI: 10.1109/TCAD.2007.911342     Document Type: Article

References (17)

1. J. Lorch and A. Smith, "Software strategies for portable computer energy management," IEEE Pers. Commun., vol. 5, no. 3, pp. 60-73, Jun. 1998.
2. L. Benini, A. Bogliolo, and G. De Micheli, "A survey of design techniques for system-level dynamic power management," IEEE Trans. Very Large Scale Integr. (VLSI) Syst., vol. 8, no. 3, pp. 299-316, Jun. 2000.
3. Y.-H. Lu and G. De Micheli, "Comparing system-level power management policies," IEEE Des. Test Comput., vol. 18, no. 2, pp. 10-19, Mar. 2001.
4. L. Benini, A. Bogliolo, G. Paleologo, and G. De Micheli, "Policy optimization for dynamic power management," IEEE Trans. Comput.-Aided Design Integr. Circuits Syst., vol. 18, no. 6, pp. 813-833, Jun. 1999.
5. E. Y. Chung, L. Benini, A. Bogliolo, and G. De Micheli, "Dynamic power management for non-stationary service requests," in Proc. Des. Autom. Test Eur., 1999, pp. 77-81.
6. Q. Qiu and M. Pedram, "Dynamic power management based on continuous-time Markov decision processes," in Proc. Des. Autom. Conf., 1999, pp. 555-561.
7. Q. Qiu, Q. Wu, and M. Pedram, "Stochastic modeling of a power-managed system: Construction and optimization," in Proc. Int. Symp. Low Power Electron. Design, 1999, pp. 194-199.
8. Q. Qiu, Q. Wu, and M. Pedram, "Stochastic modeling of a power-managed system: Construction and optimization," IEEE Trans. Comput.-Aided Design Integr. Circuits Syst., vol. 20, no. 10, pp. 1200-1217, Oct. 2001.
9. Q. Qiu, Q. Wu, and M. Pedram, "Dynamic power management in a mobile multimedia system with guaranteed quality-of-service," in Proc. Des. Autom. Conf., 2001, pp. 834-839.
10. T. Simunic, L. Benini, and G. De Micheli, "Event driven power management of portable systems," in Proc. Int. Symp. Syst. Synthesis, 1999, pp. 18-23.
11. G. Norman, M. Kwiatkowska, D. Parker, S. Shukla, and R. Gupta, "Formal analysis and validation of continuous time Markov chain based system, level power management strategies," in Proc. 7th Annu. IEEE Int. Workshop High Level Design Validation Test, 2002, pp. 45-50.
12. M. Kwiatkowska, G. Norman, and D. Parker, "Probabilistic model checking and power-aware computing," in Proc. 7th Int. Workshop Performability Model Comput Commun. Syst., 2005, pp. 6-9.
13. G. Norman, D. Parker, M. Kwiatkowska, S. Shukla, and R. Gupta, "Using probabilistic model checking for dynamic power management," Form. Asp. Comput., vol. 17, no. 2, pp. 160-176, Aug. 2005.
14. PRISM. [Online]. Available: http://www.prismmodelchecker.org/casestudies/ power.php
15. R. W. Wolff, Stochastic Modeling and the Theory of Queues. Englewood Cliffs, NJ: Prentice-Hall, 1989.
16. A. Vogel, B. Kerhervé, G. V. Bochmann, and J. Gescei, "Distributed multimedia and QoS: A survey," IEEE Multimedia, vol. 2, no. 2, pp. 10-19, Summer 1995.
17. J. Schmidt and L. Wolf, "Quality of service - An overview," Darmstadt Univ. Technol., Darmstadt, Germany, Tech. Rep. TR-KOM-1997-01, Apr. 1997.