698 search results - page 59 / 140 » Fast functional simulation using branching programs |
115
click to vote
DSN
2009
IEEE
15 years 8 months ago
2009
IEEE
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...
115
click to vote
CIBCB
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— Quantum mechanics and molecular dynamic simulation provide important insights into structural configurations and molecular interaction data today. To extend this atomi...
115
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: The German cDNA Consortium has been cloning full length cDNAs and continued with their exploitation in protein localization experiments and cellular assays. However, t...
120
click to vote
SAC
2006
ACM
15 years 7 months ago
2006
ACM
: In chip design, one of the main objectives is to decrease its clock cycle; however, the existing approaches to timing analysis under uncertainty are based on fundamentally restri...
114
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Logic Programming languages and combinational circuit synthesis tools share a common "combinatorial search over logic formulae" background. This paper attempts ...