Responsive Computing (eBook, PDF)

A Special Issue of REAL-TIME SYSTEMS The International Journal of Time-Critical Computing Systems Vol. 7, No.3 (1994)
Redaktion: Malek, Miroslaw

• Format: PDF

Produktbeschreibung

Responsive Computing brings together in one place important contributions and state-of-the-art research results in this rapidly advancing area. Responsive Computing serves as an excellent reference, providing insight into some of the most important issues in the field.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer US
• Seitenzahl: 103
• Erscheinungstermin: 6. Dezember 2012
• Englisch
• ISBN-13: 9781461527862
• Artikelnr.: 44180256

Inhaltsangabe

Guest Editor Introduction.- Scheduling Algorithms for Fault-Tolerance in Hard-Real-Time Systems.- Runtime Monitoring of Timing Constraints in Distributed Real-Time Systems.- Automated Verification of Responsive Protocols Modeled by Extended Finite State Machines.- Compositional Reasoning about Responsive Systems with Limited Resources.- Concise Paper Enhancing Fault-Tolerance in Rate-Monotonic Scheduling.