2468 search results - page 256 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
141
click to vote
STOC
1995
ACM
15 years 8 months ago
1995
ACM
This paper contributes tothe study of nonlinear dynamical systems from a computational perspective. These systems are inherently more powerful than their linear counterparts (such...
123
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
153
click to vote
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
Constraining and input biasing are frequently used techniques in functional verification methodologies based on randomized simulation generation. Constraints confine the simulatio...
135
click to vote
BMVC
2010
15 years 2 months ago
2010
RANSAC (Random Sample Consensus) is a popular and effective technique for estimating model parameters in the presence of outliers. Efficient algorithms are necessary for both fram...
126
click to vote
ERLANG
2008
ACM
15 years 6 months ago
2008
ACM
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...