1362 search results - page 148 / 273 » Model Checking Large Network Protocol Implementations |
114
click to vote
SIGCOMM
2006
ACM
15 years 9 months ago
2006
ACM
This paper revisits a much explored topic in networking – the search for a simple yet fully-general multicast design. The many years of research into multicast routing have led ...
129
click to vote
JCP
2008
15 years 3 months ago
2008
The difficulty to compare network simulators is a major obstacle to the broader adoption of these tools. This problem particularly affects 802.11 simulators because the 802.11 prot...
103
click to vote
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
— The dorsal nucleus of the lateral lemniscus (DNLL) is a distinct group of auditory cells that play a strategic role in azimuthal echolocation in the bat. Dominated by EI-type c...
136
Voted
SSD
2009
Springer
15 years 10 months ago
2009
Springer
The standard database mechanisms for concurrency control, which include transactions and locking protocols, do not provide the support needed for updating complex geographic data i...
100
click to vote
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
TCP is an important protocol in high-performance computing. It is used extensively in graphics programs and file systems and it is often the protocol used for the cluster control...