Search
Now showing items 3591-3600 of 4210
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 ...
Examining high level neural representations of cluttered scenes
(2010-07-29)
Humans and other primates can rapidly categorize objects even when they are embedded in complex visual scenes (Thorpe et al., 1996; Fabre-Thorpe et al., 1998). Studies by Serre et al., 2007 have shown that the ability of ...
Language and Compiler Support for Auto-Tuning Variable-Accuracy Algorithms
(2010-07-27)
Approximating ideal program outputs is a common technique for solving computationally difficult problems, for adhering to processing or timing constraints, and for performance optimization in situations where perfect ...
Characteristics of Small Social Networks
(2010-07-27)
Two dozen networks are analyzed using three parameters that attempt to capture important properties of social networks: leadership L, member bonding B, and diversity of expertise D. The first two of these parameters have ...