1362 search results - page 27 / 273 » Model Checking Large Network Protocol Implementations |
WSC
2004
14 years 11 months ago
2004
Routing table storage demands pose a significant obstacle for large-scale network simulation. On-demand computation of routes can alleviate those problems for models that do not r...
87
Voted
ITIIS
2010
14 years 8 months ago
2010
Formidable growth of Internet technologies has revealed challenging issues about its scale and performance evaluation. Modeling and simulation play a central role in the evaluatio...
85
Voted
AHSWN
2010
14 years 9 months ago
2010
Considerations of realistic channel dynamics motivate the design of a new breed of opportunistic schemes, such as opportunistic transmission, scheduling and routing. Compared to t...
INFOCOM
2009
IEEE
15 years 4 months ago
2009
IEEE
— A class of CSMA protocols used in a broad range of wireless applications uses synchronized contention where nodes periodically contend at intervals of fixed duration. While se...
FMCAD
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...