27 search results - page 1 / 6 » Generalized, efficient array decision procedures |
FMCAD
2009
Springer
13 years 8 months ago
2009
Springer
Abstract--The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allow...
CADE
2007
Springer
14 years 4 months ago
2007
Springer
Much research concerning Satisfiability Modulo Theories is devoted to the design of efficient SMT-solvers that integrate a SATsolver with T -satisfiability procedures. The rewrite-...
ENTCS
2007
13 years 4 months ago
2007
The rewrite-based approach to satisfiability modulo theories consists of using generic theorem-proving strategies for first-order logic with equality. If one can prove that an i...
CCE
2008
2008
A hierarchical decision procedure for productivity innovation in large-scale petrochemical processes
13 years 4 months ago
Maintaining the best quality is essential for the survival of a company in a globally competitive world. Six Sigma activity has been widely accepted as one of the most efficient a...
ICIP
2009
IEEE
14 years 5 months ago
2009
IEEE
Digital camera sensors are inherently sensitive to the nearinfrared (NIR) part of the light spectrum. In this paper, we propose a general design for color filter arrays that allow...