- 1 Audsley, N.C., Burns, A., Richardson, M.F., Wellings, A.J. Deadline monotonic scheduling theory. In Proceedings of IFAC Workshop on Real Time Programming (WRTP '92) (Bruges, Belgium, June 1992), pp. 55-6O.Google ScholarCross Ref
- 2 Ishikawa, Y., Tokuda, H., and Mercer, C. Object-oriented real-time language design: Constructs for timing constraints. In Proceedings of ECOOP/OOPSLA (Ottawa, Canada, Oct. 1990), 21-25. Google ScholarDigital Library
- 3 Kenny, K. and Lin, K-J. Building flexible real-time systems using the flex language. IEEE Computer 24, 5 (May 1991), 70-78. Google ScholarDigital Library
- 4 Kligerman, E. and Stoyenko, A.D. Real-time Euclid: A language for reliable real-time systems. IEEE Trans. So2~w. Eng. SE-12, 9 (Sept. 1986), 941-949. Google ScholarDigital Library
- 5 Lehoczky, J. Sha, L. and Strosnider, J.K. Enhanced aperiodic responsiveness in hard real-time environments. In Proceedings of the 8th IEEE Real- Time Systems Symposium (Dec. 1987), pp. 261-270.Google Scholar
- 6 Liu, C.L. and Layland, J.W. Scheduling algorithms for multiprogramming in a hard real-time environment. J. ACM 20, 1 (Jan. 1973), 44-61. Google ScholarDigital Library
- 7 Natarajan, S., Ed. Imprecise and Approximate Computation. Kluwer Academic Publishers, Boston, 1995. Google ScholarDigital Library
- 8 Sprunt, B., Sha, L. and Lehoczky, J. A periodic task scheduling for hard real-time systems. J. Real-Time Systems 1, 1 (Nov. 1989), 27-60.Google ScholarCross Ref
- 9 Stewart, D.B., Schmitz, D.E. and Khosla, P.K. The Chimera II real-time operating system for advanced sensor-based control applications. IEEE Trans. on Systems, Man, and Cybernetics 22, 6 (Nov./Dec. 1992), 1282-1295.Google Scholar
- 10 Stewart, D.B. Real-time software design and analysis of reconfigurable multi-sensor based systems. Ph.D. dissertation, Carnegie Mellon University, April 1994. Google ScholarDigital Library
- 11 Streich, H. TaskPair scheduling: An approach for dynamic real-time systems. Intl. J. of Mini and Microcomp~ters 17, 2 (1995), 77-83.Google Scholar
- 12 Tokuda, H., Nakajima, T. and Rao, P. Real-time Mach: Towards a predictable real-time system. In Proceedings of the USENIX Mach Workshop, (Oct. 1990), 73-82.Google Scholar
Index Terms
- Mechanisms for detecting and handling timing errors
Recommendations
Detecting memory errors via static pointer analysis (preliminary experience)
PASTE '98: Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineeringPrograms which manipulate pointers are hard to debug. Pointer analysis algorithms (originally aimed at optimizing compilers) may provide some remedy by identifying potential errors such as dereferencing NULL pointers by statically analyzing the behavior ...
Detecting memory errors via static pointer analysis (preliminary experience)
Programs which manipulate pointers are hard to debug. Pointer analysis algorithms (originally aimed at optimizing compilers) may provide some remedy by identifying potential errors such as dereferencing NULL pointers by statically analyzing the behavior ...
Single-Call Mechanisms
Special Issue on EC'12, Part 2Truthfulness is fragile and demanding. It is oftentimes harder to guarantee truthfulness when solving a problem than it is to solve the problem itself. Even worse, truthfulness can be utterly destroyed by small uncertainties in a mechanism’s outcome. ...
Comments