1865 search results - page 359 / 373 » Pan-Private Streaming Algorithms |
ACL2
2006
ACM
14 years 21 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
ISCC
2005
IEEE
14 years 9 days ago
2005
IEEE
Abstract Content Delivery Networks (CDNs) provide an efficient support for serving http and streaming media content while minimizing the network impact of content delivery as well...
MM
2004
ACM
14 years 5 days ago
2004
ACM
An optimized scheme of multiplexing coded mesh and texture data to facilitate progressive transmission of 3D textured models is proposed in this work. The mesh and texture data of...
CIT
2004
Springer
14 years 4 days ago
2004
Springer
End-to-end congestion control algorithms in TCP are designed for a highly co-operative environment with the assumption that the end hosts voluntarily participate in it and obey th...
MLMI
2004
Springer
14 years 2 days ago
2004
Springer
Video document retrieval is now an active part of the domain of multimedia retrieval. However, unlike for other media, the management of a collection of video documents adds the pr...