Sciweavers

522 search results - page 15 / 105
» Necessary but Not Sufficient
Sort
View
DAM
2008
75views more  DAM 2008»
13 years 7 months ago
Equistable distance-hereditary graphs
Abstract. A graph is called equistable when there is a nonnegative weight function on its vertices such that a set S of vertices has total weight 1 if and only if S is maximal stab...
Ephraim Korach, Uri N. Peled, Udi Rotics
MOC
2000
83views more  MOC 2000»
13 years 7 months ago
On the problem of spurious eigenvalues in the approximation of linear elliptic problems in mixed form
In the approximation of linear elliptic operators in mixed form, it is well known that the so-called inf-sup and ellipticity in the kernel properties are sufficient (and, in a sens...
Daniele Boffi, Franco Brezzi, Lucia Gastaldi
DC
2008
13 years 7 months ago
Failure detectors as type boosters
The power of an object type T can be measured as the maximum number n of processes that can solve consensus using only objects of T and registers. This number, denoted cons(T), is ...
Rachid Guerraoui, Petr Kouznetsov
SIAMCO
2002
81views more  SIAMCO 2002»
13 years 7 months ago
Robust Controller Synthesis for Uncertain Time-Varying Systems
In this paper we develop and present new convex synthesis conditions for robust performance in linear time-varying systems, subject to time-varying perturbations. In particular, th...
Carol Pirie, Geir E. Dullerud
PODC
1992
ACM
13 years 11 months ago
The Weakest Failure Detector for Solving Consensus
We determine what information about failures is necessary and sufficient to solve Consensus in asynchronous distributed systems subject to crash failures. In Chandra and Toueg [199...
Tushar Deepak Chandra, Vassos Hadzilacos, Sam Toue...