502 search results - page 27 / 101 » Test pattern generation based on arithmetic operations |
112
click to vote
ASAP
2003
IEEE
15 years 7 months ago
2003
IEEE
There is a growing demand for application-specific embedded processors in system-on-a-chip designs. Current tools and design methodologies often require designers to manually spec...
151
Voted
CAV
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Solvers for satisfiability modulo theories (SMT) check the satisfiability of first-order formulas containing operations from various theories such as the Booleans, bit-ve...
111
click to vote
ICMCS
2006
IEEE
15 years 8 months ago
2006
IEEE
We present a novel algorithm for structural analysis of audio to detect repetitive patterns that are suitable for content-based audio information retrieval systems, since repetiti...
154
click to vote
ICDAR
2011
IEEE
14 years 1 months ago
2011
IEEE
—A vast number of historical and badly degraded document images can be found in libraries, public, and national archives. Due to the complex nature of different artifacts, such p...
118
click to vote
TPHOL
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...