Search
Now showing items 131-140 of 290
OpLog: a library for scaling update-heavy data structures
(2014-09-16)
Existing techniques (e.g., RCU) can achieve good multi-core scaling for read-mostly data, but for update-heavy data structures only special-purpose techniques exist. This paper presents OpLog, a general-purpose library ...
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 ...
An Analyst's Assistant for the Interpretation of Vehicle Track Data
(2014-10-08)
This report describes the Analyst's Assistant, a software system for language-interactive, collaborative user-system interpretation of events, specifically targeting vehicle events that can be recognized on the basis of ...
Submodular Secretary Problem and Extensions
(2010-02-01)
Online auction is an essence of many modern markets, particularly networked markets, in which information about goods, agents, and outcomes is revealed over a period of time, and the agents must make irrevocable decisions ...
An Operating System for Multicore and Clouds: Mechanisms and Implementation
(2010-02-08)
Cloud computers and multicore processors are two emerging classes of computational hardware that have the potential to provide unprecedented compute capacity to the average user. In order for the user to effectively harness ...
The Cost of Global Broadcast Using Abstract MAC Layers
(2010-02-09)
We analyze greedy algorithms for broadcasting messages throughout a multi-hop wireless network, using a slot-based model that includes message collisions without collision detection. Our algorithms are split formally into ...
Generalization and Properties of the Neural Response
(2010-11-19)
Hierarchical learning algorithms have enjoyed tremendous growth in recent years, with many new algorithms being proposed and applied to a wide range of applications. However, despite the apparent success of hierarchical ...
A Tree-Based Context Model for Object Recognition
(2010-10-29)
There has been a growing interest in exploiting contextual information in addition to local features to detect and localize multiple object categories in an image. A context model can rule out some unlikely combinations ...
SEEC: A Framework for Self-aware Computing
(2010-10-13)
As the complexity of computing systems increases, application programmers must be experts in their application domain and have the systems knowledge required to address the problems that arise from parallelism, power, ...
A File Location, Replication, and Distribution System for Network Information to Aid Network Management
(2010-09-22)
This thesis demonstrates and evaluates the design, architecture, and implementation of a file location, replication, and distribution system built with the objective of managing information in an Internet network. The ...