A formal method for parallel genetic algorithms

1Citations
Citations of this article
8Readers
Mendeley users who have this article in their library.

Abstract

We present a formal model that allows to analyze non trivial properties about the behavior of parallel genetic algorithms implemented using multi-islands. The model is based on a probabilistic labeled transition system, that represents the evolution of the population in each island, as well as the interaction among different islands. By studying the traces these systems can perform, the resulting model allows to formally compare the behavior of different algorithms.

Cite

CITATION STYLE

APA

López, N., Rabanal, P., Rodríguez, I., & Rubio, F. (2015). A formal method for parallel genetic algorithms. In Procedia Computer Science (Vol. 51, pp. 2698–2702). Elsevier B.V. https://doi.org/10.1016/j.procs.2015.05.389

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free