3547 search results - page 543 / 710 » Pseudo-Exhaustive Testing for Software |
152
click to vote
VL
1996
IEEE
15 years 10 months ago
1996
IEEE
Despite years of research into human computer interaction (HCI), the environments programmers must use for problem-solving today--with separate modes and tools for writing, compil...
164
click to vote
COMPGEOM
1996
ACM
15 years 10 months ago
1996
ACM
Fast C implementations of four geometric predicates, the 2D and 3D orientation and incircle tests, are publicly available. Their inputs are ordinary single or double precision flo...
164
click to vote
VL
1994
IEEE
15 years 10 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...
219
click to vote
CAV
2007
Springer
15 years 10 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...
167
click to vote
DNA
2007
Springer
15 years 10 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...