Up a level |
(2016) PROSA: A Case for Readable Mechanized Schedulability Analysis.
(2015) Multiprocessor real-time scheduling with arbitrary processor affinities: from practice to theory.
(2014) Linux's Processor Affinity API, Refined: Shifting Real-Time Tasks Towards Higher Schedulability.
(2014) Scaling global scheduling with message passing.
(2013) Schedulability Analysis of the Linux Push and Pull Scheduler with Arbitrary Processor Affinities.