1128 search results - page 52 / 226 » Little Engines of Proof |
CORR
2011
Springer
14 years 1 months ago
2011
Springer
Efficient implementations of DPLL with the addition of clause learning are the fastest complete Boolean satisfiability solvers and can handle many significant real-world problem...
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
Database systems play an important role in nearly every modern organization, yet relatively little research effort has focused on how to test them. AGENDA, A (test) GENerator for ...
IWPC
2006
IEEE
15 years 3 months ago
2006
IEEE
Code obfuscation makes it harder for a security analyst to understand the malicious payload of a program. In most cases an analyst needs to study the program at the machine code l...
SEFM
2003
IEEE
15 years 2 months ago
2003
IEEE
The Specification and Description Language (SDL) together with its associated tool sets can be used for the generation of Tree and Tabular Combined Notation (TTCN) test cases. Sur...
IUI
2000
ACM
15 years 1 months ago
2000
ACM
Digital devices today have little understanding of their realworld context, and as a result they often make stupid mistakes. To improve this situation we are developing a database...