963 search results - page 158 / 193 » Escape Analysis on Lists |
190
Voted
IPSN
2007
Springer
16 years 7 days ago
2007
Springer
In this paper we propose a lightweight algorithm for constructing multi-resolution data representations for sensor networks. We compute, at each sensor node u, O(log n) aggregates...
176
click to vote
ICDM
2006
IEEE
16 years 4 days ago
2006
IEEE
Due to their capability for expressing semantics and relationships among data objects, semi-structured documents have become a common way of representing domain knowledge. Compari...
164
click to vote
APLAS
2006
ACM
16 years 2 days ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
163
click to vote
CASES
2006
ACM
16 years 1 days ago
2006
ACM
The architectural design of embedded systems is becoming increasingly idiosyncratic to meet varying constraints regarding energy consumption, code size, and execution time. Tradit...
159
click to vote
COMPGEOM
2006
ACM
16 years 1 days ago
2006
ACM
We study the problem of covering a set of points or polyhedra in 3 with two axis-aligned boxes in order to minimize a function of the measures of the two boxes, such as the sum or...