4079 search results - page 621 / 816 » Differential Testing for Software |
128
click to vote
VL
1994
IEEE
15 years 8 months ago
1994
IEEE
Developers of new imageanalysis algorithmstypically require an interactive environment in which the imagedata can be passed through various operators, some of which may involve fe...
170
click to vote
CAV
2007
Springer
15 years 8 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...
128
click to vote
DNA
2007
Springer
15 years 8 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...
158
click to vote
ECML
2007
Springer
15 years 8 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...
DAC
2010
ACM
15 years 8 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...