Showing 1 - 20 results of 110 for search '', query time: 0.24s Refine Results
  1. 1
    Formal verification of AI software /

    Government Document Book
  2. 2
    Ground systems development environment (GSDE) interface requirements analysis : final report /
    Published 1991

    Government Document Book
  3. 3
    The preprocessed doacross loop /
    by Saltz, Joel, Saltz, Joel
    Published 1990

    Government Document Book
  4. 4
    Review and synthesis of problems and directions for large scale geographic information system development /
    by Boyle, A. Raymond
    Published 1983

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Government Document Book
  5. 5
    Independent Orbiter assessment : assessment of the data processing system FMEA/CIL /
    by Lowery, H. J, Lowery, H. J
    Published 1986

    Government Document Book
  6. 6
    Multiple fault isolation in redundant systems NASA-Ames/university aerospace institutes agreement, NCC2-5123, final report /
    by Pattipati, Krishna R
    Published 1997

    Government Document Book
  7. 7
    UNIX-based operating systems robustness evaluation
    by Zhang, Youming
    Published 1996

    Government Document Book
  8. 8
    Exploring the use of I/O nodes for computation in a MIMD multiprocessor
    by Kotz, David
    Published 1995

    Government Document Book
  9. 9
    A survey of parallel programming tools
    by Cheng, Doreen Y
    Published 1991

    Government Document Book
  10. 10
    Techniques for modeling the reliability of fault-tolerant system s with the Markov state-space approach
    by Butler, Ricky W
    Published 1995

    Government Document Book
  11. 11
    Performance of the Galley parallel file system
    by Nieuwejaar, Nils
    Published 1996

    Government Document Book
  12. 12
    The NAS Parallel Benchmarks 2.1 results
    by Saphir, William
    Published 1996

    Government Document Book
  13. 13
    New double-byte error-correcting codes for memory systems
    by Feng, Gui-Liang
    Published 1996

    Government Document Book
  14. 14
    Measurement and analysis of failures in computer systems thesis ... /
    by Thakur, Anshuman
    Published 1997

    Government Document Book
  15. 15
    Performance measurements of the first RAID prototype
    by Chervenak, Ann L
    Published 1990

    Government Document Book
  16. 16
    High-performance equation solvers and their impact on finite element analysis
    by Poole, Eugene L
    Published 1990

    Government Document Book
  17. 17
    Parallelized direct execution simulation of message-passing parallel programs
    by Dickens, Phillip M
    Published 1994

    Government Document Book
  18. 18
    Improved load distribution in parallel sparse Cholesky factorization
    by Rothberg, Edward
    Published 1994

    Government Document Book
  19. 19
    Transient faults in computer systems final report /
    by Masson, Gerald M
    Published 1993

    Government Document Book
  20. 20
    Computational needs survey of NASA automation and robotics missions
    by Davis, Gloria J
    Published 1991

    Government Document Book
Search Tools: Get RSS Feed — Email this Search