3333 search results - page 634 / 667 » Optimal Power-Down Strategies |
147
click to vote
PODS
2008
ACM
16 years 6 months ago
2008
ACM
We consider a fundamental flow maximization problem that arises during the evaluation of multiple overlapping queries defined on a data stream, in a heterogenous parallel environm...
204
click to vote
MOBIHOC
2003
ACM
16 years 5 months ago
2003
ACM
A central challenge in ad hoc networks is the design of routing protocols that can adapt their behavior to frequent and rapid changes in the network. The performance of proactive ...
160
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
157
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
Queries on major Web search engines produce complex result pages, primarily composed of two types of information: organic results, that is, short descriptions and links to relevan...
186
click to vote
CGO
2010
IEEE
16 years 1 months ago
2010
IEEE
We present a practical and scalable method for flow- and contextsensitive (FSCS) pointer analysis for C programs. Our method analyzes the pointers in a program level by level in ...