What's 'real' about real-time systems?
- 6 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- A compositional proof theory for real-time distributed message passingPublished by Springer Nature ,1987
- Countable nondeterminism and random assignmentJournal of the ACM, 1986
- Evaluation of a flexible task scheduling algorithm for distributed hard real-time systemsIEEE Transactions on Computers, 1985
- Segmentation and the Design of Multiprogrammed Computer SystemsJournal of the ACM, 1965