3235 search results - page 125 / 647 » Partial Redundant Modeling |
117
click to vote
EUROCAST
2007
Springer
15 years 8 months ago
2007
Springer
Most non-trivial applications use some form of input/output (I/O), such as network communication. When model checking such an application, a simple state space exploration scheme i...
128
click to vote
WOSP
2004
ACM
15 years 9 months ago
2004
ACM
This paper describes how soft performance bounds can be expressed for software systems using stochastic probes over stochastic process algebra models. These stochastic probes are ...
165
Voted
CLUSTER
2004
IEEE
15 years 4 months ago
2004
IEEE
Fault tolerance in parallel systems has traditionally been achieved through a combination of redundancy and checkpointing methods. This notion has also been extended to message-pas...
121
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
— An increasing number of hardware failures can be attributed to device reliability problems that cause partial system failure or shutdown. In this paper we propose a scheme for ...
149
click to vote
KR
2010
Springer
15 years 9 months ago
2010
Springer
We present a distributed algorithm for computing equilibria of heterogeneous nonmonotonic multi-context systems (MCS). The algorithm can be parametrized to compute only partial eq...