Search
Now showing items 121-130 of 136
Coherent Reaction
(2009-06-12)
Side effects are both the essence and bane of imperative programming. The programmer must carefully coordinate actions to manage their side effects upon each other. Such coordination is complex, error-prone, and fragile. ...
Gradient Clock Synchronization in Dynamic Networks
(2009-05-29)
Over the last years, large-scale decentralized computer networks such as peer-to-peer and mobile ad hoc networks have become increasingly prevalent. The topologies of many of these networks are often highly dynamic. This ...
The Abstract MAC Layer
(2009-05-11)
A diversity of possible communication assumptions complicates the study of algorithms and lower bounds for radio networks. We address this problem by defining an Abstract MAC Layer. This service provides reliable local ...
Scene Classification with a Biologically Inspired Method
(2009-05-10)
We present a biologically motivated method for scene image classification. The core of the method is to use shape based image property that is provided by a hierarchical feedforward model of the visual cortex [18]. Edge ...
Sepia: a Framework for Natural Language Semantics
(2009-05-28)
To help explore linguistic semantics in the context of computational natural language understanding, Sepia provides a realization the central theoretical idea of categorial grammar: linking words and phrases to compositional ...
Simple LCD Transmitter Camera Receiver Data Link
(2009-06-15)
We demonstrate a freespace optical system using a consumer camera and projector in indoor environments using available devices for visual computing. Through design, prototype and experimentation with this commodity hardware, ...
Modeling Radio Networks
(2009-06-04)
We describe a modeling framework and collection of foundational composition results for the study of probabilistic distributed algorithms in synchronous radio networks. Existing results in this setting rely on informal ...
Propagation Networks: A Flexible and Expressive Substrate for Computation
(2009-11-03)
I propose a shift in the foundations of computation. Practically all ideas of general-purpose computation today are founded either on execution of sequences of atomic instructions, i.e., assembly languages, or on evaluation ...
A Unified Operating System for Clouds and Manycore: fos
(2009-11-20)
Single chip processors with thousands of cores will be available in the next ten years and clouds of multicore processors afford the operating system designer thousands of cores today. Constructing operating systems for ...
Distributed Computation in Dynamic Networks
(2009-11-10)
In this report we investigate distributed computation in dynamic networks in which the network topology changes from round to round. We consider a worst-case model in which the communication links for each round are chosen ...