4835 search results - page 175 / 967 » Refactoring Functional Programs |
106
Voted
AMOST
2005
ACM
15 years 7 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...
109
click to vote
CSL
2004
Springer
15 years 6 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 ...
124
click to vote
EUROGP
2006
Springer
15 years 6 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...
144
click to vote
HYBRID
2010
Springer
15 years 4 months ago
2010
Springer
This paper considers off-line synthesis of stabilizing static feedback control laws for discrete-time piecewise affine (PWA) systems. Two of the problems of interest within this f...
125
click to vote
VMV
2000
15 years 3 months ago
2000
In most volume rendering scenarios implicit classification is performed manually by specification of a transfer function, that maps abstract data values to visual attributes. An a...