Login / Signup

A Type-Theoretic Framework for Efficient and Safe Colocation of Periodic Real-Time Systems.

Vatche IshakianAzer BestavrosAssaf J. Kfoury
Published in: RTCSA (2010)
Keyphrases
  • real time systems
  • theoretic framework
  • information theoretic
  • real time
  • timing constraints
  • cooperative
  • dynamic programming
  • distributed systems
  • mission critical
  • high level
  • multiscale
  • embedded real time systems