page 59930 / 60054 » publications |
128
click to vote
ICFP
2012
ACM
13 years 2 months ago
2012
ACM
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...
236
click to vote
ICFP
2012
ACM
13 years 2 months ago
2012
ACM
Graphics processing units (GPUs) provide both memory bandwidth and arithmetic performance far greater than that available on CPUs but, because of their Single-Instruction-Multiple...
127
click to vote
SIAMCOMP
2012
13 years 2 months ago
2012
We consider online algorithms for the generalized caching problem. Here we are given a cache of size k and pages with arbitrary sizes and fetching costs. Given a request sequence ...
106
click to vote
TMC
2012
13 years 2 months ago
2012
—This work addresses the fundamental problem of distinguishing between a driver and passenger using a mobile phone, which is the critical input to enable numerous safety and inte...
121
click to vote
TMC
2012
13 years 2 months ago
2012
WiFi interface is known to be a primary energy consumer in mobile devices, and idle listening (IL) is the dominant source of energy consumption in WiFi. Most existing protocols, s...