Parallel shared-memory state- space exploration in stochastic modeling

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1253, Issue , 1997, Pages 207-218

  Allmaier, Susann C ^a   Horton, Graham ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

MEMORY ARCHITECTURE; MULTIPROCESSING SYSTEMS; RELIABILITY ANALYSIS; SPACE RESEARCH; STOCHASTIC MODELS; TREES (MATHEMATICS);

COMBINATORIAL EXPLOSION; COMPUTATIONAL PERFORMANCE; COMPUTERS AND COMMUNICATIONS; ECONOMIC SYSTEM; MEMORY MACHINES; PARALLEL SEARCH; PERFORMANCE AND RELIABILITIES; SHARED MEMORY MULTIPROCESSOR;

STOCHASTIC SYSTEMS;

EID: 84947777733     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63138-0_19     Document Type: Conference Paper

References (8)

1. S. Allmaier, M. Kowarschik, and G. Horton. State space construction and steadystate solution of GSPNs on a shared-memory multiprocessor. In Proe. IEEE Int. Workshop Petri Nets and Performance Models (PNPM '97), St. Malo, France, 1997. IEEE Comp. Soc. Press. To appear.
2. G. Balbo. On the success of stochastic Petri nets. In Proc. IEEE Int. Workshop on Petri Nets and Performance Models (PNPM '95), pages 2-9, Durham, NC, 1995. IEEE Comp. Soc. Press.
3. R. Bayer and M. Schkolnick. Concurrency of operations on B-trees. Acta Informatica, 9:1-21, 1977.
4. G. Ciardo, J. Gluckman, and D. Nicol. Distributed state-space generation of discrete-state stochastic models. Technical Report 198233, ICASE, NASA Langley Research Center, Hampton, VA, 1995.
5. D. Comer. The ubiquitous B-tree. Computing Surveys, 11(2):121-137, 1979.
6. L.J. Guibas and R. Sedgewick. A dichromatic framework for balanced trees. In Proc. 19th Syrup. Foundations of Computer Science, pages 8-21, 1978.
7. M. Ajmone Marsan, G. Balbo, and G. Conte. Performance models ofmultiprocessor systems. MIT Press, 1986.
8. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with generalized stochastic Petri nets. Wiley, Series in Parallel Computing, 1995.