8398 search results - page 1062 / 1680 » Optimal Software Testing |
246
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Solvers for satisfiability modulo theories (SMT) check the satisfiability of first-order formulas containing operations from various theories such as the Booleans, bit-ve...
190
click to vote
DNA
2007
Springer
15 years 11 months ago
2007
Springer
Reliable DNA computing requires a large pool of oligonucleotides that do not produce cross-hybridize. In this paper, we present a transformed algorithm to calculate the maximum wei...
226
click to vote
ECML
2007
Springer
15 years 11 months ago
2007
Springer
Research on automatic identification of musical instrument sounds has already been performed through last years, but mainly for monophonic singular sounds. In this paper we work on...
160
click to vote
DAC
2010
ACM
15 years 11 months ago
2010
ACM
Current tools for computer architecture design lack standard support for multi- and many-core development. We propose using circuit models to describe the multiple processor archi...
184
click to vote
CIA
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. W3C's OWL has gained wide acceptance in the agent community and it has already been used in many agent applications which we think syntactically. By taking advantage...