Sciweavers

564 search results - page 93 / 113
» Lazy Code Motion
Sort
View
ICIP
1999
IEEE
14 years 9 months ago
Data Hiding in Video
We propose a video data embedding scheme in which the embedded signature data is reconstructed without knowing the original host video. The proposed method enables high rate of da...
Jong Jin Chae, B. S. Manjunath
POPL
2002
ACM
14 years 7 months ago
Proving correctness of compiler optimizations by temporal logic
Many classical compiler optimizations can be elegantly expressed using rewrite rules of form: I = I if , where I, I are intermediate language instructions and is a property expre...
David Lacey, Neil D. Jones, Eric Van Wyk, Carl Chr...
ICMCS
2006
IEEE
179views Multimedia» more  ICMCS 2006»
14 years 1 months ago
Scalable Rate-Distortion-Computation Hardware Accelerator for MCTF and ME
Motion-Compensated Temporal Filtering (MCTF) is an innovative prediction scheme for video coding and the core technology of scalable extension of H.264/AVC. The first MCTF and ME...
Yi-Hau Chen, Ching-Yeh Chen, Chih-Chi Cheng, Liang...
ASPDAC
2006
ACM
288views Hardware» more  ASPDAC 2006»
14 years 1 months ago
Algorithms and DSP implementation of H.264/AVC
Abstract - This survey paper intends to provide a comprehensive coverage of the techniques that are pertinent to the processor-based implementation of H.264/AVC video codec, partic...
Hung-Chih Lin, Yu-Jen Wang, Kai-Ting Cheng, Shang-...
SC
2000
ACM
13 years 12 months ago
Parallel Unsteady Turbo-Pump Simulations For Liquid Rocket Engines
This paper reports the progress being made towards complete turbo-pump simulation capability for liquid rocket engines. The Space Shuttle Main Engine (SSME) turbo-pump impeller is...
Cetin C. Kiris, Dochan Kwak, William Chan