438 search results - page 38 / 88 » Optimal Solvers for PDE-Constrained Optimization |
106
click to vote
CEC
2010
IEEE
14 years 11 months ago
2010
IEEE
— In this paper, we illustrate the use of a reference point based many-objective particle swarm optimization algorithm to optimize low-speed airfoil aerodynamic designs. Our fram...
ICML
2008
IEEE
16 years 13 days ago
2008
IEEE
We have developed a new Linear Support Vector Machine (SVM) training algorithm called OCAS. Its computational effort scales linearly with the sample size. In an extensive empirica...
NOMS
2008
IEEE
15 years 6 months ago
2008
IEEE
—Storage Area Networks (SANs) connect storage devices to servers over fast network interconnects. We consider the problem of optimal SAN configuration with the goal of meeting s...
117
click to vote
ACMMSP
2005
ACM
15 years 5 months ago
2005
ACM
In this work we investigate the impact of evolving memory system features, such as large on-chip caches, automatic prefetch, and the growing distance to main memory on 3D stencil ...
107
Voted
VMCAI
2005
Springer
15 years 5 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...