✦ LIBER ✦

Compositional real-time scheduling framework for periodic reward-based task model

✍ Scribed by Tchamgoue, Guy Martin; Kim, Kyong Hoon; Jun, Yong-Kee; Lee, Wan Yeon

Book ID: 123575917
Publisher: Elsevier Science
Year: 2013
Tongue: English
Weight: 850 KB
Volume: 86
Category: Article
ISSN: 0164-1212
DOI: 10.1016/j.jss.2013.02.052

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Optimal reward-based scheduling for peri

Optimal reward-based scheduling for periodic real-time tasks

✍ Aydin, H.; Melhem, R.; Mosse, D.; Mejia-Alvarez, P. 📂 Article 📅 2001 🏛 IEEE 🌐 English ⚖ 505 KB

A new algorithm for scheduling periodic,

A new algorithm for scheduling periodic, real-time tasks

✍ Joseph Y. -T. Leung 📂 Article 📅 1989 🏛 Springer 🌐 English ⚖ 670 KB

Periodic real-time scheduling: from dead

Periodic real-time scheduling: from deadline-based model to latency-based model

✍ Liliana Cucu; Nicolas Pernet; Yves Sorel 📂 Article 📅 2007 🏛 Springer US 🌐 English ⚖ 396 KB

Errata: A New Algorithm for Scheduling P

Errata: A New Algorithm for Scheduling Periodic, Real-Time Tasks

✍ B. Kalyanasundaram, K. R. Pruhs and E. Torng 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 30 KB

Minimal schedulability interval for real

Minimal schedulability interval for real-time systems of periodic tasks with offsets

✍ Annie Choquet-Geniet; Emmanuel Grolleau 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 286 KB

We consider real-time systems in highly safety context where tasks have to meet strict deadlines. Tasks are periodic, may have o sets, share critical resources and be precedence constrained. O -line scheduling should be of great help for such systems, but methods proposed in the literature cannot de

Scheduling analysis based on model check

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

✍ Karamti, Walid; Mahfoudhi, Adel 📂 Article 📅 2014 🏛 Springer US 🌐 English ⚖ 749 KB