Compiling real-time programs into schedulable code

This publication has 12 references indexed in Scilit:

• Building flexible real-time systems using the Flex language
  Computer, 1991
• Object-oriented real-time language design: constructs for timing constraints
  Published by Association for Computing Machinery (ACM) ,1990
• Language support for the Maruti real-time system
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• Experiments with a program timing tool based on source-level timing schema
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• Reasoning about time in higher-level language software
  IEEE Transactions on Software Engineering, 1989
• A global resource-constrained parallelization technique
  Published by Association for Computing Machinery (ACM) ,1989
• A development environment for horizontal microcode
  IEEE Transactions on Software Engineering, 1988
• Code motion of control structures in high-level languages
  Published by Association for Computing Machinery (ACM) ,1986
• Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them
  IEEE Transactions on Software Engineering, 1985
• Trace Scheduling: A Technique for Global Microcode Compaction
  IEEE Transactions on Computers, 1981