Ensuring code safety without runtime checks for real-time control systems

Sumant Kowshik, Dinakar Dhurjati, Vikram S. Adve. Ensuring code safety without runtime checks for real-time control systems. In Shuvra S. Bhattacharyya, Trevor N. Mudge, Wayne Wolf, Ahmed Amine Jerraya, editors, Proceedings of the International Conference on Compilers, Architectures and Synthesis for Embedded Systems, CASES 2002, Greenoble, France, October 8-11, 2002. pages 288-297, ACM, 2002. [doi]

Abstract

Abstract is missing.