Sciweavers

3379 search results - page 31 / 676
» Parallel cross-entropy optimization
Sort
View
SAS
2009
Springer
175views Formal Methods» more  SAS 2009»
14 years 9 months ago
Automatic Parallelization and Optimization of Programs by Proof Rewriting
We show how, given a program and its separation logic proof, one can parallelize and optimize this program and transform its proof simultaneously to obtain a proven parallelized an...
Clément Hurlin
MICCAI
2004
Springer
14 years 9 months ago
Parallel Optimization Approaches for Medical Image Registration
Optimization of a similarity metric is an essential component in most medical image registration approaches based on image intensities. The increasing availability of parallel comp...
Mark P. Wachowiak, Terry M. Peters
ROBIO
2006
IEEE
130views Robotics» more  ROBIO 2006»
14 years 2 months ago
GA-Based Multi-Objective Optimal Design of a Planar 3-DOF Cable-Driven Parallel Manipulator
— The architecture optimization of a three degrees of freedom (3-DOF) planar cable-driven parallel manipulator (CDPM) with multiple objectives has been implemented by means of GA...
Yangmin Li, Qingsong Xu
PC
2011
314views Management» more  PC 2011»
13 years 3 months ago
Restart strategies in optimization: parallel and serial cases
This paper addresses the problem of minimizing the average running time of the Las Vegas type algorithm, both in serial and parallel setups. The necessary conditions for the exist...
Oleg V. Shylo, Timothy Middelkoop, Panos M. Pardal...