Sciweavers

522 search results - page 17 / 105
» Necessary but Not Sufficient
Sort
View
CORR
2010
Springer
76views Education» more  CORR 2010»
13 years 7 months ago
Reconstruction of complete interval tournaments
Let a, b and n be nonnegative integers (b a, b > 0, n 1), Gn(a, b) be a multigraph on n vertices in which any pair of vertices is connected with at least a and at most b edges ...
Antal Iványi
COMBINATORICS
2004
54views more  COMBINATORICS 2004»
13 years 7 months ago
When Can You Tile a Box With Translates of Two Given Rectangular Bricks?
When can a d-dimensional rectangular box R be tiled by translates of two given d-dimensional rectangular bricks B1 and B2? We prove that R can be tiled by translates of B1 and B2 ...
Richard J. Bower, T. S. Michael
PODC
2010
ACM
13 years 9 months ago
Brief announcement: capacity of byzantine agreement with finite link capacity - complete characterization of four-node networks
In this paper, we consider the problem of maximizing the throughput of Byzantine agreement, when communication links have finite capacity. Byzantine agreement is a classical probl...
Guanfeng Liang, Nitin Vaidya
FM
2008
Springer
75views Formal Methods» more  FM 2008»
13 years 9 months ago
Masking Faults While Providing Bounded-Time Phased Recovery
We focus on synthesis techniques for transforming existing fault-intolerant real-time programs to fault-tolerant programs that provide phased recovery. A fault-tolerant program is ...
Borzoo Bonakdarpour, Sandeep S. Kulkarni
APPML
2005
68views more  APPML 2005»
13 years 7 months ago
A note on edge fault tolerance with respect to hypercubes
In the previous studies on k-edge fault tolerance with respect to hypercubes Qn, matrices for generating linear k-EFT(Qn) graphs were used. Let EFTL(n, k) denote the set of matric...
Tung-Yang Ho, Ting-Yi Sung, Lih-Hsing Hsu