Foundations of Dependable Computing

Lieferzeit: Lieferbar innerhalb 14 Tagen

160,49 

Paradigms for Dependable Applications, The Springer International Series in Engineering and Computer Science 284

ISBN: 0792394852
ISBN 13: 9780792394853
Herausgeber: Gary M Koob/Clifford G Lau
Verlag: Springer Verlag GmbH
Umfang: xiv, 214 S.
Erscheinungsdatum: 30.09.1994
Produktform: Gebunden/Hardback
Einband: GEB
Artikelnummer: 1505179 Kategorie:

Beschreibung

InhaltsangabePreface. 1: Protocol-Based Paradigms for Distributed Applications. 1.1. Adaptive System-Level Diagnosis in Real-Time; R.P. Bianchini, Jr., M. Stahl. 1.2. Refinement for Fault-Tolerance: an Aircraft Handoff Protocol; K. Marzullo, F.B. Schneider, J. Dehn. 1.3. Language Support for Fault-Tolerant Parallel and Distributed Programming; R.D. Schlichting, D.E. Bakken, V.T. Thomas. 2: Algorithm-Based Paradigms for Parallel Applications. 2.1. Design and Analysis of Algorithm-Based Fault-Tolerant Multiprocessor Systems; S. Yajnik, N.K. Jha. 2.2. Fault-Tolerance and Efficiency in Massively Parallel Algorithms; P.C. Kanellakis, A.A. Shvartsman. 3: Domain-Specific Paradigms for Real-Time Systems. 3.1. Use of Imprecise Computation to Enhance Dependability of Real-Time Systems; J.W.S. Liu, K-J Lin, R. Bettati, D. Hull, A. Yu. 3.2. Analytic Redundancy for Software Fault-Tolerance in Hard Real-Time Systems; M. Bodson, J.P. Lehoczky, R. Rajkumar, L. Sha, J. Stephan. Index.

Inhaltsverzeichnis

Preface. 1: Protocol-Based Paradigms for Distributed Applications. 1.1. Adaptive System-Level Diagnosis in Real-Time; R.P. Bianchini, Jr., M. Stahl. 1.2. Refinement for Fault-Tolerance: an Aircraft Handoff Protocol; K. Marzullo, F.B. Schneider, J. Dehn. 1.3. Language Support for Fault-Tolerant Parallel and Distributed Programming; R.D. Schlichting, D.E. Bakken, V.T. Thomas. 2: Algorithm-Based Paradigms for Parallel Applications. 2.1. Design and Analysis of Algorithm-Based Fault-Tolerant Multiprocessor Systems; S. Yajnik, N.K. Jha. 2.2. Fault-Tolerance and Efficiency in Massively Parallel Algorithms; P.C. Kanellakis, A.A. Shvartsman. 3: Domain-Specific Paradigms for Real-Time Systems. 3.1. Use of Imprecise Computation to Enhance Dependability of Real-Time Systems; J.W.S. Liu, K-J Lin, R. Bettati, D. Hull, A. Yu. 3.2. Analytic Redundancy for Software Fault-Tolerance in Hard Real-Time Systems; M. Bodson, J.P. Lehoczky, R. Rajkumar, L. Sha, J. Stephan. Index.

Das könnte Ihnen auch gefallen …