1362 search results - page 41 / 273 » Model Checking Large Network Protocol Implementations |
207
click to vote
TMC
2010
14 years 8 months ago
2010
Wireless networks have evolved into an important technology for connecting users to the Internet. As the utility of wireless technology grows, wireless networks are being deployed ...
111
click to vote
FMCAD
2009
Springer
15 years 5 months ago
2009
Springer
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
101
click to vote
PADS
2004
ACM
15 years 7 months ago
2004
ACM
Parallel discrete event simulation techniques have enabled the realization of large-scale models of communication networks containing millions of end hosts and routers. However, t...
137
click to vote
TJS
2002
15 years 1 months ago
2002
Abstract-The current trend in constructing high-performance computing systems is to connect a large number of machines via a fast interconnect or a large-scale network such as the ...
101
click to vote
AP2PC
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. The newscast model is a general approach for communication in large agent-based distributed systems. The two basic services— membership management and information disse...