959 search results - page 82 / 192 » New Techniques for Algorithm Portfolio Design |
94
Voted
ASPDAC
2007
ACM
15 years 3 months ago
2007
ACM
A new graph reduction approach to symbolic circuit analysis is developed in this paper. A Binary Decision Diagram (BDD) mechanism is formulated, together with a specially designed ...
HVC
2005
Springer
15 years 5 months ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
CIDM
2007
IEEE
15 years 1 days ago
2007
IEEE
— Detecting unknown worms is a challenging task. Extant solutions, such as anti-virus tools, rely mainly on prior explicit knowledge of specific worm signatures. As a result, aft...
DAC
2008
ACM
16 years 26 days ago
2008
ACM
An effective technique to save power during scan based test is to switch off unused scan chains. The results obtained with this method strongly depend on the mapping of scan flip-...
107
click to vote
ILP
2004
Springer
15 years 5 months ago
2004
Springer
For the last ten years a lot of work has been devoted to propositionalization techniques in relational learning. These techniques change the representation of relational problems t...