140 search results - page 23 / 28 » Group Communication Protocols under Errors |
ICS
1998
Tsinghua U.
14 years 3 months ago
1998
Tsinghua U.
In this paper we propose the OPTNET, a novel optical network and associated coherence protocol for scalable multiprocessors. The network divides its channels into broadcast and po...
MOBIHOC
2008
ACM
14 years 10 months ago
2008
ACM
Mobility is the distinguishing feature of vehicular networks, affecting the evolution of network connectivity over space and time in a unique way. Connectivity dynamics, in turn, ...
ICC
2008
IEEE
14 years 5 months ago
2008
IEEE
— Accurate simulation and analysis of wireless protocols and systems is inherently dependent on an accurate model of the underlying channel. In this paper, we show that residual ...
TABLEAUX
1998
Springer
14 years 3 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
INFOCOM
2002
IEEE
14 years 3 months ago
2002
IEEE
—Open Shortest Path First (OSPF) is a popular protocol for routing within an autonomous system (AS) domain. In order to scale for large networks containing hundreds and thousands...