A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems-Reference-Cited by-同舟云学术

A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems

Published:2007 Issue: Volume: Page:285-300
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Kim Minyoung,Stehr Mark-Oliver,Talcott Carolyn,Dutt Nikil,Venkatasubramanian Nalini

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-72952-5_18

Reference24 articles.

1. Forge Project: http://forge.ics.uci.edu

2. Mohapatra, S., Cornea, R., Oh, H., Lee, K., Kim, M., Dutt, N.D., Gupta, R., Nicolau, A., Shukla, S.K., Venkatasubramanian, N.: A cross-layer approach for power-performance optimization in distributed mobile systems. In: IPDPS ’05. International Parallel and Distributed Processing Symposium (2005)

3. Kim, M., Dutt, N., Venkatasubramanian, N.: Policy construction and validation for energy minimization in cross layered systems: A formal method approach. In: Real-Time and Embedded Technology and Applications Symposium (RTAS ’06) Work-in-Progress Session. pp. 25–28 (2006)

4. Lecture Notes in Computer Science;M. Clavel,2007

5. Kim, D., Kim, M., Ha, S.: A Case Study of System Level Specification and Software Synthesis of Multimode Multimedia Terminal. In: Embedded Systems for Real-Time Multimedia (ESTImedia ’03), pp. 57–64 (2003)

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

1. A Framework for Analyzing Adaptive Autonomous Aerial Vehicles;Software Engineering and Formal Methods;2018

2. System Analysis and Verification: A Comprehensive Approach and Case Study;Disciplinary Convergence in Systems Engineering Research;2017-11-26

3. Twenty years of rewriting logic;The Journal of Logic and Algebraic Programming;2012-10

4. Composite Dos Attack Model;Mokslas - Lietuvos ateitis;2012-04-26

5. A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems;Formal Verification of Object-Oriented Software;2012