Sciweavers

Share
GI
2009
Springer

Towards a Parallel Search for Solutions of Non-deterministic Computations

10 years 9 months ago
Towards a Parallel Search for Solutions of Non-deterministic Computations
: In this paper we explore the possibilities to perform the search for results of non-deterministic computations in parallel. We present three different approaches to this problem: Dividing the search space statically, using a Bag of Tasks approach and using semi-explicit parallelism. Then we discuss their advantages and limitations. Finally, we discuss benchmarks using a monadic SAT solver as an example of a nontrivial application of a non-deterministic program.
Fabian Reck, Sebastian Fischer
Added 17 Feb 2011
Updated 17 Feb 2011
Type Journal
Year 2009
Where GI
Authors Fabian Reck, Sebastian Fischer
Comments (0)
books