4966 search results - page 734 / 994 » its 2010 |
238
click to vote
SSS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper evaluates the performance of two seminal rateless erasure codes, LT Codes and Online Codes. Their properties make them appropriate for coping with communicatio...
188
click to vote
SSS
2010
Springer
15 years 4 months ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
188
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
185
click to vote
TRIDENTCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
On-demand services are a key feature of Future Internet architectures. Already today research networks around the world provide dedicated optical circuits (lightpaths) to scientist...
131
click to vote
TRIDENTCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
As experimentation becomes one of the de-facto approaches for benchmarking, researchers are turning to testbeds to test, review and verify their work. As a result, several research...