Sciweavers

2068 search results - page 238 / 414
» On Effectiveness of Application-Layer Coding
Sort
View
131
Voted
ICIP
2005
IEEE
16 years 7 months ago
Wyner-Ziv video side estimator: conventional motion search methods revisited
Side estimation plays an important role in Wyner-Ziv video coding. In this paper, we examine the use of two conventional motion search methods to improve side estimation. Unlike m...
Zhen Li, Edward J. Delp
173
Voted
ICIP
2005
IEEE
16 years 7 months ago
Lossy to lossless image compression using allpass filters
In this paper, an effective implementation of the allpass-based orthonormal symmetric wavelets is proposed for image compression. Since the orthonormal symmetric wavelets are used...
Xi Zhang, Kousuke Kawai, Toshinori Yoshikawa, Yosh...
ICDE
2008
IEEE
134views Database» more  ICDE 2008»
16 years 7 months ago
Skippy: Enabling Long-Lived Snapshots of the Long-Lived Past
Decreasing disk costs have made it practical to retain longlived snapshots, enabling new applications that analyze past states and infer about future states. Current approaches of...
Ross Shaull, Liuba Shrira, Hao Xu
148
Voted
ICSE
2009
IEEE-ACM
16 years 7 months ago
Modular string-sensitive permission analysis with demand-driven precision
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...
Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Ba...
ICFP
2009
ACM
16 years 6 months ago
Experience report: seL4: formally verifying a high-performance microkernel
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. fication connects an abstract operational spe...
Gerwin Klein, Philip Derrin, Kevin Elphinstone