222 search results - page 18 / 45 » Efficient assertion based verification using TLM |
AMAI
2004
Springer
15 years 5 months ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
100
click to vote
AUSAI
2006
Springer
15 years 1 months ago
2006
Springer
The SVM based Recursive Feature Elimination (RFE-SVM) algorithm is a popular technique for feature selection, used in natural language processing and bioinformatics. Recently it wa...
106
click to vote
CCS
2008
ACM
15 years 1 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...
114
click to vote
JCP
2007
14 years 11 months ago
2007
—One of the challenging problems in geometric modeling and computer graphics is the construction of realistic human facial geometry. Such geometry are essential for a wide range ...
112
click to vote
AMAST
2008
Springer
15 years 1 months ago
2008
Springer
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...