1362 search results - page 49 / 273 » Model Checking Large Network Protocol Implementations |
USITS
2001
15 years 3 months ago
2001
In traditional operating systems, modifying the network protocol code is a tedious and error-prone task, largely because the networking stack resides in the kernel. For this reaso...
141
click to vote
ASPDAC
2010
ACM
14 years 12 months ago
2010
ACM
In this paper, we present a new voltage IR drop analysis approach for large on-chip power delivery networks. The new approach is based on recently proposed sampling based reductio...
137
click to vote
ADHOC
2006
15 years 2 months ago
2006
We study the problem of data propagation in sensor networks, comprised of a large number of very small and low-cost nodes, capable of sensing, communicating and computing. The dis...
148
click to vote
IMC
2009
ACM
15 years 8 months ago
2009
ACM
Internet Protocol Television (IPTV) has emerged as a new delivery method for TV. In contrast with native broadcast in traditional cable and satellite TV system, video streams in I...
142
click to vote
CONEXT
2005
ACM
15 years 3 months ago
2005
ACM
The design and development process of communication protocols and real-time systems and particularly transport protocol mechanisms requires adequate methodology and efficient ins...