Sciweavers

8978 search results - page 325 / 1796
» Parallel Genetic Algorithms
Sort
View
JAR
2008
101views more  JAR 2008»
15 years 6 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
146
Voted
INFORMATICALT
2002
72views more  INFORMATICALT 2002»
15 years 6 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 ...
EUROPAR
2006
Springer
15 years 10 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
HIPC
2005
Springer
16 years 9 days ago
Mobile Pipelines: Parallelizing Left-Looking Algorithms Using Navigational Programming
Abstract. Parallelizing a sequential algorithm—i.e., manually or automatically converting it into an equivalent parallel distributed algorithm—is an important problem. Ideally,...
Lei Pan, Ming Kin Lai, Michael B. Dillencourt, Lub...
INFORMATICALT
2006
77views more  INFORMATICALT 2006»
15 years 6 months ago
Parallel Numerical Algorithms for 3D Parabolic Problem with Nonlocal Boundary Condition
Three parallel algorithms for solving the 3D problem with nonlocal boundary condition are considered. The forward and backward Euler finite-difference schemes, and LOD scheme are t...
Raimondas Ciegis