Search
Now showing items 21-30 of 72
Resilient Provision of a Public Good
(2008-12-02)
We present two resilient mechanisms for the provision of a public good. Both mechanisms adopt a knowledge-based benchmark.
Composable Probabilistic Inference with Blaise
(2008-07-23)
Probabilistic inference provides a unified, systematic framework for specifying and solving these problems. Recent work has demonstrated the great value of probabilistic models defined over complex, structured domains. ...
Knowledge Benchmarks in Adversarial Mechanism Design (Part I) and Implementation in Surviving Strategies (Part I)
(2008-07)
We put forward new benchmarks and solution concepts for Adversarial Mechanism Design, as defined by [MV07.a], and we exemplify them in the case of truly combinatorial auctions.We benchmark the combined performance (the sum ...
Knowledge Benchmarks in Adversarial Mechanism Design and Implementation in Surviving Strategies (Part I)
(2008-06)
We put forward new benchmarks and solution concepts for Adversarial Mechanism Design, as defined by [MV07.a], and we exemplify them in the case of truly combinatorial auctions.We benchmark the combined performance (the sum ...
Detecting and Tolerating Byzantine Faults in Database Systems
(2008-06-30)
This thesis describes the design, implementation, and evaluation of a replication scheme to handle Byzantine faults in transaction processing database systems. The scheme compares answers from queries and updates on multiple ...
Flexible MIPS Soft Processor Architecture
(2008-06-16)
The flexible MIPS soft processor architecture borrows selected technologies from high-performance computing to deliver a modular, highly customizable CPU targeted towards FPGA implementations for embedded systems; the ...
A Distributed Building Evacuation System
(2008-07-14)
This thesis investigates the feasibility of a smart building evacuation system, capable of guiding occupants along safe paths to exits and responding to changing threats. Inspired by developments in amorphous computing, ...
Energy Scalability of On-Chip Interconnection Networks in Multicore Architectures
(2008-11-11)
On-chip interconnection networks (OCNs) such as point-to-point networks and buses form the communication backbone in systems-on-a-chip, multicore processors, and tiled processors. OCNs can consume significant portions of ...
New Resiliency in Truly Combinatorial Auctions (and Implementation in Surviving Strategies)
(2008-10-08)
Following Micali and Valiant [MV07.a], a mechanism is resilient if it achieves its objective without any problem of (1) equilibrium selection and (2) player collusion. To advance resilient mechanism design,We put forward ...