Search
Now showing items 191-200 of 295
Approximations in the HMAX Model
(2011-04-14)
The HMAX model is a biologically motivated architecture for computer vision whose components are in close agreement with existing physiological evidence. The model is capable of achieving close to human level performance ...
Automatic Input Rectification
(MIT CSAIL, 2011-10-03)
We present a novel technique, automatic input rectification, and a prototype implementation called SOAP. SOAP learns a set of constraints characterizing typical inputs that an application is highly likely to process ...
From Formal Methods to Executable Code
(2012-08-27)
The objective of this work is the derivation of software that is verifiably correct. Our approach is to abstract system specifications and model these in a formal framework called Timed Input/Output Automata, which provides ...
BigBand: GHz-Wide Sensing and Decoding on Commodity Radios
(2013-05-22)
The goal of this paper is to make sensing and decoding GHz of spectrum simple, cheap, and low power. Our thesis is simple: if we can build a technology that captures GHz of spectrum using commodity Wi-Fi radios, it will ...
A Publish-Subscribe Implementation of Network Management
(2013-06-04)
As modern networks become highly integrated, heterogeneous, and experience exponential growth, the task of network management becomes increasingly unmanageable for network administrators and designers. The Knowledge Plane ...
OpenTuner: An Extensible Framework for Program Autotuning
(2013-11-01)
Program autotuning has been shown to achieve better or more portable performance in a number of domains. However, autotuners themselves are rarely portable between projects, for a number of reasons: using a domain-informed ...
Dynamic Input/Output Automata: a Formal and Compositional Model for Dynamic Systems
(2013-07-08)
We present dynamic I/O automata (DIOA), a compositional model of dynamic systems, based on I/O automata. In our model, automata can be created and destroyed dynamically, as computation proceeds. In addition, an automaton ...
Coded Emulation of Shared Atomic Memory for Message Passing Architectures
(2013-07-17)
This paper considers the communication and storage costs of emulating atomic (linearizable) read/write shared memory in distributed message-passing systems. We analyze the costs of previously-proposed algorithms by Attiya, ...
Decoupled Sampling for Real-Time Graphics Pipelines
(2010-03-29)
We propose decoupled sampling, an approach that decouples shading from visibility sampling in order to enable motion blur and depth-of-field at reduced cost. More generally, it enables extensions of modern real-time graphics ...
Constraint Generation for the Jeeves Privacy Language
(2014-10-01)
Our goal is to present a completed, semantic formalization of the Jeeves privacy language evaluation engine, based on the original Jeeves constraint semantics defined by Yang et al at POPL12, but sufficiently strong to ...