Improving the adaptability of multi-mode systems via program steering

ISSTA 2004 - Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis

Volumn , Issue , 2004, Pages 206-216

  Lin, Lee ^a   Ernst, Michael D ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Adaptability; Mode selection; Multi mode systems; Program steering

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SIMULATION; COMPUTER SYSTEM RECOVERY; DECISION MAKING; ENERGY DISSIPATION; MATHEMATICAL MODELS; OPTIMIZATION; RADIO INTERFERENCE; ROBOT APPLICATIONS; ROUTERS; SENSORS; THROUGHPUT;

ADAPTABILITY; MODE SELECTION; MULTI-MODE SYSTEMS; NAVIGATION ALGORITHM; PROGRAM STEERING; PROGRAM VERIFICATION;

SOFTWARE ENGINEERING;

EID: 20344376607     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1013886.1007540     Document Type: Conference Paper

References (18)

1. D. F. Bacon, S. L. Graham, and O. J. Sharp. Compiler transformations for high-performance computing. ACM Computing Surveys, 26(4):345-420, Dec. 1994.
2. R. K. Balan, A. Akella, and S. Seshan. Multi-modal network protocols. SIGCOMM Comput. Commun. Rev., 32(1):60-60, Jan. 2002.
3. B. Calder, P. Feller, and A. Eustace. Value profiling. In MICRO-97, pages 259-269, Dec. 1-3, 1997.
4. B. Calder, P. Feller, and A. Eustace. Value profiling and optimization. Journal of Instruction Level Parallelism, 1, Mar. 1999. http://www.jilp.org/vol1/.
5. P. P. Chang, S. A. Mahlke, and W.-m. W. Hwu. Using profile information to assist classic code optimizations. Software Practice and Experience, 1991.
6. J. Chapin. Personal communication. CTO, Vanu Inc., 2002.
7. J. Debenham. A multi-agent architecture for process management accommodates unexpected performance. In SAC, pages 15-19, Mar. 2000.
8. G. Eisenhauer and K. Schwan. An object-based infrastructure for program monitoring and steering. In SPDT, pages 10-20, Aug. 1998.
9. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE TSE, 27(2):l-25, Feb. 2001.
10. A. Ghieth and K. Schwan. CHAOS-Arc - kernel support for multi-weight objects, invocations, and atomicity in real-time applications. ACM Transactions on Computer Systems, 11(1):33-72, Apr. 1993.
11. W. Gu, J. Vetter, and K. Schwan. An annotated bibliography of interactive program steering. ACM SIGPLAN Notices, Sept. 1994.
12. N. G. Leveson, S. S. Cha, J. C. Knight, and T. J. Shimeall. The use of self checks and voting in software error detection: An empirical study. IEEE TSE, 16(4):432-443, Apr. 1990.
13. L. Lin and M. D. Ernst. Improving reliability and adaptability via program steering, In ISSRE Supplementary, pages 313-314, Nov. 2003.
14. J. Liu, P. H. Chou, N. Bagherzadeh, and F. Kurdahi. A constraint-based application model and scheduling techniques for power-aware systems. In CODES, pages 153-158, Apr. 2001.
15. D. W. Miller, J. Guo, E. Kraemer, and Y. Xiong. On-the-fly calculation and verification of consistent steering transactions. In SC2001, pages 1-17, Nov. 2001.
16. K. Richter, D. Ziegenbein, R. Ernst, L. Thiele, and J. Teich. Representation of function variants for embedded system optimization and synthesis. In DAC, pages 517-522, June 1999.
17. M. T. Vandevoorde and J. V. Guttag. Using specialized procedures and specification-based analysis to reduce the runtime costs of modularity. In FSE, pages 121-127, Dec. 1994.
18. R. K. Weiler. Automatic upgrades: A hands-on process. Information Week, Mar. 2002.