Evaluation of Battery Lifetimes using Inhomogeneous Markov Reward Models
暂无分享,去创建一个
[1] Sarma B. K. Vrudhula,et al. An Analytical High-Level Battery Model for Use in Energy Management of Portable Electronic Systems , 2001, ICCAD.
[2] A. Raghunathan,et al. Battery-driven system design: a new frontier in low power design , 2002, Proceedings of ASP-DAC/VLSI Design 2002. 7th Asia and South Pacific Design Automation Conference and 15h International Conference on VLSI Design.
[3] Sujit Dey,et al. Battery life estimation of mobile embedded systems , 2001, VLSI Design 2001. Fourteenth International Conference on VLSI Design.
[4] Kishor S. Trivedi,et al. Exact Methods for the Transient Analysis of Nonhomogeneous Continuous Time Markov Chains , 1995 .
[5] Ramesh R. Rao,et al. Pulsed battery discharge in communication devices , 1999, MobiCom '99.
[6] John F. Meyer,et al. On Evaluating the Performability of Degradable Computing Systems , 1980, IEEE Transactions on Computers.
[7] Thorsten von Eicken,et al. 技術解説 IEEE Computer , 1999 .
[8] B. Sericola. Occupation times in markov processes , 2000 .
[9] John F. Meyer,et al. Performability: A Retrospective and Some Pointers to the Future , 1992, Perform. Evaluation.
[10] N. M. van Dijk,et al. Uniformization for nonhomogeneous Markov chains , 1992, Oper. Res. Lett..
[11] Christel Baier,et al. Model checking performability properties , 2002, Proceedings International Conference on Dependable Systems and Networks.
[12] Lucia Cloth,et al. Model checking algorithms for Markov reward models , 2006 .
[13] Miklós Telek,et al. Analysis of inhomogeneous Markov reward models , 2003 .
[14] Henk C. Tijms,et al. A fast algorithm for the transient reward distribution in continuous-time Markov chains , 2000, Oper. Res. Lett..
[15] Christel Baier,et al. Model Checking CSRL-Specified Performability Properties , 2001 .