Sciweavers

8125 search results - page 235 / 1625
» Parallelism and evolutionary algorithms
Sort
View
131
Voted
JAR
2008
101views more  JAR 2008»
15 years 3 months ago
Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves
This article describes the formal verification of a compilation algorithm that transforms parallel moves (parallel assignments between variables) into a semanticallyequivalent sequ...
Laurence Rideau, Bernard P. Serpette, Xavier Leroy
INFORMATICALT
2002
72views more  INFORMATICALT 2002»
15 years 3 months ago
One Application of the Parallelization Tool of Master-Slave Algorithms
The paper analyzes the performance of parallel global optimization algorithm, which is used to optimize grillage-type foundations. The parallel algorithm is obtained by using the a...
Milda Baravykaite, Rimantas Belevicius, Raimondas ...
PPSN
2004
Springer
15 years 9 months ago
Robust Parallel Genetic Algorithms with Re-initialisation
The influence of different parallel genetic algorithm (PGA) architectures on the GA convergence properties is analysed. Next, two proposed versions of these PGA architectures are c...
Ivan Sekaj
130
Voted
EUROPAR
2006
Springer
15 years 7 months ago
Implementing Irregular Parallel Algorithms with OpenMP
Writing irregular parallel algorithms with OpenMP has been rarely practised in the past. Yet it is possible, and in this paper we will use a simple breadth
Michael Süß, Claudia Leopold
131
Voted
HM
2007
Springer
118views Optimization» more  HM 2007»
15 years 10 months ago
Evolutionary Clustering Search for Flowtime Minimization in Permutation Flow Shop
This paper deals with the Permutation Flow Shop scheduling problem with the objective of minimizing total flow time, and therefore reducing in-process inventory. A new hybrid meta...
Geraldo Ribeiro Filho, Marcelo Seido Nagano, Luiz ...