3820 search results - page 601 / 764 » Bounded Model Debugging |
173
click to vote
PE
2002
Springer
15 years 6 months ago
2002
Springer
Previous analyses of scalable streaming protocols for delivery of stored multimedia have largely focused on how the server bandwidth required for full-file delivery scales as the ...
173
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—In this paper, we investigate the fundamental properties of broadcasting in mobile wireless networks. In particular, we characterize broadcast capacity and latency of a ...
165
click to vote
SIAMSC
2010
15 years 4 months ago
2010
For the finite volume discretization of a second-order elliptic model problem, we derive a posteriori error estimates which take into account an inexact solution of the associated...
208
click to vote
SOCA
2010
IEEE
15 years 4 months ago
2010
IEEE
In asynchronous event systems, the production of an event is decoupled from its consumption via an event queue. The loose coupling of such systems allows great flexibility as to ...
167
click to vote
TPDS
2010
15 years 4 months ago
2010
—In this paper we propose and evaluate an overlay distribution algorithm for P2P, chunk-based, streaming systems over forest-based topologies. In such systems, the stream is divi...