Semantics-based compiler transformations for enhanced schedulability
- 30 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 232-242
- https://doi.org/10.1109/real.1993.393495
Abstract
No abstract availableThis publication has 18 references indexed in Scilit:
- The rate monotonic scheduling algorithm: exact characterization and average case behaviorPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Safe optimization for hard real-time programmingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Pipelined processors and worst case execution timesReal-Time Systems, 1993
- Applying compiler techniques to scheduling in real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1990
- The program dependence graph and its use in optimizationACM Transactions on Programming Languages and Systems, 1987
- Safety analysis of timing properties in real-time systemsIEEE Transactions on Software Engineering, 1986
- Real-Time Euclid: A language for reliable real-time systemsIEEE Transactions on Software Engineering, 1986
- Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating ThemIEEE Transactions on Software Engineering, 1985
- The program dependence graph in a software development environmentPublished by Association for Computing Machinery (ACM) ,1984
- Scheduling Algorithms for Multiprogramming in a Hard-Real-Time EnvironmentJournal of the ACM, 1973