Sciweavers

34170 search results - page 163 / 6834
» Optimization
Sort
View
SIGMOD
2010
ACM
364views Database» more  SIGMOD 2010»
15 years 8 months ago
Optimizing schema-last tuple-store queries in graphd
Current relational databases require that a database schema exist prior to data entry and require manual optimization for best performance. We describe the query optimization tech...
Scott M. Meyer, Jutta Degener, John Giannandrea, B...
ICSE
2010
IEEE-ACM
15 years 8 months ago
An empirical study of optimizations in YOGI
Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite the fact that seve...
Aditya V. Nori, Sriram K. Rajamani
EMO
2009
Springer
181views Optimization» more  EMO 2009»
15 years 8 months ago
Multi-Objective Particle Swarm Optimizers: An Experimental Comparison
Particle Swarm Optimization (PSO) has received increased attention in the optimization research community since its first appearance. Regarding multi-objective optimization, a con...
Juan José Durillo, José Garcí...
124
Voted
ESEC
1999
Springer
15 years 7 months ago
Comparison Checking: An Approach to Avoid Debugging of Optimized Code
Abstract. We present a novel approach to avoid the debugging of optimized code through comparison checking. In the technique presented, both the unoptimized and optimized versions ...
Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa
125
Voted
IPPS
1998
IEEE
15 years 7 months ago
Locality Optimization for Program Instances
Abstract. The degree of locality of a program re ects the level of temporal and spatial concentration of related data and computations. Locality optimization can speed up programs ...
Claudia Leopold