Search
Now showing items 191-198 of 198
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 ...
The Fourier transform for certain hyperKähler fourfolds
(American Mathematical SocietyThe Fourier transform for certain hyperKähler fourfolds, 2015-11-18)
Using a codimension-1 algebraic cycle obtained from the Poincar e line bundle, Beauville de ned the Fourier transform on the Chow groups of an abelian variety A and showed that the Fourier transform induces a decomposition ...