Browsing CSAIL Technical Reports (July 1, 2003 - present) by Title
Now showing items 650-669 of 775
-
Sloth: Being Lazy is a Virtue (When Issuing Database Queries)
(2014-04-14)Many web applications store persistent data in databases. During execution, such applications spend a significant amount of time communicating with the database for retrieval and storing of persistent data over the network. ... -
Smartlocks: Self-Aware Synchronization through Lock Acquisition Scheduling
(2009-11-09)As multicore processors become increasingly prevalent, system complexity is skyrocketing. The advent of the asymmetric multicore compounds this -- it is no longer practical for an average programmer to balance the system ... -
A Social-Welfare Optimal Probabilistic Mechanism for Knightian Single-Good Auctions
(2012-09-07)We provide an optimal probabilistic mechanism for maximizing social welfare in single-good auctions when each player does not know his true valuation for the good, but only a set of valuations that is guaranteed to include ... -
SoftCast: Clean-slate Scalable Wireless Video
(2011-02-15)Video broadcast and mobile video challenge the conventional wireless design. In broadcast and mobile scenarios the bit rate supported by the channel differs across receivers and varies quickly over time. The conventional ... -
SoftCast: One Video to Serve All Wireless Receivers
(2009-02-07)The main challenge in wireless video multicast is to scalably serve multiple receivers who have different channel characteristics. Current wireless transmission schemes, however, cannot support smooth degradation. Specifically, ... -
The SoftPHY Abstraction: from Packets to Symbols in Wireless Network Design
(2008-06-03)At ever-increasing rates, we are using wireless systems to communicatewith others and retrieve content of interest to us. Current wirelesstechnologies such as WiFi or Zigbee use forward error correction todrive bit error ... -
A Software Approach to Unifying Multicore Caches
(2011-06-28)Multicore chips will have large amounts of fast on-chip cache memory, along with relatively slow DRAM interfaces. The on-chip cache memory, however, will be fragmented and spread over the chip; this distributed arrangement ... -
Some Properties of Empirical Risk Minimization over Donsker Classes
(2005-05-17)We study properties of algorithms which minimize (or almost minimize) empirical error over a Donsker class of functions. We show that the L2-diameter of the set of almost-minimizers is converging to zero in probability. ... -
Sound and Complete Runtime Security Monitor for Application Software
(2016-12-15)We present a run-time security monitor that detects both known and unknown cyber attacks by checking that the run-time behavior of the application is consistent with the expected behavior modeled by an application ... -
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 ... -
Sparse recovery using sparse matrices
(2008-01-10)We consider the approximate sparse recovery problem, where the goal is to (approximately) recover a high-dimensional vector x from its lower-dimensional sketch Ax. A popular way of performing this recovery is by finding ... -
Spatial and Temporal Abstractions in POMDPs Applied to Robot Navigation
(2005-09-27)Partially observable Markov decision processes (POMDPs) are a well studied paradigm for programming autonomous robots, where the robot sequentially chooses actions to achieve long term goals efficiently. Unfortunately, ... -
Spectral Alignment of Networks
(2015-02-18)Network alignment refers to the problem of finding a bijective mapping across vertices of two or more graphs to maximize the number of overlapping edges and/or to minimize the number of mismatched interactions across ... -
Speranza: Usable, privacy-friendly software signing
(2023-09-19)Software repositories, used for wide-scale open software distribu- tion, are a significant vector for security attacks. Software signing provides authenticity, mitigating many such attacks. Developer- managed signing keys ... -
Stable Policy Routing with Provider Independence
(2005-02-08)Thousands of competing autonomous systems (ASes) mustcooperate with each other to provide global Internet connectivity.These ASes encode various economic, business,and performance decisions in their routing policies. The ... -
Staged Program Repair in SPR
(2015-03-11)We present SPR, a new program repair system that uses condition synthesis to instantiate transformation schemas to repair program defects. SPR s staged repair strategy combines a rich space of potential repairs with a ... -
Stateful Anycast for DDoS Mitigation
(2007-06-21)Distributed denial-of-service (DDoS) attacks can easily cripple victim hosts or networks, yet effective defenses remain elusive. Normal anycast can be used to force the diffusion of attack traffic over a group of several ... -
Stochastic Combinatorial Optimization with Risk
(2008-09-13)We consider general combinatorial optimization problems that can be formulated as minimizing the weight of a feasible solution wT x over an arbitrary feasible set. For these problems we describe a broad class of corresponding ... -
Stochastic Digital Circuits for Probabilistic Inference
(2008-11-24)We introduce combinational stochastic logic, an abstraction that generalizes deterministic digital circuit design (based on Boolean logic gates) to the probabilistic setting. We show how this logic can be combined with ... -
Structuring Unreliable Radio Networks
(2011-12-22)In this paper we study the problem of building a connected dominating set with constant degree (CCDS) in the dual graph radio network model. This model includes two types of links: reliable links, which always deliver ...
