Author of the publication

Task Termination in Ada 95.

, , and . Ada-Europe, volume 1251 of Lecture Notes in Computer Science, page 149-160. Springer, (1997)

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

Integrating object-oriented programming and protected objects in Ada 95., , , , , and . ACM Trans. Program. Lang. Syst., 22 (3): 506-539 (2000)Multiprocessors and Asynchronous Event Handling in the Real-Time Specification for Java., and . Comput. J., 54 (8): 1308-1324 (2011)Applying fixed-priority preemptive scheduling with preemption threshold to asynchronous event handling in the RTSJ., and . Concurr. Comput. Pract. Exp., 23 (14): 1609-1622 (2011)Implementing mode changes with shared resources in Ada., and . ECRTS, page 86-93. IEEE Computer Society, (1999)Improving the predictability of distributed stream processors., , , and . Future Gener. Comput. Syst., (2015)Integrating optional software components into hard real-time systems., , , , and . Softw. Eng. J., 11 (3): 133-140 (1996)The Notion of Priority in Real-Time Programming Languages., and . Comput. Lang., 15 (3): 153-162 (1990)Evaluating the Expressive Power of the Real-Time Specification for Java., and . Real Time Syst., 24 (3): 319-359 (2003)An efficient and predictable implementation of asynchronous event handling in the RTSJ., and . JTRES, volume 343 of ACM International Conference Proceeding Series, page 48-57. ACM, (2008)Model-based verification of a framework for flexible scheduling in the real-time specification for Java., and . JTRES, page 20-29. ACM, (2006)