Improving the adaptability of multi-mode systems via program steering

This publication has 13 references indexed in Scilit:

• Multi-modal network protocols
  ACM SIGCOMM Computer Communication Review, 2002
• On-the-fly calculation and verification of consistent steering transactions
  Published by Association for Computing Machinery (ACM) ,2001
• Dynamically discovering likely program invariants to support program evolution
  IEEE Transactions on Software Engineering, 2001
• A multi-agent architecture for process management accommodates unexpected performance
  Published by Association for Computing Machinery (ACM) ,2000
• Representation of function variants for embedded system optimization and synthesis
  Published by Association for Computing Machinery (ACM) ,1999
• Using specialized procedures and specification-based analysis to reduce the runtime costs of modularity
  Published by Association for Computing Machinery (ACM) ,1994
• Compiler transformations for high-performance computing
  ACM Computing Surveys, 1994
• An annotated bibliography of interactive program steering
  ACM SIGPLAN Notices, 1994
• Using profile information to assist classic code optimizations
  Software: Practice and Experience, 1991
• The use of self checks and voting in software error detection: an empirical study
  IEEE Transactions on Software Engineering, 1990