2468 search results - page 269 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
125
click to vote
WSC
1998
15 years 5 months ago
1998
Bootstrapping is a resampling technique that requires less computer time than simulation does. Bootstrapping -like simulation-must be defined for each type of application. This pa...
136
click to vote
PODC
2004
ACM
15 years 9 months ago
2004
ACM
We propose a framework to translate certain subclasses of differential equation systems into distributed protocols that are practical. The synthesized protocols are state machine...
127
click to vote
FGCS
2000
15 years 4 months ago
2000
With a heavy emphasis on distribution and reuse, web-based simulation portends a dramatic shift in the application of simulation as a problem-solving technique and decision-suppor...
129
click to vote
DCC
2010
IEEE
15 years 9 months ago
2010
IEEE
This paper interprets image interpolation as a channel decoding problem and proposes a tanner graph based interpolation framework, which regards each pixel in an image as a variab...
174
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
In this paper, we derive concentration of measure inequalities for compressive Toeplitz matrices (having fewer rows than columns) with entries drawn from an independent and identic...