Sciweavers

13306 search results - page 373 / 2662
» Theoretical Computer Science
Sort
View
FOCS
1994
IEEE
15 years 11 months ago
Fast and Lean Self-Stabilizing Asynchronous Protocols
We consrder asynchronous general topology dynamic networks of identical nameless nodes wzth worst-case transient faults. Starting from any faulty configuration, our protocols self...
Gene Itkis, Leonid A. Levin
STACS
1990
Springer
15 years 10 months ago
Approximation of Convex Figures by Pairs of Rectangles
We consider the problem of approximating a convex gure in the plane by a pair (r; R) of homothetic (that is, similar and parallel) rectangles with r C R. We show the existenc...
Otfried Schwarzkopf, Ulrich Fuchs, Günter Rot...
IFIPTCS
2010
15 years 4 months ago
Concurrent Pattern Calculus
Abstract. Concurrent pattern calculus drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising fro...
Thomas Given-Wilson, Daniele Gorla, Barry Jay
STACS
2010
Springer
16 years 1 months ago
Inseparability and Strong Hypotheses for Disjoint NP Pairs
This paper investigates the existence of inseparable disjoint pairs of NP languages and related strong hypotheses in computational complexity. Our main theorem says that, if NP do...
Lance Fortnow, Jack H. Lutz, Elvira Mayordomo
155
Voted
STACS
2005
Springer
16 years 8 days ago
Robust Polynomials and Quantum Algorithms
We define and study the complexity of robust polynomials for Boolean functions and the related fault-tolerant quantum decision trees, where input bits are perturbed by noise. We ...
Harry Buhrman, Ilan Newman, Hein Röhrig, Rona...