13383 search results - page 2514 / 2677 » Abstractions from proofs |
INFOCOM
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— When multiple paths are available between communicating hosts, application quality can be improved by switching among them to always use the best one. The key to such a...
INFOCOM
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— A bloom filter is a simple, space-efficient, randomized data structure for concisely representing a static data set, in order to support approximate membership querie...
INFOCOM
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— Internet routers require buffers to hold packets during times of congestion. The buffers need to be fast, and so ideally they should be small enough to use fast memory ...
INFOCOM
2006
IEEE
14 years 4 months ago
2006
IEEE
—We present MobiStream— a video streaming system that exploits the perceptual value in video content and the characteristics of the link layer and physical layer channels to en...
INFOCOM
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— Fueled by the competing DSL and Cable technologies, residential broadband access has seen a significant spread in availability to the point that many users have a choi...