Automated Parallelization of Discrete State-Space Generation

@article{Nicol1997AutomatedPO,
  title={Automated Parallelization of Discrete State-Space Generation},
  author={David M. Nicol and Gianfranco Ciardo},
  journal={J. Parallel Distrib. Comput.},
  year={1997},
  volume={47},
  pages={153-167}
}
We consider the problem of generating a large state-space in a distributed fashion. Unlike previously proposed solutions that partition the set of reachable states according to a hashing function provided by the user, we explore heuristic methods that completely automate the process. The first step is an initial random walk through the state space to initialize a search tree, duplicated in each processor. Then, the reachability graph is built in a distributed way, using the search tree to… CONTINUE READING
Highly Cited
This paper has 77 citations. REVIEW CITATIONS

11 Figures & Tables

Topics

Statistics

0510'00'02'04'06'08'10'12'14'16'18
Citations per Year

77 Citations

Semantic Scholar estimates that this publication has 77 citations based on the available data.

See our FAQ for additional information.