197 search results - page 6 / 40 » Undecidability Results for Distributed Probabilistic Systems |
FOSSACS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...
118
click to vote
SAB
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper, we review methods used for macroscopic modeling and analyzing collective behavior of swarm robotic systems. Although the behavior of an individual robot in...
PDP
2006
IEEE
15 years 5 months ago
2006
IEEE
Production grids have a potential for parallel execution of a very large number of tasks but also introduce a high overhead that significantly impacts the execution of short task...
CAV
2010
Springer
15 years 2 months ago
2010
Springer
Often one has a preference order among the different systems that satisfy a given specification. Under a probabilistic assumption about the possible inputs, such a preference order...
CASES
2006
ACM
15 years 3 months ago
2006
ACM
Probabilistic arithmetic, where the ith output bit of addition and multiplication is correct with a probability pi, is shown to be a vehicle for realizing extremely energy-efficie...