6800 search results - page 290 / 1360 » Testing with Functions as Specifications |
174
click to vote
SIAMSC
2008
15 years 7 months ago
2008
Abstract. We present a new derivative-free algorithm, ORBIT, for unconstrained local optimization of computationally expensive functions. A trust-region framework using interpolati...
184
click to vote
SFP
2001
15 years 8 months ago
2001
: We study type checking that is complete in the sense that it accepts every program whose subexpressions can all be executed without raising a type error at runtime. In a complete...
231
click to vote
PRL
2011
15 years 1 months ago
2011
In some real world applications, such as spectrometry, functional models achieve better predictive performances if they work on the derivatives of order m of their inputs rather t...
187
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Software products are often released with missing functionality, errors, or incompatibilities that may result in failures, inferior performances, or user dissatisfaction. In previ...
209
click to vote
RECOMB
2009
Springer
16 years 7 months ago
2009
Springer
The availability of high density single nucleotide polymorphisms (SNPs) data has made genome-wide association study computationally challenging. Twolocus epistasis (gene-gene inter...