395 search results - page 46 / 79 » Encoding Algorithms for Logic Synthesis |
110
Voted
ISORC
2009
IEEE
15 years 9 months ago
2009
IEEE
Distributed real-time automotive embedded systems have to be highly dependable as well as cost-efficient due to the large number of manufactured units. To close the gap between r...
106
Voted
APSEC
2005
IEEE
15 years 8 months ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
117
click to vote
ICIP
2005
IEEE
16 years 4 months ago
2005
IEEE
A new content-based approach for improved H.264/MPEG4-AVC video coding is presented. The framework is generic because it is based on a closed-loop texture analysis by synthesis alg...
110
click to vote
ISMVL
2008
IEEE
15 years 8 months ago
2008
IEEE
Synthesis of reversible logic has become an active research area in the last years. But many proposed algorithms are evaluated with a small set of benchmarks only. Furthermore, re...
123
Voted
TCAD
2008
15 years 2 months ago
2008
Detecting symmetries has many applications in logic synthesis that include, amongst other things, technology mapping, deciding equivalence of Boolean functions when the input corre...