196
click to vote
ASM
2008
ASM
15 years 9 months ago
2008
ASM
Event-B is a formal modelling method which is claimed to be suitable for diverse modelling domains, such as reactive systems and sequential program development. This claim hinges o...
213
click to vote
ASM
2008
ASM
15 years 9 months ago
2008
ASM
A Virtual Machine (VM) is a program running on a conventional microprocessor that emulates the binary instruction set, registers, and memory space of an idealized computing machine...
191
click to vote
ASM
2008
ASM
15 years 9 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
193
click to vote
GECCO
2010
Springer
2010
Springer
Investigating the impact of sequential selection in the (1, 4)-CMA-ES on the noisy BBOB-2010 testbed
15 years 9 months ago
Sequential selection, introduced for Evolution Strategies (ESs) with the aim of accelerating their convergence, consists in performing the evaluations of the different offspring...