6939 search results - page 1242 / 1388 » Algorithm Engineering for Parallel Computation |
129
click to vote
PODC
2010
ACM
15 years 7 months ago
2010
ACM
A token is hidden in one of several boxes and then the boxes are locked. The probability of placing the token in each of the boxes is known. A searcher is looking for the token by...
156
click to vote
CLADE
2004
IEEE
15 years 7 months ago
2004
IEEE
Different schemes for large scale networks hosting distributed applications have been recently adopted for network path marking based on adaptive behavior of swarm-based agents. T...
126
click to vote
CONCUR
2006
Springer
15 years 6 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
153
click to vote
DCOSS
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we study the fundamental limits of a wireless sensor network's lifetime under connectivity and k-coverage constraints. We consider a wireless sensor network wit...
136
click to vote
DAC
2008
ACM
15 years 5 months ago
2008
ACM
The problem attacked in this paper is one of automatically mapping an application onto a Network-on-Chip (NoC) based chip multiprocessor (CMP) architecture in a locality-aware fas...