Item Details

Print View

Automated Parallelization of Discrete State-Space Generation [microform]

David M. Nicol, Gianfranco Ciardo
Format
EBook; Book; Government Document; Microform; Online
Published
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]
Language
English
Variant Title
Automated parallelization of discrete state space generation
Series
ICASE Report
NASA Contractor Report
SuDoc Number
NAS 1.26:210082
Description
1 v.
Notes
Shipping list no.: 2001-0362-M.
Reproduction Notes
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 2000?] 1 microfiche.
Series Statement
ICASE report ; no. 2000-11
[NASA contractor report] ; NASA/CR-2000-210082
NASA contractor report NASA CR-210082
Other Forms
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.
Copyright Not EvaluatedCopyright Not Evaluated
Technical Details
  • Access in Virgo Classic
  • Staff View

    LEADER 01991nam a2200469Ka 4500
    001 u3734258
    003 SIRSI
    005 20020930111540.0
    008 020930s2000 vau b f000 0 eng d
    035
      
      
    a| (Sirsi) tmp97189183
    035
      
      
    a| (OCoLC)50697865
    037
      
      
    a| 20000037714 b| NASA
    040
      
      
    a| GPO c| GPO d| MvI
    049
      
      
    a| VA@D
    074
      
      
    a| 0830-H-14 (MF)
    074
      
      
    a| 0830-H-14 (online)
    086
    0
      
    a| NAS 1.26:210082
    100
    1
      
    a| Nicol, David M.
    245
    1
    0
    a| Automated parallelization of discrete state-space generation h| [microform] / c| David M. Nicol, Gianfranco Ciardo.
    246
    2
      
    a| Automated parallelization of discrete state space generation
    260
      
      
    a| Hampton, VA : b| Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; a| Hanover, MD : b| Available from NASA Center for AeroSpace Information (CASI), c| [2000]
    300
      
      
    a| 1 v.
    440
      
    0
    a| ICASE report ; v| no. 2000-11
    490
    1
      
    a| [NASA contractor report] ; v| NASA/CR-2000-210082
    500
      
      
    a| Shipping list no.: 2001-0362-M.
    530
      
      
    a| 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.
    533
      
      
    a| Microfiche. b| [Washington, D.C. : c| National Aeronautics and Space Administration, d| 2000?] e| 1 microfiche.
    596
      
      
    a| 2
    650
      
    7
    a| Markov chains. 2| nasat
    650
      
    7
    a| Random walk. 2| nasat
    650
      
    7
    a| Monte Carlo method. 2| nasat
    650
      
    7
    a| Mapping. 2| nasat
    700
    1
      
    a| Ciardo, Gianfranco.
    830
      
    0
    a| NASA contractor report v| NASA CR-210082.
    856
    4
    1
    u| http://purl.access.gpo.gov/GPO/LPS22776 z| Adobe Acrobat Reader required
    710
    2
      
    a| Institute for Computer Applications in Science and Engineering.
    710
    2
      
    a| Langley Research Center.
    900
      
      
    a| tmp97189183
    999
      
      
    a| NAS 1.26:210082 w| SUDOC i| X005080404 l| 3EAST m| ALDERMAN t| MICROFICHE
▾See more
▴See less

Availability

Google Preview

Google Books Preview

Read Online

Library Location Map Availability Call Number
Alderman 3rd Floor East Reading Room N/A Available Non-Circ.