Sciweavers

4794 search results - page 466 / 959
» Trust-Based Mechanism Design
Sort
View
NOSSDAV
2001
Springer
15 years 11 months ago
Dimensioning server access bandwidth and multicast routing in overlay networks
Application-level multicast is a new mechanism for enabling multicast in the Internet. Driven by the fast growth of network audio/video streams, application-level multicast has be...
Sherlia Shi, Jonathan S. Turner, Marcel Waldvogel
ICRA
1998
IEEE
177views Robotics» more  ICRA 1998»
15 years 11 months ago
The Coulomb Pump: a Novel Parts Feeding Method Using a Horizontally-Vibrating Surface
Part feeders, which singulate and orient parts prior to packing and insertion, are critical components of an assembly line. Existing feeders utilize o -plane vibrations of a rigid...
Dan Reznik, John F. Canny
CF
2007
ACM
15 years 11 months ago
Automated generation of layout and control for quantum circuits
We present a computer-aided design flow for quantum circuits, complete with automatic layout and control logic extraction. To motivate automated layout for quantum circuits, we in...
Mark Whitney, Nemanja Isailovic, Yatish Patel, Joh...
SAT
2010
Springer
158views Hardware» more  SAT 2010»
15 years 11 months ago
Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
Dave A. D. Tompkins, Holger H. Hoos
FPGA
2007
ACM
124views FPGA» more  FPGA 2007»
15 years 11 months ago
Efficient hardware checkpointing: concepts, overhead analysis, and implementation
Progress in reconfigurable hardware technology allows the implementation of complete SoCs in today's FPGAs. In the context design for reliability, software checkpointing is a...
Dirk Koch, Christian Haubelt, Jürgen Teich