1105 search results - page 73 / 221 » Modeling TCP Latency |
132
click to vote
CHARME
1997
Springer
15 years 7 months ago
1997
Springer
Formal verification techniques need to deal with the complexity of the systems rified. Most often, this problem is solved by taking an abstract model of the system and aiming at a...
148
click to vote
CN
2002
15 years 3 months ago
2002
Abstract--We study in this paper a TCP-like linear-increase multiplicative-decrease flow control mechanism. We consider congestion signals that arrive in batches according to a Poi...
124
click to vote
ICIP
2009
IEEE
16 years 4 months ago
2009
IEEE
We have established a novel control system for combining the parallel execution of deterministic and non-deterministic medical imaging applications on a single platform, sharing t...
137
click to vote
CNSR
2005
IEEE
15 years 9 months ago
2005
IEEE
Web caching has been recognized as an effective scheme to alleviate the service bottleneck and reduce the network traffic, thereby minimizing the user access latency on the Intern...
230
click to vote
FAST
2011
14 years 7 months ago
2011
Elasticity of cloud computing environments provides an economic incentive for automatic resource allocation of stateful systems running in the cloud. However, these systems have t...