172
click to vote
GECCO
2010
Springer
15 years 9 months ago
2010
Springer
Derandomization by means of mirroring has been recently introduced to enhance the performances of (1, λ)-EvolutionStrategies (ESs) with the aim of designing fast robust local sea...
185
click to vote
ASM
2008
ASM
15 years 9 months ago
2008
ASM
This paper describes the formal modeling and analysis of a design for a flash-based filesystem in Alloy. We model the basic operations of a filesystem as well as features that are ...
208
click to vote
GECCO
2010
Springer
15 years 9 months ago
2010
Springer
Estimation-of-distribution algorithm equipped with Cauchy distribution (Cauchy EDA) is compared with Rosenbrock’s local search algorithm. Both algorithms were already presented ...
210
click to vote
ASM
2008
ASM
15 years 9 months ago
2008
ASM
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...