Filter

Fault Tolerance

100 books found

A second generation experiment in fault-tolerant software
A second generation experiment in fault-tolerant software

by J. C. Knight

1986 2 ed.
The embedded operating system project
The embedded operating system project

by Roy Harold Campbell

1985 2 ed.
A formally verified algorithm for interactive consistency under a hybrid fault model
A formally verified algorithm for interactive consistency un...

by Patrick Lincoln

1993 1 ed.
Performance analysis of a generalized upset detection procedure
Performance analysis of a generalized upset detection proced...

by Douglas M. Blough

1987 1 ed.
Fault diagnosis based on continuous simulation models
Fault diagnosis based on continuous simulation models

by Stefan Feyock

1988 1 ed.
Reliable communication in the presence of failures
Reliable communication in the presence of failures

by Kenneth P. Birman

1987 1 ed.
Second NASA Formal Workshop 1992
Second NASA Formal Workshop 1992

by NASA Formal Methods Workshop (2nd 1992)

1992 1 ed.
Predicted performance of an integrated modular engine system
Predicted performance of an integrated modular engine system

by Michael P. Binder

1993 1 ed.
Analysis and testing of the SURE program
Analysis and testing of the SURE program

by Kelly J. Dotson

1988 1 ed.
[Quantifying fault recovery in multiprocessor systems]
[Quantifying fault recovery in multiprocessor systems]

by Miroslaw Malek

1990 1 ed.
ASSIST user manual
ASSIST user manual

by Sally C. Johnson

1995 1 ed.
Designing application software in wide area network settings
Designing application software in wide area network settings

by Mesaac Makpangou

1990 1 ed.
Test plans, GCPS task 7, subtask 7.1, IHM development
Test plans, GCPS task 7, subtask 7.1, IHM development

by H. S. Greenberg

1994 1 ed.
Parallel NPARC
Parallel NPARC

by S. E. Townsend

1996 1 ed.
Recycle requirements for NASA's 30cm xenon ion thruster
Recycle requirements for NASA's 30cm xenon ion thruster

by Luis Piñero

1994 1 ed.
Validation environment for AIPS/ALS
Validation environment for AIPS/ALS

by Zary Z. Segall

1990 1 ed.
Recycle requirements for NASA's 30cm xenon ion thruster
Recycle requirements for NASA's 30cm xenon ion thruster

by Luis R. Piñero

1994 1 ed.
"A fuzzy expert system for fault management of water supply recovery in the ALSS project"
"A fuzzy expert system for fault management of water supply ...

by Vapsi J. Tohala

1998 1 ed.
Technical evaluation report on the Guidance and Control Panel 49th Symposium on Fault Tolerant Design Concepts for Highly Integrated Flight Critical Guidance and Control Systems
Technical evaluation report on the Guidance and Control Pane...

by Bernard Chaillot

1990 1 ed.
Exploiting virtual synchrony in distributed systems
Exploiting virtual synchrony in distributed systems

by Kenneth P. Birman

1987 1 ed.