Sciweavers

134 search results - page 19 / 27
» Data hiding using trellis coded quantization
Sort
View
ISCAS
2008
IEEE
166views Hardware» more  ISCAS 2008»
14 years 4 months ago
Complexity modeling of H.264/AVC CAVLC/UVLC entropy decoders
Abstract— A complexity model for context-based adaptive variable length coding (CAVLC) and universal variable length coding (UVLC) in the H.264/AVC decoder is proposed. CAVLC and...
Szu-Wei Lee, C. C. Jay Kuo
TLDI
2003
ACM
134views Formal Methods» more  TLDI 2003»
14 years 3 months ago
Scrap your boilerplate: a practical design pattern for generic programming
We describe a design pattern for writing programs that traverse data structures built from rich mutually-recursive data types. Such programs often have a great deal of “boilerpl...
Ralf Lämmel, Simon L. Peyton Jones
IPPS
2008
IEEE
14 years 4 months ago
A transparent non-invasive file data model for algorithmic skeletons
A file data model for algorithmic skeletons is proposed, focusing on transparency and efficiency. Algorithmic skeletons correspond to a high-level programming model that takes a...
Denis Caromel, Mario Leyton
ICIP
2005
IEEE
14 years 11 months ago
Predictive compression of dynamic 3D meshes
An efficient algorithm for compression of dynamic time-consistent 3D meshes is presented. Such a sequence of meshes contains a large degree of temporal statistical dependencies tha...
Aljoscha Smolic, Karsten Müller, Matthias Kau...
AADEBUG
1995
Springer
14 years 1 months ago
Software Testability Measurement for Assertion Placement and Fault Localization
Software testability, the tendency for software to reveal its faults during testing, is an important issue for veri cation and quality assurance. Testability measurement can also b...
Jeffrey M. Voas