A formulation for dynamical decision-mak
📂
Article
📅
1993
🏛
Elsevier Science
🌐
English
⚖ 229 KB
This paper develops a stat.echasts-based. specification for real-time job-s~edul~, g sy .s~ns, am .a .~... pares it to the modal primitive recumve arithmeuc of Yodaiken anu Ramamritham. 042 Enabling Efficient Schedulability Analysis throngh Progrm Transformations and Restricted Resource Contention\*