FORGE: A framework for optimization of distributed embedded systems software

Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003

Volumn , Issue , 2003, Pages

  Cornea, Radu ^a   Dutt, Nikil ^a   Gupta, Rajesh ^b   Krueger, Ingolf ^b   Nicolau, Alex ^a   Schmidt, Doug ^c   Shukla, Sandeep ^d  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c University of California at Irvine   (United States)

^d State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; DISTRIBUTED PARAMETER NETWORKS; FLOWCHARTING; MIDDLEWARE; REAL TIME SYSTEMS; SPECIFICATIONS;

ARCHITECTURAL MODELING; DEVELOPMENT PHASIS; DISTRIBUTED EMBEDDED SYSTEM; DISTRIBUTED SOLUTIONS; MESSAGE SEQUENCE CHARTS; MIDDLEWARE SERVICES; NODE ARCHITECTURES; SYSTEM DEVELOPMENT;

EMBEDDED SYSTEMS;

EID: 84947240522     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IPDPS.2003.1213381     Document Type: Conference Paper

References (13)

1. Divakara K. Udupa "TMN: Telecommunications Management Network", McGraw-Hill Professional Publishing, January 1999.
2. Richard E. Schantz and Douglas C. Schmidt, "Middleware for Distributed Systems: Evolving the Common Structure for Network-centric Applications, " Encyclopedia of Software Engineering, Wiley and Sons, 2002.
3. Nanbor Wang, Douglas C. Schmidt, Kirthika Parameswaran, and Michael Kircher, "Towards a Reflective Middleware Framework for QoS-enabled CORBA Component Model Applications, " IEEE Distributed Systems Online special issue on Reflective Middleware, 2001.
4. I. H. Krüger, "Distributed System Design with Message Sequence Charts", Dissertation, Technical University of Munich, 2000, online at: http://tumb1. biblio. Tumuenchen. de/publ/diss/in/2000/krueger. html
5. M. Broy, K. Stølen, "Specification and Development of Interactive Systems". Focus on Streams, Interfaces, and Refinement. Springer, 2001
6. M. Broy, I. Krüger, "Interaction Interfaces-Towards a scientific foundation of a methodological usage of Message Sequence Charts", in: J. Staples, M. G. Hinchey, Shaoying Liu (eds.): Formal
7. I. Krüger, "Specifying Services with UML and UML-RT", Electronic Notes in Theoretical Computer Science, Vol. 65 (7), 2002
8. I. Krüger, "Towards Precise Service Specification with UML and UML-RT", in: Critical Systems Development with UML (CSDUML). Workshop at UML 2002, 2002
9. Expression Project Webpage, http://www. cecs. uci. edu/~aces/projMain. html#expression
10. P. H. Chou, J. Liu, D. Li, and N. Bagherzadeh, "IMPACCT: Methodology and tools for power aware embedded systems", Design Automation for Embedded Systems, Kluwer International Journal, Special Issue on Design Methodologies and Tools for Real-Time Embedded Systems, 2002.
11. Ana Azevedo, Ilya Issenin, Radu Cornea Rajesh Gupta, Nikil Dutt, Alex Veidenbaum, Alex Nicolau, "Profile-based Dynamic Voltage Scheduling using Program Checkpoints in the COPPER Framework", Design Automation and Test in Europe, March 2002.
12. Nalini Venkatasubramanian, Mayur Deshpande, Shivajit Mohapatra, Sebastian Gutierrez-Nolasco and Jehan Wickramasuriya, "Design & Implementation of a Composable Reflective Middleware Framework ", IEEE International Conference on Distributed Computer Systems (ICDCS-21), April 2001.
13. Milind Girkar, Constantine D. Polychronopoulos, "Automatic Extraction of Functional Parallelism from Ordinary Programs", IEEE Transactions on Parallel and Distributed Systems 3(2): 166-178, 1992.