Analysis of Or-Parallel Execution Models

@article{Gupta1993AnalysisOO,
  title={Analysis of Or-Parallel Execution Models},
  author={Gopal Gupta and Bharat Jayaraman},
  journal={ACM Trans. Program. Lang. Syst.},
  year={1993},
  volume={15},
  pages={659-680}
}
We discuss fundamental limitations of or-parallel execution models of nondeterministic programming languages. Or-parallelism corresponds to the execution of different nondeterministic computational paths in parallel. A natural way to represent the state of (parallel) execution of a nondeterministic program is by means of an or-parallel tree. We identify three important criteria that underlie the design of or-parallel implementations based on the or-parallel tree: constant-time access to… CONTINUE READING
Highly Cited
This paper has 51 citations. REVIEW CITATIONS
30 Citations
4 References
Similar Papers

Citations

Publications citing this paper.

52 Citations

01020'95'00'06'12'18
Citations per Year
Semantic Scholar estimates that this publication has 52 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…