Partial-Order Reduction for Schedule-Abstraction-based Response-Time Analyses of Non-Preemptive Tasks.

Sayra Ranjha, Geoffrey Nelissen, Mitra Nasri

Browse the full RTAS paper archive.