1362 search results - page 103 / 273 » Model Checking Large Network Protocol Implementations |
130
Voted
CIT
2007
Springer
15 years 10 months ago
2007
Springer
IEEE 802.11 based wireless LANs (WLAN) are ubiquitous nowadays. Running real time voice and video applications over LANs is becoming common place. These applications require QoS i...
140
click to vote
PADS
2003
ACM
15 years 9 months ago
2003
ACM
The simulation of large–scale multicast networks often requires a significant amount of memory that can easily exceed the capacity of current computers, both because of the inh...
113
click to vote
SIGCOMM
2010
ACM
15 years 3 months ago
2010
ACM
Recent studies have shown that the current primitives for connecting multiple routing protocol instances (OSPF 1, OSPF 2, EIGRP 10, etc.) are pervasively deployed in enterprise ne...
128
click to vote
SIGADA
2001
Springer
15 years 8 months ago
2001
Springer
The last years have seen an increasing, albeit restricted simulation of large-scale networks on shared memory parallel platforms. As the complexity of communication protocols and ...
138
click to vote
ISCC
2006
IEEE
2006
IEEE
Time-Critical Underwater Sensor Diffusion with No Proactive Exchanges and Negligible Reactive Floods
15 years 9 months ago
— In this paper we study multi-hop ad hoc routing in a scalable Underwater Sensor Network (UWSN), which is a novel network paradigm for ad hoc investigation of the world below th...