Sciweavers

3991 search results - page 127 / 799
» Bounding homogeneous models
Sort
View
SIAMCOMP
2000
104views more  SIAMCOMP 2000»
13 years 7 months ago
A Near-Tight Lower Bound on the Time Complexity of Distributed Minimum-Weight Spanning Tree Construction
This paper presents a lower bound of (D + n/ log n) on the time required for the distributed construction of a minimum-weight spanning tree (MST) in weighted n-vertex networks of ...
David Peleg, Vitaly Rubinovich
TCS
2010
13 years 2 months ago
Bounds on the efficiency of black-box commitment schemes
Constructions of cryptographic primitives based on general assumptions (e.g., one-way functions) tend to be less efficient than constructions based on specific (e.g., number-theor...
Omer Horvitz, Jonathan Katz
DATE
2005
IEEE
176views Hardware» more  DATE 2005»
14 years 1 months ago
Effective Lower Bounding Techniques for Pseudo-Boolean Optimization
Linear Pseudo-Boolean Optimization (PBO) is a widely used modeling framework in Electronic Design Automation (EDA). Due to significant advances in Boolean Satisfiability (SAT), ...
Vasco M. Manquinho, João P. Marques Silva
ICRA
2002
IEEE
98views Robotics» more  ICRA 2002»
14 years 1 months ago
Extremal Trajectories for Bounded Velocity Mobile Robots
Previous work [3, 6, 9, 8, 7, 1] has presented the time optimal trajectories for three classes of non-holonomic mobile robots: steered cars that can only go forwards, steered cars...
Devin J. Balkcom, Matthew T. Mason
WDAG
2001
Springer
104views Algorithms» more  WDAG 2001»
14 years 14 days ago
A New Synchronous Lower Bound for Set Agreement
Abstract. We have a new proof of the lower bound that k-set agreement requires f/k + 1 rounds in a synchronous, message-passing model with f crash failures. The proof involves cons...
Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle