Modeling and analysis of power-aware systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2619, Issue , 2003, Pages 409-424

  Sokolsky, Oleg ^a   Philippou, Anna ^b   Lee, Insup ^a   Christou, Kyriakos ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b UNIVERSITY OF CYPRUS   (Cyprus)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRIC POWER UTILIZATION; TIME SHARING SYSTEMS; VOLTAGE SCALING;

ALTERNATIVE POWER; CONCURRENT SYSTEMS; FORMAL APPROACH; MODEL AND ANALYSIS; POWER AWARE SYSTEM; PROCESS ALGEBRAS; RESOURCE FAILURES; RESOURCE USAGE;

POWER MANAGEMENT;

EID: 21144448156     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36577-x_29     Document Type: Article

References (17)

1. C. Baier, B.R. Haverkort, H. Hermanns, and J.-P. Katoen. On the logical characterisation of performability properties. In Proceedings of ICALP 00, volume 1853 of LNCS, pages 780-792, 2000.
2. M. Bernardo. An algebra-based method to associate rewards with empa terms. In Proceedings of ICALP 97, volume 1256 of LNCS, pages 358-368, July 1997.
3. T. D. Burd and R. W. Brodersen. Energy efficient CMOS microprocessor design. In Proceedings of IEEE Hawaii International Conference on System Sciences. Volume 1: Architecture, pages 288-297, 1995.
4. J-Y. Choi, I. Lee, and H.-L. Xie. The specification and schedulability analysis of real-time systems using ACSR. In Proceedings of Real-Time Systems Symposium, December 1995.
5. E. Clarke, E. Emerson, and A. Prasad Sistla. Automatic verification of finite state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 8(2), 1986.
6. L. de Alfaro. How to specify and verify the long-run average behavior of probabilistic systems. In Proceedings of IEEE Symposium on Logic in Computer Science, pages 454-465, 1998.
7. R. De Nicola and F. W. Vaandrager. Three logics for branching bisimulation. In Proceedings of LICS '90, 1990.
8. H. Hansson. Time and probability in formal design of distributed systems. In Real-Time Safety Critical Systems, volume 1. Elsevier, 1994.
9. H. Karloff. Linear Programming. Progress in Theoretical Computer Science. Birkhauser, 1991.
10. I. Lee, P. Brémond-Grégoire, and R. Gerber. A process algebraic approach to the specification and analysis of resource-bound real-time systems. Proceedings of the IEEE, pages 158-171, Jan 1994.
11. I. Lee, A. Philippou, and O. Sokolsky. Formal modeling and analysis of power-aware real-time systems. Technical Report MIS-CIS-02-12, Department of Computer and Information Science, University of Pennsylvania, 2002.
12. C. L. Liu and J. W. Layland. Scheduling algorithms for multiprogramming in a hard real-time environment. Journal of the ACM 20, 1:46-61, 1973.
13. A. Philippou, O. Sokolsky, R. Cleaveland, I. Lee, and S. Smolka. Probabilistic resource failure in real-time process algebra. In Proceedings of CONCUR 98, pages 389-404, 1998.
14. P. Pillai and K. G. Shin. Real-time dynamic voltage scaling for low-power embedded operating systems. In Proceedings of ACM Symposium on Operating Systems Principles, 2001.
15. R. Segala and N. Lynch. Probabilistic simulations for probabilistic processes. In Proceedings CONCUR 94, Uppsala, Sweden, volume 836 of LNCS, pages 481-496, 1994.
16. O. Sokolsky, I. Lee, and H. Ben-Abdallah. Specification and analysis of real-time systems with PARAGON. Annals of Software Engineering, 7:211-234, 1999.
17. M. Vardi. Automatic verification of probabilistic concurrent finite-state programs. In Proceedings of the Symposium on Foundations of Computer Science, pages 327-338, 1985.