1173 search results - page 109 / 235 » Program Derivation Using Analogy |
155
click to vote
ICFP
2004
ACM
16 years 4 months ago
2004
ACM
A generic function is a function that can be instantiated on many data types to obtain data type specific functionality. Examples of generic functions are the functions that can b...
151
click to vote
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
144
click to vote
MP
2006
15 years 4 months ago
2006
We study two different lot-sizing problems with time windows that have been proposed recently. For the case of production time windows, in which each client specific order must be ...
119
click to vote
CEC
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— This paper investigates the performance of trading strategies identified through Computational Intelligence techniques. We focus on trading rules derived by Genetic Pr...
144
Voted
VMCAI
2007
Springer
15 years 11 months ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...