Sciweavers

337 search results - page 20 / 68
» JPEG2000 image coding system theory and applications
Sort
View
ICIP
2001
IEEE
16 years 7 months ago
Turbo coding for sample-level watermarking in the DCT domain
Coding at the sample level in still image watermarking takes advantage of avoiding a non-optimum initial diversity stage, used in many watermarking systems for tailoring Gaussian ...
Fabiano Baldo, Federico Pérez Gonzál...
PLDI
1997
ACM
15 years 10 months ago
Two for the Price of One: Composing Partial Evaluation and Compilation
One of the flagship applications of partial evaluation is compilation and compiler generation. However, partial evaluation is usually expressed as a source-to-source transformati...
Michael Sperber, Peter Thiemann
ICMCS
2006
IEEE
188views Multimedia» more  ICMCS 2006»
16 years 5 days ago
Non-Bandlimited Resampling of Images
The resampling of discrete-time signals where the underlying analog signal is non-bandlimited is considered in this paper. We extend the generalized sampling theory developed base...
Beilei Huang, Edmund Ming-Kit Lai
TPHOL
2007
IEEE
16 years 12 days ago
Using XCAP to Certify Realistic Systems Code: Machine Context Management
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
Zhaozhong Ni, Dachuan Yu, Zhong Shao
WISEC
2010
ACM
15 years 4 months ago
Efficient code diversification for network reprogramming in sensor networks
As sensors in a network are mostly homogeneous in software and hardware, a captured sensor can easily expose its code and data to attackers and further threaten the whole network....
Qijun Gu