![]() | Up a level |
(2017) TimerShield: Protecting High-Priority Tasks from Low-Priority Timer Interference.
(2017) Supporting low-latency, low-criticality tasks in a certified mixed-criticality OS.
(2014) Fast on Average, Predictable in the Worst Case: Exploring Real-Time Futexes in LITMUSRT.
(2014) Scaling global scheduling with message passing.