1521 search results - page 113 / 305 » Efficient Design Validation Based on Cultural Algorithms |
CAV
2009
Springer
15 years 10 months ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
117
click to vote
ASPDAC
2007
ACM
15 years 1 months ago
2007
ACM
Dynamic voltage scaling (DVS) circuits have been widely adopted in many computing systems to provide tradeoff between performance and power consumption. The effective use of energ...
119
click to vote
DEXA
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Finding all occurrences of a twig pattern in an XML document is a core operation for XML query processing. The emergence of XML as a common mark-up language for data inte...
101
click to vote
ICIP
2010
IEEE
14 years 7 months ago
2010
IEEE
Copy-move tampering is a common type of image synthesizing, where a part of an image is copied and pasted to another place to add or remove an object. In this paper, an efficient ...
108
click to vote
ICPR
2006
IEEE
15 years 11 months ago
2006
IEEE
Many of the existing image processing applications, in particular the construction of super-resolution videos, require an accurate high-speed motion tracking algorithm. This paper...