Cover Image

Optimal primary-backup protocols /

Bibliographic Details
Corporate Authors:	Cornell University. Department of Computer Science, United States. National Aeronautics and Space Administration
Other Authors:	Budhiraja, Navin
Format:	Government Document Microform Book
Language:	English
Published:	Ithaca, N.Y. : [Washington, DC] : Dept. of Computer Science, Cornell University ; [National Aeronautics and Space Administration] ; [1992]
Series:	NASA contractor report ; NASA CR-190673.
Subjects:	Distributed artificial intelligence. Fault-tolerant computing. Computer systems design. Distributed processing. Fault tolerance. Protocol (Computers) Reliability. System failures.
Online Access:	https://purl.fdlp.gov/GPO/LPS69362

Similar Items

Modeling techniques for high dependability protocols and architecture /
by: LaValley, Brian, et al.
Published: (2012)

The Fault-Tree Compiler (FTC) : program and mathematics /
by: Butler, Ricky W.
Published: (1989)

Tolerating failures of continuous-valued sensors /
by: Marzullo, Keith
Published: (1990)

Design of the protocol processor for the ROBUS-2 communication system /
by: Torres-Pomales, Wilfredo
Published: (2005)

Development and analysis of the software implemented fault-tolerance (SIFT) computer /
Published: (1984)

The art of fault-tolerant system reliability modeling /
by: Butler, Ricky W.
Published: (1990)

Achieving agreement in three rounds with bounded-Byzantine faults /
by: Malekpour, Mahyar R.
Published: (2015)

Documentation of the current fault detection, isolation, and reconfiguration software of the AIPS fault-tolerant processor /
by: Lanning, David T.
Published: (1987)

Adaptive fault-tolerant routing in hypercube multicomputers /
by: Chen, Ming-Syan, 1959-
Published: (1990)

Abnormal fault-recovery characteristics of the fault-tolerant multiprocessor uncovered using a new fault-injection methodology /
by: Padilla, Peter A.
Published: (1991)

Performance and fault-tolerance of neural networks for optimization /
by: Protzel, Peter W.
Published: (1991)

Evaluation of fault-tolerant parallel-processor architectures over long space missions /
by: Johnson, Sally C.
Published: (1989)

Distributed system design checklist /
by: Hall, Brendan, et al.
Published: (2014)

A note about HARP's state trimming method /
by: Butler, Ricky W., et al.
Published: (1998)

An Experimental evaluation of software redundancy as a strategy for improving reliability /
Published: (1990)

Synthetic bounds for semi-Markov reliability models /
by: White, Allan L.
Published: (1985)

Fault injection and monitoring capability for a fault-tolerant distributed computation system /
by: Torres-Pomales, Wilfredo
Published: (2010)

DEPEND : a design environment for prediction and evaluation of system dependability /
by: Goswami, Kumar K.
Published: (1990)

Error propagation analysis in the SAE Architecture Analysis and Design Language (AADL) and the EDICT tool framework /
by: LaValley, Brian W.
Published: (2011)

Heavy Lift Vehicle (HLV) avionics flight computing architecture study /
Published: (2011)

A preliminary design for flight testing the FINDS algorithm /
by: Caglayan, A. K.
Published: (1986)

Fault-tolerant software for the FTMP /
by: Hecht, Herbert, et al.
Published: (1984)

Probabilistic analysis of distributed fault-tolerant systems /
by: Dutertre, Bruno
Published: (2011)

Software-implemented fault insertion : an FTMP example /
by: Czeck, Edward W., et al.
Published: (1987)

Advanced information processing system : Input/output system services /
by: Masotto, Thomas K.
Published: (1989)

Advanced information processing system : Input/output system services /
by: Masotto, Thomas K.
Published: (1989)

FINDS : a fault inferring nonlinear detection system--programmer's manual /
by: Lancraft, Roy
Published: (1985)

Reliable and efficient parallel processing algorithms and architectures for modern signal processing /
by: Liu, KuoJuey Ray
Published: (1990)

Fault-free validation of a fault-tolerant multiprocessor : baseline experiments and workload implementation /
by: Feather, Frank
Published: (1986)

A methodology for evaluating artifacts produced by a formal verification process /
by: Siminiceanu, Radu I.
Published: (2011)

Model-driven test generation of distributed systems /
by: Easwaran, Arvind, et al.
Published: (2012)

Analysis and design of algorithm-based fault-tolerant systems /
by: Sukumāran Nāyar, Vi. Es
Published: (1990)

Power subsystem automation study /
by: Imamura, M. S., et al.
Published: (1983)

A fault injection experiment using the airlab diagnostic emulation facility /
by: Baker, Robert, et al.
Published: (1988)

System architectural considerations on reliable guidance, navigation, and control (GN&C) for Constellation Program (CxP) spacecraft /
by: Dennehy, Cornelius J.
Published: (2010)

Copilot : monitoring embedded systems /
by: Pike, Lee
Published: (2012)

Active vibration reduction of the Advanced Stirling Convertor /
by: Wilson, Scott D. (Scott Dean), et al.
Published: (2016)

Sparse disributed memory /
by: Denning, Peter J., 1942-
Published: (1989)

Robot position sensor fault tolerance /
by: Aldridge, Hal A.
Published: (1997)

Investigating actuation force fight with asynchronous and synchronous redundancy management techniques /
by: Hall, Brendan
Published: (2013)