✦ LIBER ✦

Scheduling analysis based on model checking for multiprocessor real-time systems

✍ Scribed by Karamti, Walid; Mahfoudhi, Adel

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Utilization Bounds for EDF Scheduling on

✍ J. M. López; J. L. Díaz; D. F. García 📂 Article 📅 2004 🏛 Springer US 🌐 English ⚖ 361 KB

An efficient real-time fault-tolerant sc

✍ Fumin Yang; Wei Luo; Liping Pang 📂 Article 📅 2007 🏛 Wuhan University 🌐 English ⚖ 363 KB

Task scheduling algorithms for multiproc

✍ Munenori Kai; Hironori Kasahara; Seinosuke Narita; Hitoshi Ukaji 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 736 KB

A survey of hard real-time scheduling fo

✍ Davis, Robert I.; Burns, Alan 📂 Article 📅 2011 🏛 Association for Computing Machinery 🌐 English ⚖ 401 KB

State-based scheduling analysis for dist

✍ Gezgin, Tayfun; Stierand, Ingo; Henkler, Stefan; Rettberg, Achim 📂 Article 📅 2013 🏛 Springer US 🌐 English ⚖ 726 KB

An optimal boundary fair scheduling algo

✍ Dakai Zhu; Xuan Qi; Daniel Mossé; Rami Melhem 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 658 KB