Sciweavers

5934 search results - page 251 / 1187
» Detecting a Network Failure
Sort
View
INFOCOM
2011
IEEE
14 years 10 months ago
Capacity of byzantine agreement with finite link capacity
—We consider the problem of maximizing the throughput of Byzantine agreement, when communication links have finite capacity. Byzantine agreement is a classical problem in distri...
Guanfeng Liang, Nitin H. Vaidya
SC
2004
ACM
16 years 19 days ago
Fastpath Optimizations for Cluster Recovery in Shared-Disk Systems
We describe the design and implementation of a clustering service for a high-performance, shared-disk file system. The service provides failure detection and recovery, reliable e...
Randal C. Burns
DALT
2004
Springer
16 years 18 days ago
Model Checking Agent Dialogues
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...
Christopher D. Walton
VTS
1996
IEEE
114views Hardware» more  VTS 1996»
15 years 11 months ago
Quantitative analysis of very-low-voltage testing
Some weak static CMOS chips can be detected by testing them with a very low supply voltage -- between 2 and 2.5 times the threshold voltage Vt of the transistors. A weak chip is o...
Jonathan T.-Y. Chang, Edward J. McCluskey
MVA
2002
226views Computer Vision» more  MVA 2002»
15 years 6 months ago
Adaptive Background Estimation and Shadow Removal in Indoor Scenes
2 Background Model Background subtraction algorithm is susceptible to both global and local illumination changes such as shadows, sunlight and reflection. These changes sometimes c...
Junya Morita, Yoshio Iwai, Masahiko Yachida