Search
Now showing items 71-80 of 136
Extending a MOOS-IvP Autonomy System and Users Guide to the IvPBuild Toolbox
(2009-08-20)
This document describes how to extend the suite of MOOS applications and IvP Helm behaviors distributed with the MOOS-IvP software bundle from www.moos-ivp.org. It covers (a) a straw-man repository with a place-holder MOOS ...
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 ...
Force-extension of the Amylose Polysaccharide
(2009)
Myasthenia gravis (MG) is an autoimmune disorder in which auto-antibodies directed at the acetylcholine receptors (AChR) of the neuromuscular junction (NMJ) block, alter or destroy their targets. The anti-AChR antibodies ...
Computational modeling of the EGFR network elucidates control mechanisms regulating signal dynamics
(2009-12-22)
Abstract Background The epidermal growth factor receptor (EGFR) signaling pathway plays a key role in regulation of cellular growth and development. While highly studied, it is still not fully understood how the signal is ...