1362 search results - page 214 / 273 » Model Checking Large Network Protocol Implementations |
134
click to vote
INFOCOM
2000
IEEE
15 years 7 months ago
2000
IEEE
— In this paper we demonstrate how TCP congestion control can show chaotic behavior. We demonstrate the major features of chaotic systems in TCP/IP networks with examples. These ...
141
click to vote
FMSP
2000
ACM
15 years 7 months ago
2000
ACM
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
107
Voted
HPDC
1993
IEEE
15 years 7 months ago
1993
IEEE
Building the hardware for a high-performance distributed computer system is a lot easier than building its software. In this paper we describe a model for programtributed systems ...
139
click to vote
DCC
2010
IEEE
15 years 9 months ago
2010
IEEE
The multiple description coding of an independent and identically distributed Gaussian source over bit error channels is considered. A novel practical multiple description coding ...
115
click to vote
CSMR
2004
IEEE
15 years 6 months ago
2004
IEEE
A Web site is a hyperlinked network environment, which consists of hundreds of inter-connected pages, usually without an engineered architecture. This is often a large, complex We...