Search
Now showing items 111-120 of 146
Bridging Utility Maximization and Regret Minimization
(2013-12-03)
We relate the strategies obtained by (1) utility maximizers who use regret to refine their set of undominated strategies, and (2) regret minimizers who use weak domination to refine their sets of regret-minimizing strategies.
Jigsaw: Scalable Software-Defined Caches (Extended Version)
(2013-09-01)
Shared last-level caches, widely used in chip-multiprocessors (CMPs), face two fundamental limitations. First, the latency and energy of shared caches degrade as the system scales up. Second, when multiple workloads share ...
Does invariant recognition predict tuning of neurons in sensory cortex?
(2013-08-06)
Tuning properties of simple cells in cortical V1 can be described in terms of a "universal shape" characterized by parameter values which hold across different species. This puzzling set of findings begs for a general ...
Sound Input Filter Generation for Integer Overflow Errors
(2013-08-06)
We present a system, SIFT, for generating input filters that nullify integer overflow errors associated with critical program sites such as memory allocation or block copy sites. SIFT uses a static program analysis to ...
Harvesting Application Information for Industry-Scale Relational Schema Matching
(2013-09-10)
Consider the problem of migrating a company's CRM or ERP database from one application to another, or integrating two such databases as a result of a merger. This problem requires matching two large relational schemas with ...
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, ...
Mouse Behavior Recognition with The Wisdom of Crowd
(2013-09-19)
In this thesis, we designed and implemented a crowdsourcing system to annotatemouse behaviors in videos; this involves the development of a novel clip-based video labeling tools, that is more efficient than traditional ...
Distributed Shared State with History Maintenance
(2013-10-08)
Shared mutable state is challenging to maintain in a distributed environment. We develop a technique, based on the Operational Transform, that guides independent agents into producing consistent states through inconsistent ...
Conceptual Design of Software: A Research Agenda
(2013-08-08)
A research agenda in software design is outlined, focusing on the role of concepts. The notions of concepts as "abstract affordances" and of conceptual integrity are discussed, and a series of small examples of conceptual ...
Optimal Bidirectional Rapidly-Exploring Random Trees
(2013-08-15)
In this paper we present a simple, computationally-efficient, two-tree variant of the RRT* algorithm along with several heuristics.