3820 search results - page 467 / 764 » Bounded Model Debugging |
119
Voted
WADS
2007
Springer
15 years 9 months ago
2007
Springer
In the faulty-memory RAM model, the content of memory cells can get corrupted at any time during the execution of an algorithm, and a constant number of uncorruptible registers are...
152
Voted
FOCS
2006
IEEE
15 years 9 months ago
2006
IEEE
We extend the binary search technique to searching in trees. We consider two models of queries: questions about vertices and questions about edges. We present a general approach t...
122
Voted
ICDCS
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper studies compact routing schemes for networks with low doubling dimension. Two variants are explored, name-independent routing and labeled routing. The key results obtai...
147
Voted
LCN
2006
IEEE
15 years 9 months ago
2006
IEEE
Infostations provide an inexpensive and high speed wireless disseminator that features discontinuous coverage by bounding many low cost, limited transmission range and high-bandwi...
119
Voted
ICNP
2005
IEEE
15 years 9 months ago
2005
IEEE
By allowing end hosts to make routing decisions at the application level, different overlay networks may unintentionally interfere with each other. This paper describes how multip...