A probabilistic dynamic technique for the distributed generation of very large state spaces

DOI10.1016/S0166-5316(99)00061-9zbMath1052.68556MaRDI QIDQ4779370

Pieter Kritzinger, William J. Knottenbelt, Peter G. Harrison, M. A. Mestern

Publication date: 24 June 2003

Published in: Performance Evaluation (Search for Journal in Brave)

zbMATH Keywords

distributed-memory parallel computerperformance model

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Related Items (4)

Turning back time in Markovian process algebra. ⋮ Distributed disk-based algorithms for model checking very large Markov chains ⋮ Hypergraph-based parallel computation of passage time densities in large semi-Markov models ⋮ Measuring and Evaluating Parallel State-Space Exploration Algorithms

Uses Software

• PVM
• MPI

This page was built for publication: A probabilistic dynamic technique for the distributed generation of very large state spaces