Search
Now showing items 1371-1380 of 1850
3D Tracking via Body Radio Reflections
(2013-12-11)
This paper introduces WiTrack, a system that tracks the 3D motion of a user from the radio signals reflected off her body. It works even if the person is occluded from the WiTrack device or in a different room. WiTrack ...
GenBase: A Complex Analytics Genomics Benchmark
(2013-11-19)
This paper introduces a new benchmark, designed to test database management system (DBMS) performance on a mix of data management tasks (joins, filters, etc.) and complex analytics (regression, singular value decomposition, ...
Asynchronous Failure Detectors
(2013-10-10)
Failure detectors -- oracles that provide information about process crashes -- are an important abstraction for crash tolerance in distributed systems. The generality of failure-detector theory, while providing great ...
OpenTuner: An Extensible Framework for Program Autotuning
(2013-11-01)
Program autotuning has been shown to achieve better or more portable performance in a number of domains. However, autotuners themselves are rarely portable between projects, for a number of reasons: using a domain-informed ...
Reliability-Aware Optimization of Approximate Computational Kernels with Rely
(2014-01-09)
Emerging high-performance architectures are anticipated to contain unreliable components (e.g., ALUs) that offer low power consumption at the expense of soft errors. Some applications (such as multimedia processing, machine ...
Synthesis of Randomized Accuracy-Aware Map-Fold Programs
(2013-12-29)
We present Syndy, a technique for automatically synthesizing randomized map/fold computations that trade accuracy for performance. Given a specification of a fully accurate computation, Syndy automatically synthesizes ...
On Randomized Path Coverage of Configuration Spaces
(2013-11-18)
We present a sampling-based algorithm that generates a set of locally-optimal paths that differ in visibility.
Bridging Utility Maximization and Regret Minimization
(2013-12-03)
We relate the strategies obtained by (1) utility maximizers who use regret to refine their set of undominated strategies, and (2) regret minimizers who use weak domination to refine their sets of regret-minimizing strategies.
Motion Compatibility for Indoor Localization
(2014-08-26)
Indoor localization -- a device's ability to determine its location within an extended indoor environment -- is a fundamental enabling capability for mobile context-aware applications. Many proposed applications assume ...
Alloy*: A Higher-Order Relational Constraint Solver
(2014-09-02)
The last decade has seen a dramatic growth in the use of constraint solvers as a computational mechanism, not only for analysis and synthesis of software, but also at runtime. Solvers are available for a variety of logics ...