Sciweavers

501 search results - page 40 / 101
» Communication Lower Bounds Using Dual Polynomials
Sort
View
CAV
2001
Springer
154views Hardware» more  CAV 2001»
15 years 6 months ago
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM
We consider the randomized consensus protocol of Aspnes and Herlihy for achieving agreement among N asynchronous processes that communicate via read/write shared registers. The alg...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...
ICC
2009
IEEE
232views Communications» more  ICC 2009»
15 years 9 months ago
Degrees of Freedom and Sum Rate Maximization for Two Mutually Interfering Broadcast Channels
— In this paper, we derive a precise expression of spatial degrees of freedom (DOF) for two mutually interfering broadcast channels (IFBC) as a function of arbitrary numbers of t...
Seokhwan Park, Inkyu Lee
IPCO
1998
99views Optimization» more  IPCO 1998»
15 years 4 months ago
Non-approximability Results for Scheduling Problems with Minsum Criteria
We provide several non-approximability results for deterministic scheduling problems whose objective is to minimize the total job completion time. Unless P = NP, none of the probl...
Han Hoogeveen, Petra Schuurman, Gerhard J. Woeging...
JGO
2010
100views more  JGO 2010»
14 years 10 months ago
On convex relaxations of quadrilinear terms
The best known method to find exact or at least -approximate solutions to polynomial programming problems is the spatial Branch-and-Bound algorithm, which rests on computing lower...
Sonia Cafieri, Jon Lee, Leo Liberti
ISAAC
2004
Springer
87views Algorithms» more  ISAAC 2004»
15 years 8 months ago
Random Access to Advice Strings and Collapsing Results
We propose a model of computation where a Turing machine is given random access to an advice string. With random access, an advice string of exponential length becomes meaningful ...
Jin-yi Cai, Osamu Watanabe