✦ LIBER ✦

Transparent Synchronization Protocols for Compositional Real-Time Systems

✍ Scribed by van den Heuvel, M.M.H.P.; Bril, R.J.; Lukkien, J.J.

Book ID: 119817533
Publisher: Institute of Electrical and Electronics Engineers
Year: 2012
Tongue: English
Weight: 556 KB
Volume: 8
Category: Article
ISSN: 1551-3203
DOI: 10.1109/tii.2011.2172448

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On priority-based synchronization protoc

On priority-based synchronization protocols for distributed real-time database systems

✍ Sang H Son 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 759 KB

Exploring the design space of multiproce

Exploring the design space of multiprocessor synchronization protocols for real-time systems

✍ Carminati, Andreu; de Oliveira, Rômulo Silva; Friedrich, Luís Fernando 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 777 KB

A real-time configurable synchronization

A real-time configurable synchronization protocol for

✍ Ya-Shu Chen; Li-Pin Chang 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 665 KB

Automated compositional proofs for real-

Automated compositional proofs for real-time systems

✍ Carlo A. Furia; Matteo Rossi; Dino Mandrioli; Angelo Morzenti 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 842 KB

Predictable synchronization mechanisms f

Predictable synchronization mechanisms for multiprocessor real-time systems

✍ Lory D. Molesky; Chia Shen; Goran Zlokapa 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 1003 KB

Predictability is of paramount concern for hard real-time systems. In one approach to predictability, every aspect of a real-time system and every primitive provided by the underlying operating system must be bounded and predictable in order to achieve overall predictability. In this paper, we descr

Synchronized UTC for distributed real-ti

Synchronized UTC for distributed real-time systems

✍ U Schmid 📂 Article 📅 1994 🏛 Elsevier Science ⚖ 947 KB