1150 search results - page 14 / 230 » Tackling Large State Spaces in Performance Modelling |
ECAI
2010
Springer
13 years 10 months ago
2010
Springer
This paper considers the diagnosis of large discrete-event systems consisting of many components. The problem is to determine, online, all failures and states that explain a given...
DSN
2007
IEEE
14 years 22 days ago
2007
IEEE
Model-checking of asynchronous distributed protocols is challenging because of the large size of the state and solution spaces. This paper tackles this problem in the context of l...
APN
1995
Springer
14 years 11 days ago
1995
Springer
State Space Analysis is one of the most developed analysis methods for Petri Nets. The main problem of state space analysis is the size of the state spaces. Several ways to reduce ...
SAS
1999
Springer
14 years 1 months ago
1999
Springer
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...
IPMI
2005
Springer
14 years 2 months ago
2005
Springer
Statistical iterative reconstruction algorithms have shown improved image quality over conventional nonstatistical methods in PET by using accurate system response models and measu...