5608 search results - page 1070 / 1122 » On the Theory of Matchgate Computations |
172
click to vote
INFOCOM
2007
IEEE
16 years 14 days ago
2007
IEEE
Abstract—We analyze the performance limits of data dissemination with multi-channel, single radio sensors. We formulate the problem of minimizing the average delay of data dissem...
157
click to vote
QEST
2007
IEEE
16 years 13 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
155
click to vote
RTCSA
2007
IEEE
16 years 13 days ago
2007
IEEE
A task that suspends itself to wait for an I/O completion or to wait for an event from another node in distributed environments is called an I/O blocking task. In conventional har...
176
click to vote
TPHOL
2007
IEEE
16 years 13 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
176
click to vote
ATAL
2007
Springer
16 years 10 days ago
2007
Springer
Distributed Partially Observable Markov Decision Problems (Distributed POMDPs) are a popular approach for modeling multi-agent systems acting in uncertain domains. Given the signi...