1690 search results - page 153 / 338 » Algorithmic Properties of Millstream Systems |
133
click to vote
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
We present MC2 , what we believe to be the first randomized, Monte Carlo algorithm for temporal-logic model checking, the classical problem of deciding whether or not a property s...
125
click to vote
WDAG
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The vast majority of papers on distributed computing assume that processes are assigned unique identifiers before computation begins. But is this assumption necessary? W...
131
Voted
INFOCOM
2003
IEEE
15 years 10 months ago
2003
IEEE
— We propose a new framework for providing robust location detection in emergency response systems, based on the theory of identifying codes. The key idea of this approach is to ...
129
click to vote
CSCW
2000
ACM
15 years 9 months ago
2000
ACM
In real−time collaborative systems, replicated objects, shared by users, are subject to concurrency constraints. In order to satisfy these, various algorithms, qualified as op...
131
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Quantization is intrinsic to several data acquisition systems. This process is especially important in distributed settings, where observations must rst be compressed before they ...