A partial evaluator for the Maruti hard real-time system Vivek NirkheWilliam Pugh OriginalPaper Pages: 13 - 30
Predicting program execution times by analyzing static and dynamic program paths Chang Yun Park OriginalPaper Pages: 31 - 62
RTC: Language support for real-time concurrency Victor Fay WolfeSusan DavidsonInsup Lee OriginalPaper Pages: 63 - 87
Timing analysis of MRL: A real-time rule-based system Chih-Kan WangAloysius K. Mok OriginalPaper Pages: 89 - 128