Search
Now showing items 51-60 of 295
SEEC: A Framework for Self-aware Computing
(2010-10-13)
As the complexity of computing systems increases, application programmers must be experts in their application domain and have the systems knowledge required to address the problems that arise from parallelism, power, ...
Library Cache Coherence
(2011-05-02)
Directory-based cache coherence is a popular mechanism for chip multiprocessors and multicores. The directory protocol, however, requires multicast for invalidation messages and the collection of acknowledgement messages, ...
Jigsaw: Scalable Software-Defined Caches (Extended Version)
(2013-09-01)
Shared last-level caches, widely used in chip-multiprocessors (CMPs), face two fundamental limitations. First, the latency and energy of shared caches degrade as the system scales up. Second, when multiple workloads share ...
Optimal Parametric Auctions
(2012-05-08)
We study the problem of profit maximization in auctions of one good where the buyers' valuations are drawn from independent distributions. When these distributions are known to the seller, Myerson's optimal auction is a ...
Nonparametric Sparsity and Regularization
(2011-09-26)
In this work we are interested in the problems of supervised learning and variable selection when the input-output dependence is described by a nonlinear function depending on a few variables. Our goal is to consider a ...
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.
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 ...
The Tensor Algebra Compiler
(2017-02-17)
Tensor and linear algebra is pervasive in data analytics and the physical sciences. Often the tensors, matrices or even vectors are sparse. Computing expressions involving a mix of sparse and dense tensors, matrices and ...
An Overview of MOOS-IvP and a Users Guide to the IvP Helm - Release 4.2.1
(2011-08-03)
This document describes the IvP Helm - an Open Source behavior-based autonomy application for unmanned vehicles. IvP is short for interval programming - a technique for representing and solving multi-objective optimizations ...
SoftCast: Clean-slate Scalable Wireless Video
(2011-02-15)
Video broadcast and mobile video challenge the conventional wireless design. In broadcast and mobile scenarios the bit rate supported by the channel differs across receivers and varies quickly over time. The conventional ...