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 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.
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.
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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309
