Description
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)
Coordinator: Malek Miroslaw
Language: EnglishKeywords
Area; Excel; Finite; algorithms; computing system; constraint; field; monitor; monitoring; real-time; real-time system; scheduling; verification
Publication date: 05-2013
103 p. · 15.5x23.5 cm · Paperback
103 p. · 15.5x23.5 cm · Paperback
Description
/li>Contents
/li>
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.
© 2024 LAVOISIER S.A.S.