Highly Influenced

# 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} }

- Published 1997 in J. Parallel Distrib. Comput.
DOI:10.1006/jpdc.1997.1409

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 71 citations. REVIEW CITATIONS

#### From This Paper

##### Figures, tables, and topics from this paper.

43 Citations

37 References

Similar Papers

#### Citations

##### Publications citing this paper.

#### Citation Statistics

#### 71 Citations

Citations per Year

Semantic Scholar estimates that this publication has

**71**citations based on the available data.See our **FAQ** for additional information.