Sciweavers

298 search results - page 1 / 60
» Measuring and Evaluating Parallel State-Space Exploration Al...
Sort
View
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
IPMI
2005
Springer
13 years 10 months ago
PET Image Reconstruction: A Robust State Space Approach
Statistical iterative reconstruction algorithms have shown improved image quality over conventional nonstatistical methods in PET by using accurate system response models and measu...
Huafeng Liu, Yi Tian, Pengcheng Shi
CPE
1998
Springer
80views Hardware» more  CPE 1998»
13 years 9 months ago
Probability, Parallelism and the State Space Exploration Problem
We present a new dynamic probabilistic state exploration algorithm based on hash compaction. Our method has a low state omission probability and low memory usage that is independen...
William J. Knottenbelt, Mark Mestern, Peter G. Har...
SFM
2007
Springer
13 years 11 months ago
Tackling Large State Spaces in Performance Modelling
Stochastic performance models provide a powerful way of capturing and analysing the behaviour of complex concurrent systems. Traditionally, performance measures for these models ar...
William J. Knottenbelt, Jeremy T. Bradley
IRREGULAR
1997
Springer
13 years 9 months ago
Parallel Shared-Memory State-Space Exploration in Stochastic Modeling
Stochastic modeling forms the basis for analysis in many areas, including biological and economic systems, as well as the performance and reliability modeling of computers and comm...
Susann C. Allmaier, Graham Horton