Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

     
Available items only
Add Marked to Bag Add All On Page
Alternate Subjects (1-5 of 5)
Parallel Programming
1
E-Book/E-Doc
 

Automated verification of specifications with typestates and access permissions


Siminiceanu, Radu I.
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2011] 2011

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  NAS 1.26:2011-217170    ---  Available
2
E-Book/E-Doc
 

Experiences with serial and parallel algorithms for channel routing using simulated annealing


Brouwer, Randall Jay.
Hampton, Va. : NASA Langley Research Center, [1988] 1988

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  NAS 1.26:182530    ---  Available
3
E-Book/E-Doc
 

File concepts for parallel I/O


Crockett, Thomas W.
Hampton, Va. : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, [1989] 1989

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  NAS 1.26:181843    ---  Available
4
E-Book/E-Doc
 

A parallel rendering algorithm for MIMD architectures


Crockett, Thomas W.
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1991] 1991

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  NAS 1.26:187571    ---  Available
5
E-Book/E-Doc
 

Performance tradeoffs in static and dynamic load balancing strategies final report


Iqbal, M. Ashraf.
Hampton, Va. : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, [1986] 1986

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  NAS 1.26:178073    ---  Available
Add Marked to Bag Add All On Page
Locate in results
 
    
Available items only