1513 search results - page 18 / 303 » Fibonacci Correction Networks |
134
click to vote
INFOCOM
2012
IEEE
13 years 4 months ago
2012
IEEE
Abstract—In this paper, we implement and evaluate three different Byzantine Fault-Tolerant (BFT) state machine replication protocols for data centers: (1) BASIC: The classic solu...
126
click to vote
CN
2006
15 years 1 months ago
2006
In this paper, we propose an "in-network" diversity combining scheme for image transport over wireless sensor networks. We consider a wireless sensor network with both w...
GECCO
2006
Springer
15 years 5 months ago
2006
Springer
This poster paper outlines a method for a search based approach to the development of provably correct protocols. Categories and Subject Descriptors C.2.2 [Computer Communication ...
117
click to vote
FM
2003
Springer
15 years 7 months ago
2003
Springer
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
139
click to vote
DSN
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper considers the eventual leader election problem in asynchronous message-passing systems where an arbitrary number t of processes can crash (t < n, where n is the tota...