231 search results - page 20 / 47 » Improvements to combinational equivalence checking |
IJMMS
2007
13 years 8 months ago
2007
Personal information and organizational information need to be protected, which requires that only authorized users gain access to the information. The most commonly used method f...
ICCV
2009
IEEE
13 years 5 months ago
2009
IEEE
Geometric verification with RANSAC has become a crucial step for many local feature based matching applications. Therefore, the details of its implementation are directly relevant...
ISMVL
2010
IEEE
14 years 1 months ago
2010
IEEE
—Multiway Decision Graphs (MDGs) subsume Binary Decision Diagrams (BDDs) and extend them by a first-order formulae suitable for model checking of data path circuits. In this pap...
CONCUR
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predefined components in signal–flow graphs and by h...
DSD
2004
IEEE
13 years 11 months ago
2004
IEEE
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...