621 search results - page 44 / 125 » Model Checking Probabilistic Distributed Systems |
FM
2001
Springer
14 years 9 days ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking many distributed systems. Timestamps are often ...
ANSS
1997
IEEE
14 years 1 days ago
1997
IEEE
An important part of a distributed system design is the workload sharing among the processors. This includes partitioningthe arriving jobs into tasks that can be executed in paral...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
When large amount of statistical information about power system component failure rate is available, statistical parametric models can be developed for predictive maintenance. Oft...
FORMATS
2006
Springer
13 years 11 months ago
2006
Springer
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...