Automated parallelization of discrete state-space generation
By: David M. Nicol, Gianfranco Ciardo.
Contributors: Ciardo, Gianfranco.; Institute for Computer Applications in Science and Engineering.; Langley Research Center.
Series: ICASE report -- no. 2000-11.; [NASA contractor report] -- NASA/CR-2000-210082.; NASA contractor report -- NASA CR-210082.
Publisher: Institute for Computer Applications in Science and Engineering, NASA Langley Research Center; Available from NASA Center for AeroSpace Information (CASI)
Published: 2000
Place of publication: Hampton, VA; Hanover, MD
Language: eng
Other titles: Automated parallelization of discrete state space generation.
Notes: Shipping list no.: 2001-0362-M.

Also available via Internet from the ICASE web site. Address as of 9/30/02: ftp://ftp.icase.edu/pub/techreports/2000/2000-11.pdf ; current access is available via PURL.

Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 2000?]. 1 microfiche.

System requirements: Adobe Acrobat Reader required.