Modeling and Analysis of Power-Aware Systems-Reference-Cited by-同舟云学术

Modeling and Analysis of Power-Aware Systems

Published:2003 Issue: Volume: Page:409-424
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Sokolsky Oleg,Philippou Anna,Lee Insup,Christou Kyriakos

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-36577-X_29

Reference17 articles.

1. Lect Notes Comput Sci;C. Baier,2000

2. Lect Notes Comput Sci;M. Bernardo,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.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Modeling and Analysis of Real-Time Software Based on Resource Timed Communicating Sequential Process;Advanced Materials Research;2011-04

2. Performability assessment by model checking of Markov reward models;Formal Methods in System Design;2010-02

3. Resources in process algebra;The Journal of Logic and Algebraic Programming;2007-05

4. Discrete-Time Rewards Model-Checked;Lecture Notes in Computer Science;2004

5. Towards a Notion of Quantitative Security Analysis;Quality of Protection