Sciweavers

313 search results - page 26 / 63
» Redundancy Elimination for LF
Sort
View
ICDE
2009
IEEE
165views Database» more  ICDE 2009»
16 years 1 months ago
Expressive Location-Based Continuous Query Evaluation with Binary Decision Diagrams
Many location-based services require rich and expressive query language support for filtering large amounts of information. In prominent location-based services thousands of conti...
Zhengdao Xu, Hans-Arno Jacobsen
POPL
2005
ACM
16 years 2 days ago
Automated soundness proofs for dataflow analyses and transformations via local rules
We present Rhodium, a new language for writing compiler optimizations that can be automatically proved sound. Unlike our previous work on Cobalt, Rhodium expresses optimizations u...
Sorin Lerner, Todd D. Millstein, Erika Rice, Craig...
DASFAA
2008
IEEE
168views Database» more  DASFAA 2008»
15 years 6 months ago
SemanticTwig: A Semantic Approach to Optimize XML Query Processing
Twig pattern matching (TPM) is the core operation of XML query processing. Existing approaches rely on either efficient data structures or novel labeling/indexing schemes to reduce...
Zhifeng Bao, Tok Wang Ling, Jiaheng Lu, Bo Chen
ICMCS
2007
IEEE
112views Multimedia» more  ICMCS 2007»
15 years 6 months ago
Peer-to-Peer Streaming with Hierarchical Network Coding
Abstract— In recent years, Content Delivery Networks (CDN) and Peerto-Peer (P2P) networks have emerged as two effective paradigms for delivering multimedia contents over the Inte...
Kien Nguyen, Thinh Nguyen, Sen-Ching S. Cheung
MM
2005
ACM
179views Multimedia» more  MM 2005»
15 years 5 months ago
rStream: resilient peer-to-peer streaming with rateless codes
The inherent instability and unreliability of peer-to-peer networks introduce several fundamental engineering challenges to multimedia streaming over peer-to-peer networks. First,...
Chuan Wu, Baochun Li