Limit search to available items
Book Cover
Book

Title Foundations of dependable computing : paradigms for dependable applications / edited by Gary M. Koob, Clifford G. Lau
Published Boston : Kluwer Academic, [1994]
©1994

Copies

Location Call no. Vol. Availability
 W'PONDS  005.1 Koo/Fod  AVAILABLE
Description xii, 214 pages : illustrations ; 25 cm
Series Kluwer international series in engineering and computer science ; SECS 284
Kluwer international series in engineering and computer science ; SECS 284
Contents 1. Protocol-Based Paradigms for Distributed Applications. 1.1. Adaptive System-Level Diagnosis in Real-Time / R. P. Bianchini, Jr. and M. Stahl. 1.2. Refinement for Fault-Tolerance: An Aircraft Handoff Protocol / K. Marzullo, F. B. Schneider and J. Dehn. 1.3. Language Support for Fault-Tolerant Parallel and Distributed Programming / R. D. Schlichting, D. E. Bakken and V. T. Thomas -- 2. Algorithm-Based Paradigms for Parallel Applications. 2.1. Design and Analysis of Algorithm-Based Fault-Tolerant Multiprocessor Systems / S. Yajnik and N. K. Jha. 2.2. Fault-Tolerance and Efficiency in Massively Parallel Algorithms / P. C. Kanellakis and 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 and A. Yu
3.2. Analytic Redundancy for Software Fault-Tolerance in Hard Real-Time Systems / M. Bodson, J. P. Lehoczky, R. Rajkumar, L. Sha and J. Stephan
Bibliography Includes bibliographical references and index
Subject Electronic digital computers -- Reliability.
Fault-tolerant computing.
Real-time data processing.
Author Koob, Gary M., 1958-
Lau, Clifford.
LC no. 94030120
ISBN 0792394852 (acid-free paper)