Clear Search

Books+ Search Results

Subject: "Computers"
Author/Creator: Is
Is Is Not
Langley Research Center
Subject: Is
Is Is Not
Computer programs

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Show Online Results Only
Online Results (30)
1.
A parallel rendering algorithm for MIMD architectures
Author
Crockett, Thomas W.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1991]
Online
http://purl.access.gpo.gov/GPO/LPS67022
Location
Yale Internet Resource >> None
Format
Books / Online / Microforms
2.
Execution models for mapping programs onto distributed memory parallel computers
Author
Sussman, Alan
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Center, distributor, 1992]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:189613
Format
Books / Microforms
3.
The analysis of a generic air-to-air missile simulation model
Author
Kaplan, Joseph A.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:109057
Format
Books / Microforms
4.
Eigensystem realization algorithm user's guide for VAX/VMS computers. Version 931216
Author
Pappa, Richard S.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:109066
Format
Books / Microforms
5.
Electronic document distribution design of anonymous FTP Langley technical report server
Author
Nelson, Michael L.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:4567
Format
Books / Microforms
6.
FRANC2D: a two-dimensional crack propogation simulator version 2.7 user's guide
Author
Wawrzynek, Paul
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:4572
Format
Books / Microforms
7.
PATRAN 2.5/EAL interface guide
Author
Feldhaus, Winifred S.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:109053
Format
Books / Microforms
8.
ISAC: a tool for aeroservoelastic modeling and analysis
Author
Adams, William M.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1993]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:109031
Format
Books / Microforms
9.
Reference manual for a Requirements Specification Language (RSL). Version 2.0
Author
Fisher, G. L.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1993]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:191460
Format
Books / Microforms
10.
Tools reference manual for a Requirements Specification Language (RSL). Version 2.0
Author
Fisher, G. L.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1993]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:191461
Format
Books / Microforms
11.
TADPLOT program user's guide
Author
Hammond, Dana P.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1991]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:189553
Format
Books / Microforms
12.
Transferable output ASCII data a(TOAD) editor version 1.0 user's guide
Author
Bingel, Bradford D.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1991]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:187507
Format
Books / Microforms
13.
Transferable Output ASCII Data (TOAD) gateway, version 1.0 user's guide
Author
Bingel, Bradford D.
Published
Hampton, Va. : Computer Sciences Corporation, Applied Technology Division : National Aeronautics and Space Administration, Langley Research Center, [1991]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:187489
Format
Books / Microforms
14.
GCS plan for software aspects of certification
Author
Shagnea, A. M.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1990]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:181972
Format
Books / Microforms
15.
The environment for application software integration and execution (EASIE) version 1.0. Volume I, Executive overview
Author
Rowell, Lawrence F.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1989]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:100573
Format
Books / Microforms
16.
An intelligent advisor for the design manager
Author
Rogers, James L.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1989]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:101558
Format
Books / Microforms
17.
An experiment in software reliability additional analyses using data from automated replications
Author
Dunham, J. R. (Janet Rose), 1954-
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Center, distributor, 1988]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:178395
Format
Books / Microforms
18.
Hardware proofs using EHDM and the RSRE verification methodology
Author
Butler, Ricky W.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [St. Louis, Mo.] : US Army Aviation Systems Command, Aviation R&T Activity ; [Springfield, Va. : For sale by the National Technical Information Service, 1988]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:100669
Format
Books / Microforms
19.
User's guide to programming fault injection and data acquisition in the SIFT environment
Author
Elks, C. R.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : For sale by the National Technical Information Service, 1987]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:87638
Format
Books / Microforms
20.
The SIFT hardware/software systems. Volume II, Software listings
Author
Palumbo, Daniel L.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1985]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:87575
Format
Books / Microforms
21.
A user's guide to CGNS
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; Hanover, MD : Available from NASA Center for AeroSpace Information (CASI), [2001]
Online
Adobe Acrobat Reader required
Location
SML, Microform (Non-Circulating) >> NAS 1.15:211236
Format
Books / Microforms
22.
CODAC (Cockpit Oriented Display of Aircraft Configurations) version 1.4 user's guide
Author
Bingel, Bradford D.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : For sale by the National Technical Information Service, 1988]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:181650
Format
Books / Microforms
23.
User's manual for PCSMS (Parallel Complex Sparse Matrix Solver) version 1.0
Author
Reddy, C. J.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; Hanover, MD ; Available from NASA Center Aerospace Information, [2000]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:210537
Format
Books / Microforms
24.
Moving formal methods into practice verifying the FTPP scoreboard, phase 1 results
Author
Srivas, Mandayam
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va.? : National Technical Information Service [distributor], 1992]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:189607
Format
Books / Microforms
25.
Mechanical verification of a schematic Byzantine clock synchronization algorithm
Author
Shankar, N. (Natarajan)
Published
[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.
Location
SML, Microform (Non-Circulating) >> NAS 1.26:4386
Format
Books / Microforms