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

Vatche Ishakian, Azer Bestavros, Assaf J. Kfoury

Browse the full RTCSA paper archive.