5005 search results - page 959 / 1001 » The Design and Analysis of Parallel Algorithms |
239
Voted
POPL
2004
ACM
16 years 3 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
185
Voted
MOBIHOC
2005
ACM
16 years 3 months ago
2005
ACM
We consider a wireless sensor network in which sensors are grouped into clusters, each with its own cluster head (CH). Each CH collects data from sensors in its cluster and relays...
133
click to vote
MOBIHOC
2005
ACM
16 years 3 months ago
2005
ACM
This paper proposes a location service to assist location-based routing protocols, realized through a novel Associativity-Based clustering protocol. The main goal of our scheme, w...
126
Voted
SOSP
2007
ACM
16 years 8 days ago
2007
ACM
Attackers exploit software vulnerabilities to control or crash programs. Bouncer uses existing software instrumentation techniques to detect attacks and it generates filters auto...
126
click to vote
DSN
2008
IEEE
15 years 9 months ago
2008
IEEE
Quorums are a basic construct in solving many fundamental distributed computing problems. One of the known ways of making quorums scalable and efficient is by weakening their int...