Research Catalog

  • Post-digital electronics / F.R. Pettit.

    • Text
    • Chichester [West Sussex] : E. Horwood ; New York : Halsted Press, 1982.
    • 1982
    • 1 Item
    FormatCall NumberItem Location
    Book/text JSD 82-310Offsite
  • Fault tolerant and fault testable hardware design / Parag K. Lala.

    • Text
    • Englewood Cliffs, NJ : Prentice-Hall International, 1985.
    • 1985
    • 1 Item
    FormatCall NumberItem Location
    Book/text JSE 86-2258Offsite
  • Reliable computer systems : collected papers of the Newcastle Reliability Project / edited by S.K. Shrivastava.

    • Text
    • Berlin ; New York : Springer-Verlag, c1985.
    • 1985
    • 1 Item
    FormatCall NumberItem Location
    Book/text JSE 86-1836Offsite
  • Fehlermaskierung durch verteilte Systeme / Klaus Echtle.

    • Text
    • Berlin ; New York : Springer-Verlag, c1986.
    • 1986
    • 1 Item
    FormatCall NumberItem Location
    Book/text JSE 87-2073Offsite
  • Fault-tolerant computing : theory and techniques / Dhiraj K. Pradhan, editor.

    • Text
    • Englewood Cliffs, N.J. : Prentice-Hall, c1986-
    • 1986-present
    • 2 Items
    FormatCall NumberItem Location
    Book/text JSK 87-161Offsite
    FormatCall NumberItem Location
    Book/text JSK 87-161Offsite
  • Fault tolerance through reconfiguration of VLSI and WSI arrays / R. Negrini, M.G. Sami, R. Stefanelli.

    • Text
    • Cambridge, Mass. : MIT Press, c1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Book/text JSE 89-894Offsite
  • Konzepte der firmwareunterstützten Rekonfiguration von Digitalrechnern zur Korrektur permanenter Komponentenfehler / Karl-Erwin Grosspietsch.

    • Text
    • München : R. Oldenbourg, 1980.
    • 1980
    • 1 Item
    FormatCall NumberItem Location
    Book/text JSE 81-191Offsite
  • Checking experiments in sequential machines / Asok Bhattacharyya.

    • Text
    • New York : Wiley, 1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Book/text JSE 91-776Offsite
  • Fault tolerance : principles and practice / P.A. Lee, T. Anderson.

    • Text
    • Wien ; New York : Springer-Verlag, c1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Book/text JSE 91-2479Offsite
  • Assessing fault model and test quality / by Kenneth M. Butler and M. Ray Mercer.

    • Text
    • Boston : Kluwer Academic, c1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 92-180Offsite
  • Reliable computer systems : design and evaluation / Daniel P. Siewiorek, Robert S. Swarz.

    • Text
    • Burlington, MA : Digital Press, c1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 92-1533Offsite
  • Fault covering problems in reconfigurable VLSI systems / by Ran Libeskind-Hadas ... [et al.].

    • Text
    • Boston : Kluwer, c1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Book/text JSE 92-1490Offsite
  • Formal techniques in real-time and fault-tolerant systems / edited by Jan Vytopil.

    • Text
    • Boston : Kluwer Academic Publishers, c1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 93-1075Offsite
  • Information dispersal and parallel computation / Yuh-Dauh Lyuu.

    • Text
    • Cambridge ; New York : Cambridge University Press, 1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSF 93-543Offsite
  • Fehlertoleranz in verteilten Realzeitsystemen : anwendungsorientierte Techniken / Jürgen Stoll.

    • Text
    • Berlin ; New York : Springer-Verlag, c1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 93-1894Offsite
  • Fault-tolerant software systems : techniques and applications / [edited by] Hoang Pham.

    • Text
    • Los Alamitos, CA : IEEE Computer Society Press, c1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Book/text JSF 95-33Offsite
  • Digital hardware testing : transistor-level fault modeling and testing / Rochit Rajsuman.

    • Text
    • Boston : Artech House, c1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 94-1284Offsite
  • Fault tolerant system design / Shem-Tov Levi, Ashok K. Agrawala.

    • Text
    • New York : McGraw-Hill, c1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 94-1182Offsite
  • Foundations of dependable computing. System implementation / edited by Gary M. Koob, Clifford G. Lau.

    • Text
    • Boston : Kluwer Academic, 1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 95-168Offsite
  • Foundations of dependable computing. Models and frameworks for dependable systems / edited by Gary M. Koob, Clifford G. Lau.

    • Text
    • Boston : Kluwer Academic, c1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Book/text JSE 95-183Offsite
  • Foundations of dependable computing : paradigms for dependable applications / edited by Gary M. Koob, Clifford G. Lau.

    • Text
    • Boston : Kluwer Academic, c1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 95-167Offsite
  • A probabilistic analysis of test-response compaction / Slawomir Pilarski and Tiko Kameda.

    • Text
    • Los Alamitos, Calif. : IEEE Computer Society Press, 1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Book/text JSF 95-481Offsite
  • Manufacturing yield evaluation of VLSI/WSI systems / [edited by] Bruno Ciciani.

    • Text
    • Los Alamitos, CA : IEEE Computer Society Press, 1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSF 96-813Offsite
  • Responsive computer systems : steps toward fault-tolerant real-time systems / edited by Donald S. Fussell, Miroslaw Malek.

    • Text
    • Boston : Kluwer Academic Publishers, c1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 96-714Offsite
  • Fault-tolerant real-time systems : the problem of replica determinism / by Stefan Poledna ; foreword by H. Kopetz.

    • Text
    • Boston : Kluwer Academic Publishers, c1996.
    • 1996
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 97-112Offsite
  • Fault tolerance for multicomputers : the application-oriented paradigm / Bruce M. McMillin.

    • Text
    • Norwood, N.J. : Ablex Pub., c1997.
    • 1997
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 97-730Offsite
  • Fault-tolerant parallel computation / by Paris Christos Kanellakis and Alex Allister Shvartsman.

    • Text
    • Boston : Kluwer Academic, c1997.
    • 1997
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 97-1225Offsite
    Not available - In use until 2025-06-15 - Please for assistance.
  • Reliable computer systems : design and evaluation / Daniel P. Siewiorek, Robert S. Swarz.

    • Text
    • Natick, Mass. : A K Peters, c1998.
    • 1998
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 98-1517Offsite
  • A generic fault-tolerant architecture for real-time dependable systems / edited by David Powell.

    • Text
    • Boston ; London : Kluwer Academic Publishers, c2001.
    • 2001
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 01-654Offsite
  • Redundancy management for efficient fault recovery in NASA's distributed computing system : report for NASA grant NAG9-351 / Miroslaw Malek, principal investigator ; Mihir Pandya, Kitty Yau.

    • Text
    • Austin, Tex. : Dept. of Electrical and Computer Engineering, University of Texas, [1991]
    • 1991
  • A theoretical basis for the analysis of redundant software subject to coincident errors / Dave E. Eckhardt, Jr., and Larry D. Lee.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1985]
    • 1985
  • Fault tolerance of artificial neural networks with applications in critical systems / Peter W. Protzel, Daniel L. Palumbo, Michael K. Arras.

    • Text
    • [Washington, DC] : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program ; [Springfield, Va.] : [For sale by the National Technical Information Service], 1992.
    • 1992
  • Graphical workstation capability for reliability modeling / Salvatore J. Bavuso, Sandra V. Koppen, Pamela J. Haley.

    • Text
    • [Washington, DC] : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program, 1992.
    • 1992
  • Advanced information processing system : fault injection study and results / Laura F. Burkhardt, Thomas K. Masotto, Jaynarayan H. Lala.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va.?] : [National Technical Information Service [distributor], [1992]
    • 1992
  • Fault-tolerant wait-free shared objects / Prasad Jayanti, Tushar D. Chandra, Sam Toueg.

    • Text
    • Ithaca, NY : Dept. of Computer Science, Cornell University ; [Springfield, Va.?] : [National Technical Information Service [distributor], [1992]
    • 1992
  • Integration of tools for the design and assessment of high-performance, highly reliable computing systems (DAHPHRS). Phase 1 / C. Scheper [and others].

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va.?] : [National Technical Information Service, distributor], [1992]
    • 1992
  • Fault-tolerant wait-free shared objects / Prasad Jayanti, Tushar Deepak Chandra, Sam Toueg.

    • Text
    • Ithaca, NY : Dept. of Computer Science, Cornell University ; [Springfield, Va.?] : [National Technical Information Service [distributor], [1992]
    • 1992
  • An extension to Schneider's general paradigm for fault-tolerant clock synchronization / Paul S. Miner.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va.] : [For sale by the National Technical Information Service], [1992]
    • 1992
  • Analysis of fault-tolerant neurocontrol architectures / T. Troudet and W. Merrill.

    • Text
    • [Washington, DC] : [National Aeronautics and Space Administration] ; [Springfield, Va.] : [For sale by the National Technical Information Service], [1992]
    • 1992
  • Making statistical inferences about software reliability / Douglas R. Miller.

    • Text
    • [Washington, DC] : National Aeronautics and Space Administration, Scientific and Technical Information Division ; [Springfield, Va.] : [For sale by the National Technical Information Service], 1988.
    • 1988
  • Fault-tolerance of a neural network solving the Traveling Salesman Problem / P. Protzel, D. Palumbo, M. Arras.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va.] : [National Technical Information Service, distributor], [1989]
    • 1989
  • Study on Advanced Information Processing System / Kang G. Shin and Jyh-Charn Liu.

    • Text
    • [Washington, DC] : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program ; [Springfield, Va.] : [National Technical Information Service, distributor], 1992.
    • 1992
  • Advanced information processing system : inter-computer communication services / Laura Burkhardt [and others].

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va.?] : [National Technical Information Service, distributor], [1992]
    • 1991
  • Advanced information processing system : avionics architecture synthesis / Jaynarayan H. Lala [and others].

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va.?] : [National Technical Information Service, distributor], [1991]
    • 1991
  • Advanced information processing system : hardware technology survey and projections / Richard Cole.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va.?] : [National Technical Information Service, distributor], [1991]
    • 1991
  • Optimal message log reclamation for independent checkpointing / Yi-Min Yang and W. Kent Fuchs.

    • Text
    • [Urbana, Ill.] : Center for Reliable and High-Performance Computing, Coordinated Science Laboratory, College of Engineering, University of Illinois at Urbana-Champaign ; [Springfield, Va.?] : [National Technical Information Service, distributor], [1993]
    • 1993
  • Software reliability through fault-avoidance and fault-tolerance : report #3 (3/1/90-8/31/90) on NAG-1-983 / by Mladen A. Vouk and David F. McAllister.

    • Text
    • Raleigh, N.C. : Dept. of Computer Science, North Carolina State University ; Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1990]
    • 1990
  • A formally verified alrgothim for interactive consistency under a hybrid fault model / Patrick Lincoln and John Rushby.

    • Text
    • [Washington, D.C.] : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program ; [Springfield, Va.] : [National Technical Information Service, distributor], 1993.
    • 1993
  • Fault-tolerant onboard digital information switching and routing for communications satellites [microform] / Mary Jo Shalkhauser ... [et al.].

    • Text
    • [Washington, DC] : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program ; [Springfield, Va. : National Technical Information Service, distributor], 1993.
    • 1993
  • Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems / John Rushby.

    • Text
    • [Washington, D.C.?] : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program ; [Springfield, Va.] : [For sale by the National Technical Information Service], 1991.
    • 1991

No results found from Digital Research Books Beta

Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.

digital-research-book
Explore Digital Research Books Beta