4117 search results - page 265 / 824 » On the Satisfiability of Complex Constraints |
174
click to vote
ISMVL
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper introduces the implementation of the Iterative Symmetry Indices Decomposition (ISID) for the synthesis of ternary threedimensional logic circuits. The synthesis of regu...
164
click to vote
ESTIMEDIA
2003
Springer
15 years 12 months ago
2003
Springer
This paper proposes an energy optimization technique for latency and quality constrained video applications. It consists of two key techniques: frame-skipping technique and buffer...
162
click to vote
FPL
2003
Springer
15 years 12 months ago
2003
Springer
The power-efficient implementation of motion estimation algorithms on a system comprised by an FPGA and an external memory is presented. Low power consumption is achieved by implem...
162
click to vote
EH
2002
IEEE
15 years 11 months ago
2002
IEEE
When will we be secure? Nobody knows for sure – but it cannot happen before commercial security products and services possess not only enough functionality to satisfy customersâ...
155
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a complete codesign environment for embedded systems which combines automatic partitioning with reuse from a module database. Special emphasis has been put on ...