2468 search results - page 180 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
109
click to vote
KI
2009
Springer
15 years 10 months ago
2009
Springer
This paper presents a sequential state estimation method with arbitrary probabilistic models expressing the system’s belief. Probabilistic models can be estimated by Maximum a po...
146
Voted
HPCC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Checkpointing techniques are usually used to secure the execution of sequential and parallel programs. However, they can also be used in order to generate automatically a...
140
click to vote
APPINF
2003
15 years 5 months ago
2003
This paper presents a new technique of recovery for object-based Distributed Shared Memory (DSM) systems. The new technique, integrated with a coherence protocol for atomic consis...
133
click to vote
SSD
2007
Springer
15 years 10 months ago
2007
Springer
In many modern applications such as biometric identification systems, sensor networks, medical imaging, geology, and multimedia databases, the data objects are not described exact...
147
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
—In the analysis of large random wireless networks, the underlying node distribution is almost ubiquitously assumed to be the homogeneous Poisson point process. In this paper, th...