Responsive Computing: A Special Issue of REAL-TIME SYSTEMS The International Journal of Time-Critical Computing Systems Vol. 7, No.3 (1994) - Rilegato

 
9780792395119: Responsive Computing: A Special Issue of REAL-TIME SYSTEMS The International Journal of Time-Critical Computing Systems Vol. 7, No.3 (1994)

Sinossi

This text brings together important contributions and state-of-the-art research results in rapidly advancing area of responsive computing. It should serve as a useful reference, providing insight into some of the most important issues in the field.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

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.

Product Description

Book by None

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9781461527879: Responsive Computing: A Special Issue of REAL-TIME SYSTEMS The International Journal of Time-Critical Computing Systems Vol. 7, No.3 (1994)

Edizione in evidenza

ISBN 10:  1461527872 ISBN 13:  9781461527879
Casa editrice: Springer, 2011
Brossura