Sciweavers

28 search results - page 2 / 6
» Automatic Tuning of Inlining Heuristics
Sort
View
FMCAD
2007
Springer
13 years 9 months ago
Boosting Verification by Automatic Tuning of Decision Procedures
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...
Frank Hutter, Domagoj Babic, Holger H. Hoos, Alan ...
IPPS
2010
IEEE
13 years 3 months ago
Offline library adaptation using automatically generated heuristics
Automatic tuning has emerged as a solution to provide high-performance libraries for fast changing, increasingly complex computer architectures. We distinguish offline adaptation (...
Frédéric de Mesmay, Yevgen Voronenko...
ICCS
2001
Springer
13 years 9 months ago
Statistical Models for Automatic Performance Tuning
Achieving peak performance from library subroutines usually requires extensive, machine-dependent tuning by hand. Automatic tuning systems have emerged in response, and they typic...
Rich Vuduc, James Demmel, Jeff Bilmes
IEEEPACT
2009
IEEE
13 years 12 months ago
Automatic Tuning of Discrete Fourier Transforms Driven by Analytical Modeling
—Analytical models have been used to estimate optimal values for parameters such as tile sizes in the context of loop nests. However, important algorithms such as fast Fourier tr...
Basilio B. Fraguela, Yevgen Voronenko, Markus P&uu...
ICDE
2005
IEEE
107views Database» more  ICDE 2005»
13 years 11 months ago
Implementation of an Agent Architecture for Automated Index Tuning
It has been important to extend database management systems to support new requirements of applications and administration. We focus in this paper on the automatic tuning feature,...
Rogério Luís de Carvalho Costa, S&ea...