1728 search results - page 106 / 346 » Advanced empirical testing |
120
Voted
SAT
2004
Springer
15 years 9 months ago
2004
Springer
This paper reports about the 2004 comparative evaluation of solvers for quantified Boolean formulas (QBFs), the second in a series of non-competitive events established with the a...
143
Voted
DAC
1999
ACM
15 years 8 months ago
1999
ACM
As the family of Alpha microprocessors continues to scale into more advanced technologies with very high frequency edge rates and multiple layers of interconnect, the issue of cha...
149
click to vote
VLSID
2000
IEEE
15 years 7 months ago
2000
IEEE
We address the problem of verifying the correctness of pre-silicon models of a microprocessor. We touch on the latest advances in this area by considering two different aspects of...
136
click to vote
JSAT
2006
15 years 4 months ago
2006
This paper reports about the 2005 comparative evaluation of solvers for quantified Boolean formulas (QBFs), the third in a series of non-competitive events established with the ai...
125
Voted
EC
2000
15 years 3 months ago
2000
Building blocks are a ubiquitous feature at all levels of human understanding, from perception through science and innovation. Genetic algorithms are designed to exploit this prev...