✦ LIBER ✦

A formally based hard real-time kernel

✍ Scribed by Steven Bradley; William Henderson; David Kendall; Adrian Robson

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A model for a hard real time system exec

✍ V Gafni 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 725 KB

A single server queue in a hard-real-tim

✍ Francois Baccelli; Kishor S Trivedi 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 336 KB

Artificial intelligence in hard real-tim

✍ L Motus 📂 Article 📅 1991 🏛 Elsevier Science ⚖ 455 KB

On the development of a distributed oper

✍ P Garetti; P Laface; S Rivoira 📂 Article 📅 1981 🏛 Elsevier Science ⚖ 733 KB

A schedulability algorithm for data flow

✍ R Davoli; L.A Giachini 📂 Article 📅 1994 🏛 Elsevier Science ⚖ 488 KB

A neural network based real-time gaze tr

✍ Nischal M. Piratla; Anura P. Jayasumana 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 448 KB