Responsive Computing, Softcover reprint of the original 1st ed. 1994 A Special Issue of REAL-TIME SYSTEMS The International Journal of Time-Critical Computing Systems Vol. 7, No.3 (1994)
Langue : Anglais
Coordonnateur : Malek Miroslaw
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.
Responsive Computing serves as an excellent reference, providing insight into some of the most important issues in the field.
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.
Date de parution : 05-2013
Ouvrage de 103 p.
15.5x23.5 cm
Mots-clés :
Area; Excel; Finite; algorithms; computing system; constraint; field; monitor; monitoring; real-time; real-time system; scheduling; verification
© 2024 LAVOISIER S.A.S.