Pre-scheduling for synchronization in hard real-time systems

This publication has 8 references indexed in Scilit:

• Predictable synchronization mechanisms for multiprocessor real-time systems
  Real-Time Systems, 1990
• Scheduling processes with release times, deadlines, precedence and exclusion relations
  IEEE Transactions on Software Engineering, 1990
• Priority inheritance protocols: an approach to real-time synchronization
  IEEE Transactions on Computers, 1990
• Synchronization in Hard Real-Time Systems
  Published by Springer Nature ,1990
• Language support for the Maruti real-time system
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• The MARUTI hard real-time operating system
  ACM SIGOPS Operating Systems Review, 1989
• On synchronization in hard-real-time systems
  Communications of the ACM, 1988
• Concepts and Notations for Concurrent Programming
  ACM Computing Surveys, 1983