Sciweavers

ENTCS
2008
66views more  ENTCS 2008»
13 years 4 months ago
Measuring and Evaluating Parallel State-Space Exploration Algorithms
We argue in this paper that benchmarking should be complemented by direct measurement of parallelisation overheads when evaluating parallel state-space exploration algorithms. Thi...
Jonathan Ezekiel, Gerald Lüttgen