FTMP : a protocol for operating system fault tolerance in a fully distributed, loosely coupled environment /

Fault-tolerant agreement in synchronous message-passing systems /
by: Raynal, M. (Michel)
Published: (2010)

Fault-tolerant agreement in synchronous message-passing systems /
by: Raynal, M. (Michel)
Published: (2010)

Fault-tolerant distributed computing /
Published: (1990)

Fault-tolerant parallel and distributed systems /
Published: (1998)

Fault-tolerant distributed construction of a spanning tree and leader election in asynchronous general networks /
by: Deshmukh, Padmanabh Yeshvant, 1968-
Published: (1993)

Fault-Tolerant Parallel and Distributed Systems /
by: Avresky, Dimiter R.
Published: (1998)

Election in complete asynchronous networks with intermittent link failures /
by: Lokre, Jahnavi V., 1967-
Published: (1991)

Digest of papers : the 1992 IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems, July 6-7, 1992, Amherst, Massachusetts /
Published: (1992)

Degradable agreement with hybrid faults : an algorithm and reliability-safety analysis /
by: Vaidya, Nitin H. (Nitin Hemant), 1965-
Published: (1993)

Checkpointing and rollback-recovery in distributed systems /
by: Park, Taesoon, 1969-
Published: (1989)

A protocol for consistent checkpointing recovery in time-stamp based distributed database systems /
by: Swarnam, Prabaharan Ilanji
Published: (1992)

Distributed algorithms and protocols /
by: Raynal, M. (Michel)
Published: (1988)

Fault-tolerant parallel computation /
by: Kanellakis, P. C. (Paris C.), 1953-
Published: (1997)

Optimal primary-backup protocols /
Published: (1992)

Distributed computing network reliability /
by: Rai, Suresh
Published: (1990)

Protocol : how control exists after decentralization /
by: Galloway, Alexander R., 1974-
Published: (2004)

Protocol : how control exists after decentralization /
by: Galloway, Alexander R., 1974-
Published: (2004)

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

On a hierarchical approach to the verification and validation of communication protocols /
by: Menta, Gitasri
Published: (1992)

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

Hardware and software fault tolerance in parallel computing systems /
Published: (1992)

A generic fault-tolerant architecture for real-time dependable systems /
Published: (2001)

Formal techniques in real-time and fault-tolerant systems /
Published: (1993)

Fault tolerant hardware/software architecture for flight critical function.
Published: (1985)

Fault-tolerant real-time systems : the problem of replica determinism /
by: Poledna, Stefan, 1963-
Published: (1996)

Responsive computer systems /
Published: (1993)

Formal description techniques and protocol specification, testing and verification : FORTE X/PSTV XVII '97 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 Nov. 1997, Osaka, Japan /
Published: (1997)

Implementation of load sharing in TCP/IP distributed systems by election technique /
by: Muppidi, Sridhar Reddy, 1969-
Published: (1991)

Formal methods for protocol engineering and distributed systems : FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing, and Verification (PSTV XIX) : October 5-8, 1999, Beijing, China /
Published: (1999)

A fault-tolerant implementation protocol for replicated database systems on bus local area networks /
by: Kim, Junguk L.
Published: (1991)

Performance and fault modeling with VHDL /
Published: (1991)

Special edition using SOAP /
by: Mueller, John, 1958-
Published: (2002)

Special edition using SOAP /
by: Mueller, John, 1958-
Published: (2002)

Information dispersal and parallel computation /
by: Lyuu, Yuh-Dauh
Published: (1992)

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

Foundations of dependable computing : paradigms for dependable applications /
Published: (1994)