Sciweavers

LCTRTS
1995
Springer
14 years 3 months ago
Scheduling of Hard Aperiodic Tasks in Hybrid Static/Dynamic Priority Systems
In this paper, we present a preemptive joint scheduling of hard deadline periodic and hard deadline aperiodic tasks on a uniprocessor real-time system. The scheduling has extended...
Jongwon Lee, Sungyoung Lee, Hyungill Kim
LCTRTS
1995
Springer
14 years 3 months ago
Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems
Sérgio Vale Aguiar Campos, Edmund M. Clarke...