960 search results - page 129 / 192 » Distributed Antenna Systems with Randomness |
TACAS
2000
Springer
14 years 1 months ago
2000
Springer
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...
IPPS
2008
IEEE
14 years 4 months ago
2008
IEEE
Evaluation of high performance parallel systems is a delicate issue, due to the difficulty of generating workloads that represent, with fidelity, those that will run on actual sys...
IPPS
2008
IEEE
14 years 4 months ago
2008
IEEE
We investigate a problem of maintaining a target population of mobile agents in a distributed system. The purpose of the agents is to perform certain activities, so the goal is to...
ICDCS
2002
IEEE
14 years 2 months ago
2002
IEEE
Attainment of software performance assurances in open, largely unpredictable environments has recently become an important focus for real-time research. Unlike closed embedded sys...
SPAA
2010
ACM
14 years 2 months ago
2010
ACM
Consider a set of players that are interested in collectively evaluating a set of objects. We develop a collaborative scoring protocol in which each player evaluates a subset of t...