2468 search results - page 273 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
115
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— This work deals with a group of mobile sensors sampling a spatiotemporal random field whose mean is unknown and covariance is known up to a scaling parameter. The Bayesian pos...
149
click to vote
ECRTS
2004
IEEE
15 years 8 months ago
2004
IEEE
The contribution of this paper is threefold. First, an improvement to a previously published paper on the timing analysis of Controller Area Network (CAN) in the presence of trans...
117
click to vote
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
We study recent developments in quantum computing (QC) testing and fault tolerance (FT) techniques and discuss several attempts to formalize quantum logic fault models. We illustr...
171
click to vote
ASPDAC
2008
ACM
15 years 6 months ago
2008
ACM
In the nanometer manufacturing region, process variation causes significant uncertainty for circuit performance verification. Statistical static timing analysis (SSTA) is thus dev...
197
click to vote
BIOWIRE
2007
Springer
15 years 10 months ago
2007
Springer
Epidemics-inspired techniques have received huge attention in recent years from the distributed systems and networking communities. These algorithms and protocols rely on probabili...