Search
Now showing items 211-220 of 221
Dynamic Prefetching of Data Tiles for Interactive Visualization
(2015-10-19)
In this paper, we present ForeCache, a general-purpose tool for exploratory browsing of large datasets. ForeCache utilizes a client-server architecture, where the user interacts with a lightweight client-side interface to ...
Network Maximal Correlation
(2015-09-21)
Identifying nonlinear relationships in large datasets is a daunting task particularly when the form of the nonlinearity is unknown. Here, we introduce Network Maximal Correlation (NMC) as a fundamental measure to capture ...
Designing a Context-Sensitive Context Detection Service for Mobile Devices
(2015-09-24)
This paper describes the design, implementation, and evaluation of Amoeba, a context-sensitive context detection service for mobile devices. Amoeba exports an API that allows a client to express interest in one or more ...
PhD Thesis Proposal: Human-Machine Collaborative Optimization via Apprenticeship Scheduling
(2015-07-02)
Resource optimization in health care, manufacturing, and military operations requires the careful choreography of people and equipment to effectively fulfill the responsibilities of the profession. However, resource ...
Representation Discovery for Kernel-Based Reinforcement Learning
(2015-11-24)
Recent years have seen increased interest in non-parametric reinforcement learning. There are now practical kernel-based algorithms for approximating value functions; however, kernel regression requires that the underlying ...
Prophet: Automatic Patch Generation via Learning from Successful Patches
(2015-07-13)
We present Prophet, a novel patch generation system that learns a probabilistic model over candidate patches from a database of past successful patches. Prophet defines the probabilistic model as the combination of a ...
Jenga: Harnessing Heterogeneous Memories through Reconfigurable Cache Hierarchies
(2015-12-19)
Conventional memory systems are organized as a rigid hierarchy, with multiple levels of progressively larger and slower memories. Hierarchy allows a simple, fixed design to benefit a wide range of applications, because ...
Bridging Theory and Practice in Cache Replacement
(2015-12-19)
Much prior work has studied processor cache replacement policies, but a large gap remains between theory and practice. The optimal policy (MIN) requires unobtainable knowledge of the future, and prior theoretically-grounded ...
Cache Calculus: Modeling Caches through Differential Equations
(2015-12-19)
Caches are critical to performance, yet their behavior is hard to understand and model. In particular, prior work does not provide closed-form solutions of cache performance, i.e. simple expressions for the miss rate of a ...
Filtered Iterators For Safe and Robust Programs in RIFL
(2015-12-27)
We present a new language construct, filtered iterators, for safe and robust input processing. Filtered iterators are designed to eliminate many common input-processing errors while enabling robust continued execution. The ...