2656 search results - page 487 / 532 » Design and analysis of algorithms reconsidered |
188
click to vote
POPL
2004
ACM
16 years 3 days 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...
152
click to vote
MOBIHOC
2005
ACM
15 years 11 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...
101
click to vote
MOBIHOC
2005
ACM
15 years 11 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...
ICCAD
2001
IEEE
15 years 8 months ago
2001
IEEE
The use of nanometer technologies is making it increasingly important to consider transient characteristics of a circuit’s power dissipation (e.g., peak power, and power gradien...
SOSP
2007
ACM
15 years 8 months 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...