1362 search results - page 126 / 273 » Model Checking Large Network Protocol Implementations |
140
Voted
MOBIHOC
2012
ACM
13 years 6 months ago
2012
ACM
Longest-queue-first (LQF) link scheduling is a greedy link scheduling in multihop wireless networks. Its stability performance in single-channel single-radio (SC-SR) wireless net...
121
Voted
PUK
2000
15 years 4 months ago
2000
Abstract. In this paper we study traditional and enhanced BDDbased exploration procedures capable of handling large planning problems. On the one hand, reachability analysis and mo...
161
click to vote
PADS
2003
ACM
15 years 8 months ago
2003
ACM
We describe two major developments in the General Network Simulation Integration System (Genesis): the support for BGP protocol in large network simulations and distribution of th...
159
Voted
PE
2010
Springer
14 years 10 months ago
2010
Springer
In today's Internet, a large part of the traffic is carried using the TCP transport protocol. Characterization of the variations of TCP traffic is thus a major challenge, bot...
122
click to vote
MOBISYS
2004
ACM
16 years 3 months ago
2004
ACM
In this paper, we investigate the impact of radio irregularity on the communication performance in wireless sensor networks. Radio irregularity is a common phenomenon which arises...