Research Catalog

Title

Foundations of dependable computing : paradigms for dependable applications / edited by Gary M. Koob, Clifford G. Lau.

Publication

Boston : Kluwer Academic, [1994], ©1994.

Items in the Library & Off-site

Holdings

Details

Additional Authors

• Koob, Gary M., 1958-
• Lau, Clifford.

Description

xii, 214 pages : illustrations; 25 cm.

Series Statement

The Kluwer international series in engineering and computer science ; SECS 284

Uniform Title

Kluwer international series in engineering and computer science ; SECS 284.

Subject

• Electronic digital computers > Reliability
• Real-time data processing
• Fault-tolerant computing

Bibliography (note)

• Includes bibliographical references and index.

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.

ISBN

0792394852 (acid-free paper)

LCCN

94030120

OCLC

ocm30815282

Owning Institutions

Columbia University Libraries