202 search results - page 12 / 41 » Signal Processing Algorithms and Multiple-Valued Logic Desig... |
85
Voted
ICCAD
2007
IEEE
15 years 6 months ago
2007
IEEE
— The research in the field of reversible logic is motivated by its application in low-power design, optical computing and quantum computing. Hence synthesis of reversible logic...
FMCAD
2004
Springer
15 years 2 months ago
2004
Springer
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...
80
Voted
SIPS
2007
IEEE
15 years 3 months ago
2007
IEEE
In this paper, we present a fast mode decision algorithm for H.264/AVC intra prediction. The goal of this work is to reduce computational complexity of the H.264 encoder without s...
107
click to vote
ICCAD
2003
IEEE
15 years 6 months ago
2003
IEEE
Translating digital signal processing (DSP) software into its finite-precision hardware implementation is often a timeconsuming task. We describe a new static analysis technique ...
ICIP
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper presents some techniques for efficient motion estimation (ME) implementation on fixed-point digital signal processor (DSP) for high resolution video coding. First, chal...