Welcome to the Kids' Library!

Automated parallelization of discrete state-space generation

Nicol, David M.
Hampton, VA : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; Hanover, MD : Available from NASA Center for AeroSpace Information (CASI), [2000] 2000

Parallel algorithms for simulating continuous time Markov chains

Nicol, David M.
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, Institute for Computer Applications in Science and Engineering, [1992] 1992

Probabilistic analysis of distributed fault-tolerant systems

Dutertre, Bruno.
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2011] 2011