Exact Schedulability Analysis for Limited-Preemptive Parallel Applications Using Timed Automata in UPPAAL.

Jonas Hansen, Srinidhi Srinivasan, Geoffrey Nelissen, Kim G. Larsen

Browse the full DATE paper archive.