Sciweavers

9267 search results - page 69 / 1854
» Expectation-Oriented Analysis and Design
Sort
View
FOCS
2010
IEEE
13 years 7 months ago
Black-Box Randomized Reductions in Algorithmic Mechanism Design
We give the first black-box reduction from arbitrary approximation algorithms to truthful approximation mechanisms for a non-trivial class of multiparameter problems. Specifically,...
Shaddin Dughmi, Tim Roughgarden
TKDE
2012
198views Formal Methods» more  TKDE 2012»
11 years 11 months ago
Distributed Line Graphs: A Universal Technique for Designing DHTs Based on Arbitrary Regular Graphs
— Most proposed DHTs engage certain topology maintenance mechanisms specific to the static graphs on which they are based. The designs of these mechanisms are complicated and rep...
Yiming Zhang, Ling Liu
MASCOTS
2004
13 years 10 months ago
Performance Characterisation and Verification of JavaSpaces Based on Design of Experiments
In the ever increasing world of distributed systems, different middleware implementations can be compared qualitatively or quantitatively. Existing evaluation techniques are often...
Frederic Hancke, Tom Dhaene, Jan Broeckhove
FTEDA
2007
78views more  FTEDA 2007»
13 years 8 months ago
Design Automation of Real-Life Asynchronous Devices and Systems
The number of gates on a chip is quickly growing toward and beyond the one billion mark. Keeping all the gates running at the beat of a single or a few rationally related clocks i...
Alexander Taubin, Jordi Cortadella, Luciano Lavagn...
JSW
2007
112views more  JSW 2007»
13 years 8 months ago
A Framework for Design Engineering Education with Workflow-based e-Learning System
—Education of design engineering has started to change in response to the advancement of computer technology. This paper proposes a new design engineering educational framework u...
Kazuo Hiekata, Hiroyuki Yamato, Piroon Rojanakamol...