Responsive Computing: A Special Issue of Real-Time Systems the International Journal of Time-Critical Computing Systems Vol. 7, No.3 (1994)

ISBN-13: 9781461362043 / Angielski / Miękka / 2013 / 103 str.

Miroslaw Malek

Opis

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.

Spis treści

Introduction: M. Malek. Scheduling Algorithms for Fault-Tolerance in Hard-Real-Time Systems; A.A. Bertossi, L.V. Mancini. Runtime Monitoring of Timing Constraints in Distributed Real-Time Systems; F. Jahanian, R. Rajkumar, S.C.V. Raju. Automated Verification of Responsive Protocols Modeled by Extended Finite State Machines; Y. Kakuda, T. Kikuno, K. Kawashima. Compositional Reasoning about Responsive Systems with Limited Resources; H. Schepers. Enhancing Fault-Tolerance in Rate-Monotonic Scheduling; Yingfeng Oh, Sang H. Son.