Login / Signup

A Formally Verified Application-Level Framework for Real-Time Scheduling on POSIX Real-Time Operating Systems.

Peng LiBinoy RavindranSyed SuhaibShahrooz Feizabadi
Published in: IEEE Trans. Software Eng. (2004)
Keyphrases
  • operating system
  • application level
  • real time
  • computer systems
  • quality of service
  • multi threaded
  • databases
  • multi agent
  • distributed systems
  • virtual machine
  • overlay network
  • bottle neck
  • low cost
  • windows xp