Results 1 - 10 of 3,503

An Efficient Reliable Broadcast Protocol

by M. Frans Kaashoek , Andrew S. Tanenbaum, Susan Flynn Hummel, Henri E. Bal - OPERATING SYSTEMS REVIEW , 1989
"... Many distributed and parallel applications can make good use of broadcast communication. In this paper we present a (software) protocol that simulates reliable broadcast, even on an unreliable network. Using this protocol, application programs need not worry about lost messages. Recovery of comm ..."
Abstract - Cited by 149 (13 self) - Add to MetaCart
Many distributed and parallel applications can make good use of broadcast communication. In this paper we present a (software) protocol that simulates reliable broadcast, even on an unreliable network. Using this protocol, application programs need not worry about lost messages. Recovery

broadcast protocol

by Maribel Madueño, Student Member, Josep Vidal
"... Joint physical-MAC layer design of the ..."
Abstract - Add to MetaCart
Joint physical-MAC layer design of the

On the Verification of Broadcast Protocols

by Javier Esparza, Alain Finkel, Richard Mayr - In Proc. 14th Annual Symp. on Logic in Computer Science (LICS'99 , 1999
"... We analyze the model-checking problems for safety and liveness properties in parameterized broadcast protocols, a model introduced in [5]. We show that the procedure suggested in [5] for safety properties may not terminate, whereas termination is guaranteed for the procedure of [1] based on upward c ..."
Abstract - Cited by 89 (14 self) - Add to MetaCart
We analyze the model-checking problems for safety and liveness properties in parameterized broadcast protocols, a model introduced in [5]. We show that the procedure suggested in [5] for safety properties may not terminate, whereas termination is guaranteed for the procedure of [1] based on upward

Asynchronous Consensus and Broadcast Protocols

by Gabriel Bracha, Sam Toueg - Journal of the ACM , 1985
"... Abstract. A consensus protocol enables a system of n asynchronous processes, some of which are faulty, to reach agreement. There are two kinds of faulty processes: fail-stop processes that can only die and malicious processes that can also send false messages. The class of asynchronous systems with ..."
Abstract - Cited by 166 (4 self) - Add to MetaCart
)/31 correct processes are necessary and sufficient to reach agreement. This is contrasted with an earlier result, stating that there is no consensus protocol for the fail-stop case that always terminates within a bounded number of steps, even if only one process can fail. The possibility of reliable broadcast

Broadcast protocols for distributed systems

by P. M. Melliar-smith, Louise E. Moser, Vivek Agrawala - IEEE Transactions on Parallel and Distributed Systems , 1990
"... Abstract-We present an innovative approach to the design of faulttolerant distributed systems that avoids the several rounds of message exchange required by current protocols for consensus agreement. The processors agree on exactly the same sequence of broadcast messages. approach is based on broadc ..."
Abstract - Cited by 147 (19 self) - Add to MetaCart
Abstract-We present an innovative approach to the design of faulttolerant distributed systems that avoids the several rounds of message exchange required by current protocols for consensus agreement. The processors agree on exactly the same sequence of broadcast messages. approach is based

Gossip-based Broadcast Protocols

by João Carlos Antunes Leitão - UNIVERSITY OF LISBON , 2007
"... Gossip, or epidemic, protocols have emerged as a powerful strategy to implement highly scalable and resilient reliable broadcast primitives. Due to scalability reasons, each participant in a gossip protocol maintains only a partial view of the system, from which they select peers to perform gossip e ..."
Abstract - Cited by 4 (4 self) - Add to MetaCart
Gossip, or epidemic, protocols have emerged as a powerful strategy to implement highly scalable and resilient reliable broadcast primitives. Due to scalability reasons, each participant in a gossip protocol maintains only a partial view of the system, from which they select peers to perform gossip

A Hybrid Broadcasting Protocol for Video on Demand

by Jehan-Francois Paris, Steven Carter, Darrell Long , 1999
"... Broadcasting protocols can improve the efficiency of video on demand services by reducing the bandwidth required to transmit videos that are simultaneously watched by many viewers. It has been recently shown that broadcasting protocols using a very large number of very low bandwidth streams for each ..."
Abstract - Cited by 139 (15 self) - Add to MetaCart
Broadcasting protocols can improve the efficiency of video on demand services by reducing the bandwidth required to transmit videos that are simultaneously watched by many viewers. It has been recently shown that broadcasting protocols using a very large number of very low bandwidth streams

Causally Ordering Broadcast Protocol

by Akihito Nakamura, Makoto Takizawa - PROC. OF IEEE ICDCS-14 , 1994
"... The distributed applications require group communications among multiple entities. In the group communication, it is important to discuss in what order each entity in the group can receive data units. In order to realize fault-tolerant systems, the same events have to occur in the same order in each ..."
Abstract - Cited by 35 (33 self) - Add to MetaCart
in each entity. The ordering among the events is known as a causal order. This paper presents a reliable causally ordering broadcast (CO) protocol which provides the same causal ordering of data units for all the entities in the group. In the CO protocol, the data units received are causally ordered

Constraint-based Analysis of Broadcast Protocols

by Giorgio Delzanno , Javier Esparza, Andreas Podelski , 1999
"... Broadcast protocols are systems composed of a finite but arbitrarily large number of processes that communicate by rendezvous (two processes exchange a message) or by broadcast (a process sends a message to all other processes). The paper describes an optimized algorithm for the automatic verif ..."
Abstract - Cited by 28 (10 self) - Add to MetaCart
Broadcast protocols are systems composed of a finite but arbitrarily large number of processes that communicate by rendezvous (two processes exchange a message) or by broadcast (a process sends a message to all other processes). The paper describes an optimized algorithm for the automatic

hybrid broadcasting protocol for video on demand

by Jehan-francois P^aris A, Steven W. Carter B, Darrell D. E. Long B - in Multimedia Computing and Networking Conference , 1999
"... Broadcasting protocols can improve the e ciency of video on demand services by reducing the bandwidth required to transmit videos that are simultaneously watched by many viewers. It has been recently shown that broadcasting protocols using a very large number of very low bandwidth streams for each v ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
Broadcasting protocols can improve the e ciency of video on demand services by reducing the bandwidth required to transmit videos that are simultaneously watched by many viewers. It has been recently shown that broadcasting protocols using a very large number of very low bandwidth streams for each
Results 1 - 10 of 3,503