Responsive Computing

A Special Issue of REAL-TIME SYSTEMS The International Journal of Time-Critical Computing Systems Vol. 7, No.3 (1994)
<em>Nachdrucked from REAL-TIME SYSTEMS, 7:3</em> 1994
ISBN: 978-0-7923-9511-9
Verlag: Springer

Buch, Englisch, 103 Seiten, Format (B × H): 160 mm x 241 mm, Gewicht: 342 g

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.

Zielgruppe

Research

Autoren/Hrsg.

Malek, Miroslaw

Fachgebiete

• Mathematik | Informatik EDV | Informatik Daten / Datenbanken
• Mathematik | Informatik EDV | Informatik Technische Informatik Systemverwaltung & Management
• Mathematik | Informatik EDV | Informatik EDV & Informatik Allgemein

Inhaltsverzeichnis

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.