2468 search results - page 83 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
116
Voted
SODA
2010
ACM
16 years 24 days ago
2010
ACM
We consider the problem of fault-tolerant agreement in a crash-prone synchronous system. We present a new randomized consensus algorithm that achieves optimal communication effici...
133
click to vote
TACAS
1998
Springer
15 years 7 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
125
Voted
AIRS
2006
Springer
15 years 7 months ago
2006
Springer
Document clustering techniques mostly depend on models that impose explicit and/or implicit priori assumptions as to the number, size, disjunction characteristics of clusters, and/...
175
Voted
SPIN
2004
Springer
15 years 8 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
146
Voted
HPDC
2008
IEEE
15 years 3 months ago
2008
IEEE
Basic data flow patterns which we call idioms, such as stream, transpose, reduction, random access and stencil, are common in scientific numerical applications. We hypothesize tha...