Sciweavers

321 search results - page 40 / 65
» Methods to Improve Coding Efficiency of SP Frames
Sort
View
FMCAD
2000
Springer
15 years 5 months ago
Do You Trust Your Model Checker?
Abstract. In this paper we describe the formal specification and verification of the efficient algorithm for real-time model checking implemented in the model checker RAVEN. It was...
Wolfgang Reif, Jürgen Ruf, Gerhard Schellhorn...
CL
2008
Springer
15 years 2 months ago
Efficient exception handling in Java bytecode-to-C ahead-of-time compiler for embedded systems
One of the most promising approaches to Java acceleration in embedded systems is a bytecode-to-C ahead-of-time compiler (AOTC). It improves the performance of a Java virtual machi...
Dong-Heon Jung, Jong Kuk Park, Sung-Hwan Bae, Jaem...
ISCAS
2003
IEEE
79views Hardware» more  ISCAS 2003»
15 years 7 months ago
Computation reduction in cascaded DCT-domain video downscaling transcoding
In this paper, we propose efficient techniques and architectures for realizing spatial-downscaling transcoders in the DCT domain. We also present methods for re-sampling motion ve...
Yuh-Ruey Lee, Chia-Wen Lin, Yen-Wen Chen
TIP
2008
128views more  TIP 2008»
15 years 1 months ago
The Pairing of a Wavelet Basis With a Mildly Redundant Analysis via Subband Regression
A distinction is usually made between wavelet bases and wavelet frames. The former are associated with a one-to-one representation of signals, which is somewhat constrained but mos...
Michael Unser, Dimitri Van De Ville
ISCAS
2003
IEEE
84views Hardware» more  ISCAS 2003»
15 years 7 months ago
Performance optimization for motion compensated 2D wavelet video compression techniques
In this paper we present two performance optimization methods for a motion compensated (MC) 2D wavelet video coding technique, which is based on two of the current stateof-the-art...
Zhen Li, Feng Wu, Shipeng Li, Edward J. Delp