Author of the publication

Static Analysis: Hard Real Time is Hard, "Big Time!".

, and . NATO ASI RTC, volume 127 of NATO ASI Series, page 702-703. Springer, (1992)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Statically Safe Speculative Execution for Real-Time Systems., , , and . IEEE Trans. Software Eng., 25 (5): 701-721 (1999)Architecture and Language support for Fault-tolerance in Complex Real-Time Systems., , , , and . ICECCS, page 314-322. IEEE Computer Society, (1996)Design Patterns Across Software Engineering and Relational Databases., , and . SEDE, page 271-274. ISCA, (2006)Composable Attribute Grammars: Support for Modularity in Translator Design and Implementation., , and . POPL, page 223-234. ACM Press, (1992)Exact and Efficient Analysis of Schedulability in Fixed-Packet Networks: A Generic Approach., , , and . INFOCOM, page 584-591. IEEE Computer Society, (1997)Design patterns for database pedagogy: a proposal., , and . SIGCSE, page 48-52. ACM, (2005)Performing data flow analysis in parallel., , and . SC, page 942-951. IEEE Computer Society, (1990)A Language Support Environment for Complex Distributed Real-Time Applications., , , and . ICECCS, page 212-. IEEE Computer Society, (1997)Using speculative execution for fault tolerance in a real-time system., , , and . ICECCS, page 349-356. IEEE Computer Society, (1995)A task graph model for design and implementation of real-time systems., and . ICECCS, page 432-441. IEEE Computer Society, (1996)