Search
Now showing items 11-20 of 290
LEAP Scratchpads: Automatic Memory and Cache Management for Reconfigurable Logic [Extended Version]
(2010-11-23)
Developers accelerating applications on FPGAs or other reconfigurable logic have nothing but raw memory devices in their standard toolkits. Each project typically includes tedious development of single-use memory management. ...
Scalable directoryless shared memory coherence using execution migration
(2010-11-22)
We introduce the concept of deadlock-free migration-based coherent shared memory to the NUCA family of architectures. Migration-based architectures move threads among cores to guarantee sequential semantics in large ...
One-Shot Learning with a Hierarchical Nonparametric Bayesian Model
(2010-10-13)
We develop a hierarchical Bayesian model that learns to learn categories from single training examples. The model transfers acquired knowledge from previously learned categories to a novel category, in the form of a prior ...
Verification of Semantic Commutativity Conditions and Inverse Operations on Linked Data Structures
(2010-12-03)
Commuting operations play a critical role in many parallel computing systems. We present a new technique for verifying commutativity conditions, which are logical formulas that characterize when operations commute. Because ...
From primal templates to invariant recognition
(2010-12-04)
We can immediately recognize novel objects seen only once before -- in different positions on the retina and at different scales (distances). Is this ability hardwired by our genes or learned during development -- and ...
Conservative Rationalizability and The Second-Knowledge Mechanism
(2010-12-20)
In mechanism design, the traditional way of modeling the players' incomplete information about their opponents is "assuming a Bayesian." This assumption, however, is very strong and does not hold in many real applications. ...
Conservative-Bayesian Mechanism Design
(2010-12-20)
Classical Bayesian mechanism design is "centralized," that is, the designer is assumed to know the distribution D from which the players' type profile has been drawn. We instead investigate a very "decentralized" Bayesian ...
MOOS-IvP Autonomy Tools Users Manual Release 4.2.1
(2011-07-28)
This document describes 19 MOOS-IvP autonomy tools. uHelmScope provides a run-time scoping window into the state of an active IvP Helm executing its mission. pMarineViewer is a geo-based GUI tool for rendering marine ...
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 ...
A hypothesis-based algorithm for planning and control in non-Gaussian belief spaces
(2011-08-27)
We consider the partially observable control problem where it is potentially necessary to perform complex information-gathering operations in order to localize state. One approach to solving these problems is to create ...