HAL: A framework for the automated analysis and design of high-performance algorithms

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6683 LNCS, Issue , 2011, Pages 600-615

  Nell, Christopher ^a   Fawcett, Chris ^a   Hoos, Holger H ^a   Leyton Brown, Kevin ^a  

^a UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED ALGORITHMS; AUTOMATED ANALYSIS; AUTOMATED TOOLS; COMPLEX ANALYSIS; CORE COMPONENTS; DISTRIBUTED EXECUTION; EMPIRICAL METHOD; FORMAL DESCRIPTION; HIGH-PERFORMANCE SOLVERS; MIXED-INTEGER PROGRAMMING; REMOTE MONITORING;

ALGORITHMS; DESIGN; DIGITAL STORAGE; INFORMATION MANAGEMENT; INTEGER PROGRAMMING; OPTIMIZATION;

AUTOMATION;

EID: 84868571346     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-25566-3_47     Document Type: Conference Paper

References (17)

1. Xu, L., Hutter, F., Hoos, H.H., Leyton-Brown, K.: SATzilla: Portfolio-based algorithm selection for SAT. JAIR 32, 565-606 (2008)
2. Chiarandini, M., Fawcett, C., Hoos, H.H.: A modular multiphase heuristic solver for post enrollment course timetabling (extended abstract). In: PATAT (2008)
3. Hutter, F., Hoos, H.H., Leyton-Brown, K.: Automated configuration of mixed integer programming solvers. In: Lodi, A., Milano, M., Toth, P. (eds.) CPAIOR 2010. LNCS, vol. 6140, pp. 186-202. Springer, Heidelberg (2010)
4. Hoos, H.H.: Computer-aided design of high-performance algorithms. Technical Report TR-2008-16, University of British Columbia, Computer Science (2008)
5. Hoos, H.H., Stützle, T.: Stochastic Local Search-Foundations and Applications. Morgan Kaufmann Publishers, USA (2004)
6. Hutter, F., Hoos, H.H., Stützle, T.: Automatic algorithm configuration based on local search. In: AAAI (2007)
7. Hutter, F., Hoos, H.H., Leyton-Brown, K., Stützle, T.: ParamILS: An automatic algorithm configuration framework. JAIR 36, 267-306 (2009)
8. Ansótegui, C., Sellmann, M., Tierney, K.: A gender-based genetic algorithm for the automatic configuration of algorithms. In: Gent, I.P. (ed.) CP 2009. LNCS, vol. 5732, pp. 142-157. Springer, Heidelberg (2009)
9. Nudelman, E., Leyton-Brown, K., Devkar, A., Shoham, Y., Hoos, H.H.: Understanding random SAT: Beyond the clauses-to-variables ratio. In: Wallace, M. (ed.) CP 2004. LNCS, vol. 3258, pp. 438-452. Springer, Heidelberg (2004)
10. Xu, L., Hoos, H.H., Leyton-Brown, K.: Hydra: Automatically configuring algorithms for portfolio-based selection. In: AAAI (2010)
11. Mittelmann, H.D., Pruessner, A.: A server for automated performance analysis of benchmarking data. Opt. Meth. Soft. 21(1), 105-120 (2006)
12. Balint, A., Gall, D., Kapler, G., Retz, R.: Experiment design and administration for computer clusters for SAT-solvers (EDACC). JSAT 7, 77-82 (2010)
13. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, New York (1995)
14. Kadioglu, S., Malitsky, Y., Sellmann, M., Tierney, K.: ISAC - Instance-specific algorithm configuration. In: ECAI (2010)
15. Babić, D.: Exploiting Structure for Scalable Software Verification. PhD thesis, University of British Columbia, Vancouver, Canada (2008)
16. Hutter, F., Babić, D., Hoos, H.H., Hu, A.: Boosting verification by automatic tuning of decision procedures. In: FMCAD (2007)
17. Hutter, F., Hoos, H.H., Leyton-Brown, K.: Sequential model-based optimization for general algorithm configuration (extended version). Technical Report TR-2010-10, University of British Columbia, Computer Science (2010)