688 search results - page 15 / 138 » Synthesis of Reversible Logic |
ICCAD
1996
IEEE
15 years 1 months ago
1996
IEEE
ASPDAC
2001
ACM
15 years 1 months ago
2001
ACM
ARITH
2009
IEEE
15 years 4 months ago
2009
IEEE
Despite the impressive progress of logic synthesis in the past decade, finding the best architecture for a given circuit still remains an open and largely unsolved problem, espec...
TBILLC
2005
Springer
15 years 3 months ago
2005
Springer
We implement the extension of the logical consequence relation to a partial order ≤ on arbitary types built from e (entities) and t (Booleans) that was given in [1], and the de...
APCCM
2009
14 years 10 months ago
2009
It is frequent in practice that different logical XML schemas representing the same reality from different viewpoints exist. There is also usually a conceptual diagram modeling th...