Dynamic Power Management of a System With a Two-Priority Request Queue Using Probabilistic-Model Checking
暂无分享,去创建一个
[1] Massoud Pedram,et al. Stochastic modeling of a power-managed system: construction and optimization , 1999, ISLPED '99.
[2] Qinru Qiu,et al. Dynamic power management based on continuous-time Markov decision processes , 1999, Proceedings - Design Automation Conference.
[3] Gregor von Bochmann,et al. Distributed Multimedia and QOS: A Survey , 1995, IEEE Multim..
[4] Sandeep K. Shukla,et al. Using probabilistic model checking for dynamic power management , 2005, Formal Aspects of Computing.
[5] Giovanni De Micheli,et al. Comparing System-Level Power Management Policies , 2001, IEEE Des. Test Comput..
[6] Luca Benini,et al. Dynamic power management for nonstationary service requests , 1999, Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078).
[7] Qinru Qiu,et al. Stochastic modeling of a power-managed system: construction and optimization , 1999, Proceedings. 1999 International Symposium on Low Power Electronics and Design (Cat. No.99TH8477).
[8] Luca Benini,et al. Event-driven power management of portable systems , 1999, Proceedings 12th International Symposium on System Synthesis.
[9] Ronald W. Wolff,et al. Stochastic Modeling and the Theory of Queues , 1989 .
[10] Alan Jay Smith,et al. Software strategies for portable computer energy management , 1998, IEEE Wirel. Commun..
[11] Massoud Pedram,et al. Dynamic power management in a mobile multimedia system with guaranteed quality-of-service , 2001, DAC '01.
[12] Sandeep K. Shukla,et al. Formal analysis and validation of continuous-time Markov chain based system level power management strategies , 2002, Seventh IEEE International High-Level Design Validation and Test Workshop, 2002..
[13] Marta Kwiatkowska,et al. Probabilistic Model Checking and Power-Aware Computing , 2005 .
[14] Jens B. Schmitt,et al. Quality of Service - An Overview , 1997 .
[15] Luca Benini,et al. Policy optimization for dynamic power management , 1999, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[16] Luca Benini,et al. Dynamic power management for nonstationary service requests , 1999 .
[17] Luca Benini,et al. A survey of design techniques for system-level dynamic power management , 2000, IEEE Trans. Very Large Scale Integr. Syst..