Welcome to the Kids' Library!

Boundary layer simulation improvement : progress report

Praharaj, Sarat C.
Huntsville, Ala. : Remtech, Inc. ; Marshall Space Flight Center, Ala. : National Aeronautics and Space Administration, George C. Marshall Space Flight Center, [1987] 1987

Communication overhead on the Intel iPSC-860 hypercube

Bokhari, Shahid H.
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1990] 1990

DSIM, a distributed simulator final report for NASA grant NCA-2-385

Goswami, Kumar K.
Urbana, Ill. : Center for Reliable and High Performance Computing, Coordinated Science Laboratory, College of Engineering, University of Illinois at Urbana-Champaign ; [Washington, D.C. : National Aeronautics and Space Administration, 1990] 1990

Formal verification of AI software

Rushby, John, 1949-
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1989] 1989

Ground systems development environment (GSDE) interface requirements analysis final report

[Houston, Tex.] : NASA Johnson Space Center, Mission Operations Directorate, Space Station Ground Systems Division : Research Institute for Computing and Information Systems, University of Houston--Clear Lake, [1991] 1991

IAPSA II small-scale system specification

Cohen, G. C. (Gerald C.)
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1990] 1990

Independent Orbiter assessment assessment of the data processing system FMEA/CIL

Lowery, H. J.
Houston, Tex. : McDonnell Douglas Astronautics Company, Houston Division ; [Washington, DC : National Aeronautics and Space Administration, 1986] 1986

Intel Xeon Phi processor high performance programming

Jeffers, Jim (Computer engineer), author.
Cambridge, MA : Morgan Kaufmann is an imprint of Elsevier, [2016] 2016

The preprocessed doacross loop

Saltz, Joel H.
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1990] 1990

The role of the host in a cooperating mainframe and workstation environment final report , volumes I

Kusmanoff, Antone.
San Antonio, Tex. : Southwest Research Institute ; Houston, TX : NASA Johnson Space Center, [1989] 1989

Strategies for concurrent processing of complex algorithms in data driven architectures final report

Stoughton, John W.
Norfolk, Va. : Dept. of Electrical and Computer Engineering, Old Dominion University, College of Engineering and Technology, [1990] 1990