Sciweavers

5623 search results - page 370 / 1125
» Incremental Mechanism Design
Sort
View
COMSIS
2010
15 years 4 months ago
Modeling and simulation of a spherical mobile robot
Spherical mobile robot (SMR) has been studied analytically and experimentally in this paper, a novel design with an internal propulsion mechanism and mathematical models of the rob...
Shengju Sang, Jichao Zhao, Hao Wu, Shoujun Chen, Q...
CORR
2010
Springer
128views Education» more  CORR 2010»
15 years 4 months ago
Optimal Auctions with Correlated Bidders are Easy
We consider the problem of designing a revenue-maximizing auction for a single item, when the values of the bidders are drawn from a correlated distribution. We observe that there...
Shahar Dobzinski, Hu Fu, Robert Kleinberg
SAC
2011
ACM
14 years 9 months ago
Fault tolerance evaluation and schedulability analysis
The use of real-time systems can differ from their initial design and requirements. New missions may take place in a more agressive environment and cause faults that are not manag...
Florian Many, David Doose
OSDI
2006
ACM
16 years 7 months ago
Distributed Directory Service in the Farsite File System
We present the design, implementation, and evaluation of a fully distributed directory service for Farsite, a logically centralized file system that is physically implemented on a...
John R. Douceur, Jon Howell
KBSE
2008
IEEE
16 years 1 months ago
A Case for Automatic Exception Handling
Exception handling mechanisms have been around for more than 30 years. Nevertheless, modern exceptions systems are not very different from the early models. Programming languages ...
Bruno Cabral, Paulo Marques