FLEX: towards flexible real-time programs

Publisher Website

6 January 2003

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/iccl.1988.13074

Abstract

No abstract available

Keywords

This publication has 9 references indexed in Scilit:

Constraint hierarchies
Published by Association for Computing Machinery (ACM) ,1987
Instruction Level Timing Mechanisms for Accurate Real-Time Task Scheduling
IEEE Transactions on Computers, 1987
Clock Synchronization in Distributed Real-Time Systems
IEEE Transactions on Computers, 1987
Real-Time Euclid: A language for reliable real-time systems
IEEE Transactions on Software Engineering, 1986
Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them
IEEE Transactions on Software Engineering, 1985
Modula and a Question of Time
IEEE Transactions on Software Engineering, 1980
Real-time
Communications of the ACM, 1980
A Compendium of Continuous Lattices
Published by Springer Nature ,1980
Data Types as Lattices
SIAM Journal on Computing, 1976