Research Catalog

New! Try our Article Search to discover online journals, books, and more from home with your library card.

Selected filters.Clear Filters

  • Advanced information processing system [microform] : hosting of advanced guidance, navigation and control algorithms on AIPS using ASTER / Richard Brenner ... [et al.].

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
    • 1994

  • Advanced information processing system [microform] : authentication protocols for network communication / Richard E. Harper ... [et al.].

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
    • 1994

  • Advanced information processing system [microform] : the Army fault tolerant architecture detailed design overview / Richard E. Harper ... [et al.].

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
    • 1994

  • Model-based reasoning for power system management using KATE and the SSM/PMAD [microform] : a final report : submitted to NASA-MSFC in partial fulfillment of the requirement of contract NAS-NAS39385 / by Robert A. Morris ... [et al.].

    • Text
    • [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1993]
    • 1993

  • Multiversion software reliability through fault-avoidance and fault-tolerance [microform] : report #1 / by Mladen A. Vouk and David F. McAllister.

    • Text
    • Raleigh, NC : North Carolina State University ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1989]
    • 1989

  • Recycle requirements for NASA's 30cm xenon ion thruster [microform] / Luis R. Piñero and Vincent K. Rawlin.

    • Text
    • [Washington, DC] : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
    • 1994

  • Stability and error estimation for component adaptive grid methods [microform] / Joseph Oliger and Xiaolei Zhu.

    • Text
    • [Moffett Field, Calif.] : Research Institute for Advanced Computer Science, NASA Ames Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
    • 1994

  • Software dependability in the operational phase [microform] / Inhwan Lee.

    • Text
    • [Urbana, Illinois] : Coordinated Science Laboratory, College of Engineering, University of Illinois at Urbana-Champaign ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1994]
    • 1994

  • Test plans, GCPS task 7, subtask 7.1, IHM development [microform] / H.S. Greenberg, principal investigator.

    • Text
    • [Downey, Calif.] : Rockwell Aerospace, Space Systems Division ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1994]
    • 1994

  • Formal design and verification of a reliable computing platform for real-time control [microform] : phase 3 results / Ricky W. Butler, Ben L. Di Vito, C. Michael Holloway.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
    • 1994

  • Fly-by-Light-Power-by-Wire Requirements and Technology Workshop [microform] : proceedings of a workshop ... held at Langley Research Center, Hampton, Virginia, March 17-19, 1992 / edited by Robert L. Baler, Felix L. Pitts.

    • 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

  • Research and technology goals and objectives for Integrated Vehicle Health Management (IVHM) [microform].

    • Text
    • Washington, DC : Office of Aeronautics and Space Technology, National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1992]
    • 1992

  • Analog-digital simulation of transient-induced logic errors and upset susceptibility of an advanced control system [microform] / Victor A. Carreno, G. Choi and R.K. Iyer.

    • Text
    • [Washington, DC] : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Division ; [Springfield, Va. : National Technical Information Service, distributor], 1990.
    • 1990

  • [Quantifying fault recovery in multiprocessor systems] [microform] / Miroslaw Malek.

    • Text
    • [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1990]
    • 1990

  • Model-based reconfiguration [microform] : diagnosis and recovery / Judy Crow and John Rushby.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
    • 1994

  • Interpreter composition issues in the formal verification of a processor-memory module [microform] / David A. Fura and Gerald C. Cohen.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
    • 1994

  • Designing application software in wide area network settings [microform] / Mesaac Makpangou, Kem Mirman.

    • Text
    • Ithaca, NY : Dept. of Computer Science, Cornell University ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1990]
    • 1990

  • Risk analysis of earth return options for the Mars Rover/sample return mission [microform].

    • Text
    • Webster, Tex. : Eagle Engineering, Inc. ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1988]
    • 1988

  • Fault diagnosis based on continuous simulation models [microform] : final report, NASA/Langley grant NAG-1-618 / Stefan Feyock.

    • Text
    • Williamsburg, Va. : College of William & Mary ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1988]
    • 1988

  • Expert systems for real-time monitoring and fault diagnosis [microform] / S.J. Edwards and A.K. Caglayan.

    • Text
    • Edwards, Calif. : National Aeronautics and Space Administration, Ames Research Center, Dryden Flight Research Facility ; [Springfield, Va. : For sale by the National Technical Information Service], 1989.
    • 1989

  • Fault diagnosis in sparse multiprocessor systems [microform] : [semiannual progress report] / Douglas M. Blough, Gregory F. Sullivan, and Gerald M. Masson.

    • Text
    • [Washington, D.C. : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1988?]
    • 1988

  • Advanced information processing system [microform] : local system services / Laura Burkhardt ... [et al.].

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1989]
    • 1989

  • Multiversion software reliability through fault-avoidance and fault-tolerance [microform] : report #2, (9-1-89 - 3-31-90) on NAG-1-983 / by Mladen A. Vouk and David F. McAllister.

    • Text
    • Raleigh, NC : North Carolina State University ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1990]
    • 1990

  • A modular electric power system test bed for small spacecraft [microform] / Robert M. Button and Anastacio N. Baez.

    • Text
    • [Washington, DC] : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
    • 1994

  • Breaking down barriers in cooperative fault management [microform] : temporal and functional information displays / Scott S. Potter and David D. Woods.

    • Text
    • [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1994]
    • 1994

  • The ISIS project [microform] : fault-tolerance in large distributed systems : final R & D status report / Kenneth P. Birman, Keith Marzullo

    • Text
    • [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1993]
    • 1993

  • Exploiting virtual synchrony in distributed systems [microform] / Kenneth P. Birman and Thomas A. Joseph.

    • Text
    • [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1987]
    • 1987

  • Reliable communication in the presence of failures [microform] / Kenneth P. Birman and Thomas A. Joseph.

    • Text
    • [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1987]
    • 1987

  • Predicted performance of an integrated modular engine system [microform] / Michael Binder and James L. Felder.

    • Text
    • [Washington, D.C.] : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1993]
    • 1993

  • Hardware fault insertion and instrumentation system [microform] : mechanization and validation ; final report / J.W. Benson.

    • Text
    • Atlantic City International Airport, N.J. : U.S. Dept. of Transportation, Federal Aviation Administration, FAA Technical Center ; [Washington, D.C. : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1987]
    • 1987

  • Semiannual project report submitted to the National Aeronautics and Space Administration, Langley Research Center, Hampton, Va. for research entitled experiments in fault tolerant software reliability [microform] : report period beginning date: April 1, 1987, ending date: September 30, 1987 / David F. McAllister, K.C. Tai, Mladen A. Vouk.

    • Text
    • [Washington, D.C. : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, 1987]
    • 1987

  • Detection of faults and software reliability analysis [microform] / submitted by J.C. Knight.

    • Text
    • Charlottesville, Va. : Dept. of Computer Science, School of Engineering and Applied Science, University of Virginia ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1987]
    • 1987

  • The implementation and use of Ada on distributed systems with high reliability requirements [microform] : an annual report, grant no. NAG-1-260, March 5, 1982 - December 31, 1986 / submitted by J.C. Knight.

    • Text
    • Charlottesville, Va. : Dept. of Computer Science, School of Engineering and Applied Science, University of Virginia ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1987]
    • 1987

  • Second generation experiments in fault tolerant software [microform] / submitted by J.C. Knight.

    • Text
    • Charlottesville, Va. : Dept. of Computer Science, School of Engineering and Applied Science, University of Virginia ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1987]
    • 1987

  • The implementation and use of Ada on distributed systems with high reliability requirements [microform] : semi-annual report, grant no. NAG-1-206, March 5, 1982 - February 14, 1988 / submitted by J.C. Knight.

    • Text
    • Charlottesville, Va. : Dept. of Computer Science, School of Engineering and Applied Science, University of Virginia ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1987]
    • 1987

  • Performance analysis of a generalized upset detection procedure [microform] : semi-annual progress report, NASA research grant, NSG-1442 / by Douglas M. Blough and Gerald M. Masson.

    • Text
    • [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1987]
    • 1987

  • Detection of faults and software reliability analysis [microform] : semi-annual progress report, NASA award no. NAG-1-605, July 1, 1985 - June 30, 1987 / submitted by J.C. Knight.

    • Text
    • Charlottesville, Va. : School of Engineering and Applied Science, Dept. of Computer Science, University of Virginia ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1987]
    • 1987

  • Performance evaluation of fault tolerant systems represented by Markov models [microform] / Jean-Olivier Antoine Raymond Missana.

    • Text
    • [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1987]
    • 1987

  • Fault-free performance validation of fault-tolerant multiprocessors [microform] / Edward W. Czeck ... [et al.].

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1987]
    • 1987

  • In-circuit fault injector user's guide [microform] / Peter A. Padilla.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : For sale by the National Technical Information Service, 1987]
    • 1987

  • A dual-processor multi-frequency implementation of the finds algorithm [microform] / Pankaj M. Godiwala and Alper K. Caglayan.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : For sale by the National Technical Information Service, 1987]
    • 1987

  • Investigation of an advanced fault tolerant integrated avionics system [microform] : final technical report, covering the period, November 1983 - March 1986 / W.R. Dunn ... [et al.].

    • Text
    • [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1986]
    • 1986

  • Initial design and evaluation of automatic restructurable flight control system concepts [microform] / Jerold L. Weiss ... [et al.].

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : For sale by the National Technical Information Service, distributor, 1986]
    • 1986

  • Study of a unified hardware and software fault tolerant architecture [microform] / Jaynarayan Lala ... [et al.].

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1989]
    • 1989

  • Software fault tolerance in computer operating systems [microform] / Ravishankar K. Iyer and Inhwan Lee.

    • Text
    • [Washington, D.C.] : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1995]
    • 1995

  • FTAPE [microform] : a fault injection tool to measure fault torerance / Timothy K. Tsai and Ravishankar K. Iyer.

    • Text
    • [Washington, D.C.?] : American Institute of Aeronautics and Astronautics : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor], c1994.
    • 1994

  • An optimized implementation of a fault-tolerant clock synchronization circuit [microform] / Wilfredo Torres-Pomales.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1995]
    • 1995

  • Study of fault-tolerant software technology [microform] / T. Slivinski ... [et al.].

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1984]
    • 1984

  • Detection of faults and software reliability analysis [microform] : annual progress report, award no. NAG-1-605 / submitted to National Aeronautics and Space Administration, Langley Research Center ; submitted by J.C. Knight.

    • Text
    • Charlottesville, Va. : School of Engineering and Applied Science, Dept. of Computer Science, University of Virginia ; Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1986]
    • 1986

  • Optimal design and use of retry in fault tolerant real-time computer systems [microform] / Yann-Hang Lee and Kang G. Shin.

    • Text
    • [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1983]
    • 1983

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