Search
Now showing items 11-20 of 65
Information Flow for Secure Distributed Applications
(2009-08-27)
Private and confidential information is increasingly stored online and increasingly being exposed due to human errors as well as malicious attacks. Information leaks threaten confidentiality, lead to lawsuits, damage ...
Lightweight Communications and Marshalling for Low-Latency Interprocess Communication
(2009-09-02)
We describe the Lightweight Communications and Marshalling (LCM) library for message passing and data marshalling. The primary goal of LCM is to simplify the development of low-latency message passing systems, targeted at ...
Using Code Perforation to Improve Performance, Reduce Energy Consumption, and Respond to Failures
(2009-09-03)
Many modern computations (such as video and audio encoders, Monte Carlo simulations, and machine learning algorithms) are designed to trade off accuracy in return for increased performance. To date, such computations ...
CG2Real: Improving the Realism of Computer Generated Images using a Large Collection of Photographs
(2009-07-15)
Computer Graphics (CG) has achieved a high level of realism, producing strikingly vivid images. This realism, however, comes at the cost of long and often expensive manual modeling, and most often humans can still distinguish ...
Guaranteed in-order packet delivery using Exclusive Dynamic Virtual Channel Allocation
(2009-08-18)
In-order packet delivery, a critical abstraction for many higher-level protocols, can severely limit the performance potential in low-latency networks (common, for example, in network-on-chip designs with many cores). While ...
AvatarSAT: An Auto-tuning Boolean SAT Solver
(2009-08-26)
We present AvatarSAT, a SAT solver that uses machine-learning classifiers to automatically tune the heuristics of an off-the-shelf SAT solver on a per-instance basis. The classifiers use features of both the input and ...
Application Heartbeats for Software Performance and Health
(2009-08-07)
Adaptive, or self-aware, computing has been proposed as one method to help application programmers confront the growing complexity of multicore software development. However, existing approaches to adaptive systems are ...
ATAC: A Manycore Processor with On-Chip Optical Network
(2009-05-05)
Ever since industry has turned to parallelism instead of frequency scaling to improve processor performance, multicore processors have continued to scale to larger and larger numbers of cores. Some believe that multicores ...
Remote Store Programming: Mechanisms and Performance
(2009-05-05)
This paper presents remote store programming (RSP). This paradigm combines usability and efficiency through the exploitation of a simple hardware mechanism, the remote store, which can easily be added to existing ...
Fragment Grammars: Exploring Computation and Reuse in Language
(2009-03-31)
Language relies on a division of labor between stored units and structure building operations which combine the stored units into larger structures. This division of labor leads to a tradeoff: more structure-building means ...