321 search results - page 40 / 65 » Methods to Improve Coding Efficiency of SP Frames |
FMCAD
2000
Springer
15 years 3 months ago
2000
Springer
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...
119
click to vote
CL
2008
Springer
14 years 12 months ago
2008
Springer
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...
ISCAS
2003
IEEE
15 years 5 months ago
2003
IEEE
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...
101
click to vote
TIP
2008
14 years 11 months ago
2008
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...
ISCAS
2003
IEEE
15 years 5 months ago
2003
IEEE
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...