Sciweavers

4083 search results - page 5 / 817
» The EvA2 Optimization Framework
Sort
View
CC
2001
Springer
176views System Software» more  CC 2001»
13 years 11 months ago
A Framework for Optimizing Java Using Attributes
Abstract. This paper presents a framework for supporting the optimization of Java programs using attributes in Java class files. We show how class file attributes may be used to ...
Patrice Pominville, Feng Qian, Raja Vallée-...
ICFP
2008
ACM
14 years 6 months ago
Write it recursively: a generic framework for optimal path queries
Optimal path queries are queries to obtain an optimal path specified by a given criterion of optimality. There have been many studies to give efficient algorithms for classes of o...
Akimasa Morihata, Kiminori Matsuzaki, Masato Takei...
SEFM
2006
IEEE
14 years 21 days ago
A PVS Based Framework for Validating Compiler Optimizations
An optimization can be specified as sequential compositions of predefined transformation primitives. For each primitive, we can define soundness conditions which guarantee that th...
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
ICRA
2005
IEEE
103views Robotics» more  ICRA 2005»
14 years 8 days ago
A Model-Based Framework for Optimal Measurements in Machine Tool Calibration
— Calibration is the procedure of quantifying mechanical deficiencies of machines and compensating them by appropriate adjustment. This paper introduces a modelbased measurement...
D. Brunn, Uwe D. Hanebeck
GECCO
2004
Springer
104views Optimization» more  GECCO 2004»
14 years 2 days ago
SWAF: Swarm Algorithm Framework for Numerical Optimization
A swarm algorithm framework (SWAF), realized by agent-based modeling, is presented to solve numerical optimization problems. Each agent is a bare bones cognitive architecture, whic...
Xiao-Feng Xie, Wenjun Zhang