8766 search results - page 589 / 1754 » Functional logic programming |
142
click to vote
ERSHOV
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The article concerns problems of formulating standard requirements to implementations of mathematical functions working with floating-point numbers and conformance test ...
127
Voted
DAC
2006
ACM
15 years 11 months ago
2006
ACM
We present a new method for mathematically estimating the active unit power of functional units in modern microprocessors such as the Pentium 4 family. Our method leverages the ph...
129
click to vote
AMOST
2005
ACM
15 years 10 months ago
2005
ACM
We consider the problem of generating a set of test cases from a black box specification. We focus on stress testing, i.e. picking test cases that seem most likely to reveal prog...
137
Voted
CSL
2004
Springer
15 years 8 months ago
2004
Springer
We consider a scenario where (functional) programs in pre-compiled form are exchanged among untrusted parties. Our contribution is a system of annotations for the code that can be ...
153
click to vote
EUROGP
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. A new model for evolving crossover operators for evolutionary function optimization is proposed in this paper. The model is a hybrid technique that combines a Genetic Pro...