28962 search results - page 5506 / 5793 » Computational Mechanism Design |
167
click to vote
IPPS
2006
IEEE
16 years 22 days ago
2006
IEEE
Traditional code optimizers have produced significant performance improvements over the past forty years. While promising avenues of research still exist, traditional static and p...
201
click to vote
IPPS
2006
IEEE
16 years 22 days ago
2006
IEEE
Modern network processors support high levels of parallelism in packet processing by supporting multiple threads that execute on a micro-engine. Threads switch context upon encoun...
169
click to vote
SUTC
2006
IEEE
16 years 21 days ago
2006
IEEE
- In this paper, we describe a group key management protocol for hierarchical sensor networks where instead of using pre-deployed keys, each sensor node generates a partial key dyn...
230
click to vote
ACL2
2006
ACM
16 years 20 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
206
click to vote
ACMACE
2006
ACM
16 years 20 days ago
2006
ACM
Future digital entertainment services available to home users will share several characteristics: i) they will be deployed and delivered through the Internet, ii) a single media c...