3820 search results - page 601 / 764 » Bounded Model Debugging |
124
Voted
PE
2002
Springer
15 years 2 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 ...
126
click to vote
INFOCOM
2010
IEEE
15 years 1 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 ...
113
Voted
SIAMSC
2010
15 years 27 days 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...
149
Voted
SOCA
2010
IEEE
15 years 27 days 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 ...
111
Voted
TPDS
2010
15 years 27 days 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...