Books on the topic 'Fault-tolerant computing. electronic data processing'

Knight, J. C. Software fault tolerance using data diversity: An annual progress report, April 1, 1990 - March 31, 1991. Charlottesville, Va: Dept. of Computer Sciencew [sic], School of Engineering and Applied Science, University of Virginia, 1991.

Shin, Kang G. Modeling and measurement of fault-tolerant multiprocessors. [Washington, D.C.?]: National Aeronautics and Space Administration, Scientific and Technical Information Branch, 1985.

Jalote, P. Fault tolerance in distributed systems. Englewood Cliffs, N.J: PTR Prentice Hall, 1994.

1955-, Shvartsman Alex Allister, ed. Fault-tolerant parallel computation. Boston: Kluwer Academic, 1997.

IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems (1992 Amherst, Mass.). Fault-tolerant parallel and distributed systems: Digest of papers July 6-7, 1992 Amherst, Massachsetts. Los Alamitos, Calif: IEEE Computer Society Press, 1992.

G, Khoroshevskiĭ V., ed. Samodiagnostika modulʹnykh vychislitelʹnykh sistem. Novosibirsk: VO "Nauka", 1993.

IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems (1992 Amherst, Mass.). Dige st of papers: The 1992 IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems, July 6-7, 1992, Amherst, Massachusetts. Los Alamitos, Calif: IEEE Computer Society Press, 1992.

Wright, Hawkes Lois, ed. Microprocessor-based parallel architecture: For reliable digital signal processing systems. Boca Raton, Fla: CRC Press, 1992.

Hülsemann, Jürgen. Funktioneller Test der Auflösung von Zugriffskonflikten in Mehrrechnersystemen. Berlin: Springer, 1988.

Symposium on Reliable Distributed Systems (16th 1997 Durham, N.C.). Proceedings, the Sixteenth Symposium on Reliable Distributed Systems, Regal University Hotel, Durham, North Carolina, October 22-24, 1997; sponsors, IEEE Computer Society Technical Committees on Distributed Processing, Fault -Tolerant Computing, and Operating Systems in collaboration with Center for Advanced Computing and Communications. Los Alamitos, Calif: IEEE Computer Society, 1997.

Charron-Bost, Bernadette, Fernando Pedone, and André Schiper. Replication: Theory and practice. Berlin: Springer-Verlag, 2010.

Kanellakis, Paris Christos. Fault-Tolerant Parallel Computation. Boston, MA: Springer US, 1997.

Roberts, John W. On the measurement of fault-tolerant parallel processors. Gaithersburg, MD: U.S. Dept. of Commerce, National Bureau of Standards, 1987.

Roberts, John W. On the measurement of fault-tolerant parallel processors. Gaithersburg, MD: U.S. Dept. of Commerce, National Bureau of Standards, 1987.

Poledna, Stefan. Fault-tolerant real-time systems: The problem of replica determinism. Boston: Kluwer Academic Publishers, 1996.

International, Conference on Dependable Systems and Networks (2001 Göteborg Sweden). Proceedings. Los Alamitos, Calif: IEEE Computer Society, 2001.

Poledna, Stefan. Fault-tolerant Real-time Systems: The Problem of Replica Determinism {Kluwer International Series in Engineering and Computer Science ; Real-time Systems SECS 345}. Dordrecht: Springer, 1995.

Stoll, Jürgen. Fehlertoleranz in verteilten Realzeitsystemen: Anwendungsorientierte Techniken. Berlin: Springer-Verlag, 1990.

Jalote, P. Atomic actions in concurrent systems. Urbana, Ill: Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1985.

Werner, Damm, and Olderog E. -R, eds. Formal techniques in real-time and fault-tolerant systems: 7th International Symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002 : proceedings. Berlin: Springer, 2002.

P, Ravn Anders, and Rischel Hans, eds. Formal techniques in real-time and fault-tolerant systems: 5th international symposium, FTRTFT '98, Lyngby, Denmark, September 14-18, 1998 : proceedings. Berlin: Springer, 1998.

M, Joseph, ed. Formal techniques in real-time and fault-tolerant systems: 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000. Berlin: Springer, 2000.

Mäncher, Hubert. Fehlertolerante dezentrale Prozessautomatisierung. Berlin: Springer, 1987.

IEEE Computer Society. Fault-Tolerant Computing Technical Committee., IFIP Working Group 10.4 on Dependable Computing and Fault Tolerance., IBM Research, Laboratoire d'automatique et d'analyse des systèmes du C.N.R.S. (France), and Siemens Corporate Technology, eds. Digest of papers: Twenty-eighth Annual International Symposium on Fault-Tolerant Computing, June 23-25, 1998, Munich, Germany. Los Alamitos, Calif: IEEE Computer Society Press, 1998.

Indian Institute of Management, Ahmedabad., ed. Solving medium to large sized euclidean generalized minimum spanning tree problems. Ahmedabad: Indian Institute of Management, 2003.

Information dispersal and parallel computation. Cambridge: Cambridge University Press, 1992.

NASA Formal Methods Workshop (5th 2000 Williamsburg, Va.). Lfm2000: Fifth NASA Langley Formal Methods Workshop : proceedings of a workshop sponsored by the National Aeronautics and Space Administration and held at the Radisson Fort Magruder Hotel & Conference Center, Williamsburg Virginia, June 13-15, 2000. [Hampton, Va: National Aeronautics and Space Administration, Langley Research Center], 2000.

Saglietti, F. Software-Diversität für Steuerungen mit Sicherheitsverantwortung. Dortmund: Bundesanstalt für Arbeitsschutz, 1992.

NASA Formal Methods Workshop (4th 1997 Hampton, Va.). Fourth NASA Langley Formal Methods Workshop. [Hampton, Va: National Aeronautics and Space Administration, Langley Research Center], 1997.

J, Quirk W., and International Federation of Automatic Control., eds. Safety of Computer Control Systems 1986 (SAFECOMP' 86): Trends in safe real time computer systems : proceedings of the fifth IFAC workshop, Sarlat, France, 14-17 October 1986. Oxford: Published for the International Federation of Automatic Control by Pergamon, 1986.

Troubitsyna, Elena A. Software Engineering for Resilient Systems: Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings. Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011.

Simons, Barbara, and Alfred Spector. Fault-Tolerant Distributed Computing. Springer, 2014.

1941-, Simons B., and Spector Alfred Z, eds. Fault-tolerant distributed computing. New York: Springer-Verlag, 1990.

), Spector Alfred (Ed, ed. Fault-tolerant Distributed Computing. Springer-Verlag, 1990.

Fault-tolerant parallel and distributed systems. Boston, Mass: Kluwer Academic, 1997.

R, Avresky Dimitri, and Kaeli David R, eds. Fault-tolerant parallel and distributed systems. Boston, Mass: Kluwer Academic, 1998.

(Editor), Dimiter R. Avresky, and David R. Kaeli (Editor), eds. Fault-Tolerant Parallel and Distributed Systems. Springer, 1998.

K, Pradhan Dhiraj, Avresky D. R. 1944-, and IEEE Computer Society, eds. Fault-tolerant parallel and distributed systems. Los Alamitos, Calif: IEEE Computer Society Press, 1995.

Raynal, Michel. Fault-Tolerant Message-Passing Distributed Systems: An Algorithmic Approach. Springer, 2018.

Raynal, Michel. Fault-Tolerant Message-Passing Distributed Systems: An Algorithmic Approach. Springer, 2018.

H, Woodbury Michael, Lee Yann-Hang, United States. National Aeronautics and Space Administration. Scientific and Technical Information Branch, University of Michigan, and Langley Research Center, eds. Modeling and measurement of fault-tolerant multiprocessors. [Washington, D.C.?]: National Aeronautics and Space Administration, Scientific and Technical Information Branch, 1985.

Modeling and measurement of fault-tolerant multiprocessors. [Washington, D.C.?]: National Aeronautics and Space Administration, Scientific and Technical Information Branch, 1985.

1947-, Anderson T., ed. Resilient computing systems. London: Collins, 1985.

T, Anderson, ed. Resilient computing systems. London: Collins, 1985.

D, Powell, ed. Delta-4, a generic architecture for dependable distributed computing. Berlin: Springer-Verlag, 1991.

Koob, Gary M., and Clifford G. Lau. Foundations of Dependable Computing: System Implementation. Springer, 2013.

Koob, Gary M. Foundations of Dependable Computing: Paradigms For Dependable Applications. Springer, 2013.

1936-, Randell Brian, ed. Predictably dependable computing systems. Berlin: Springer, 1995.

B, Randell, and ESPRIT, eds. Predictably dependable computing systems. Berlin: Springer, 1995.

1958-, Koob Gary M., and Lau Clifford, eds. Foundations of dependable computing: Paradigms for dependable applications. Boston: Kluwer Academic, 1994.