2468 search results - page 28 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
133
click to vote
STOC
1998
ACM
15 years 7 months ago
1998
ACM
We present a Monte Carlo algorithm for testing multivariate polynomial identities over any field using fewer random bits than other methods. To test if a polynomial P(x1 ::: xn) ...
119
click to vote
QEST
2009
IEEE
15 years 9 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
110
click to vote
DC
2007
15 years 3 months ago
2007
We present a randomizedself-stabilizing leaderelection protocol and a randomizedself-stabilizing token circulation protocol under an arbitrary scheduler on anonymous and unidirect...
138
click to vote
SIGMETRICS
2008
ACM
15 years 3 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
126
click to vote
IJAIT
2007
15 years 3 months ago
2007
In document retrieval task, random projection (RP) is a useful technique of dimension reduction. It can be obtained very quickly yet the recalculation is not necessary to any chang...