455 search results - page 71 / 91 » Directed test generation using symbolic grammars |
108
click to vote
CAV
2007
Springer
15 years 1 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...
CSDA
2008
14 years 9 months ago
2008
An algorithm for time-adaptive quantile regression is presented. The algorithm is based on the simplex algorithm, and the linear optimization formulation of the quantile regressio...
93
Voted
VLSID
2002
IEEE
15 years 10 months ago
2002
IEEE
Directed test program-based verification or formal verification methods are usually quite ineffective on large cachecoherent, non-uniform memory access (CC-NUMA) multiprocessors b...
CAI
2004
Springer
14 years 9 months ago
2004
Springer
A complete hardware implementation of an evolvable combinational unit for FPGAs is presented. The proposed combinational unit consisting of a virtual reconfigurable circuit and evo...
ISBI
2004
IEEE
15 years 10 months ago
2004
IEEE
The practice of image processing inherently requires software development. Creating this technology requires designing, implementing, debugging and testing software applications o...