
irace
 Referenced in 87 articles
[sw08008]
 irace Package: Iterated Race for Automatic Algorithm Configuration. The irace package implements the iterated racing ... main purpose is to automatically configure optimization algorithms by finding the most appropriate settings given ... implemented in R. Keywords: automatic configuration, offline tuning, parameter tuning, racing, Frace. Relevant literature ... irace package, Iterated Race for Automatic Algorithm Configuration. Technical Report TR/IRIDIA/2011004, IRIDIA, Université libre...

Paramils
 Referenced in 70 articles
[sw00678]
 Paramils: an automatic algorithm configuration framework. The identification of performanceoptimizing parameter settings ... describe an automatic framework for this algorithm configuration problem. More formally, we provide methods ... family of localsearchbased algorithm configuration procedures and present novel techniques for accelerating them ... considerable effort. Nevertheless, using our automated algorithm configuration procedures, we achieved substantial and consistent performance...

SMAC
 Referenced in 58 articles
[sw27215]
 SMAC: Sequential Modelbased Algorithm Configuration. SMAC (sequential modelbased algorithm configuration) is a versatile...

SATenstein
 Referenced in 17 articles
[sw14233]
 solver strategies. We used an automated algorithm configuration procedure to find instantiations of SATenstein that ... previous state of the art in SLS algorithms; for many benchmark distributions, our new solvers...

JCLEC
 Referenced in 16 articles
[sw08869]
 runner is a scripting environment to run algorithms in batch mode; finally, GenLab ... user interface that allows users to configure an algorithm, to execute it interactively...

GridSim
 Referenced in 49 articles
[sw01392]
 schedulers) for design and evaluation of scheduling algorithms. It provides a comprehensive facility for creating ... processing capability, configuration, and availability. The resource brokers use scheduling algorithms or policies for mapping...

TOPCOM
 Referenced in 62 articles
[sw04867]
 oriented matroids. For example, for a point configuration one can compute the chirotope, components ... triangulations, enumerate all triangulations. The core algorithms implemented in TOPCOM are described, and implentation issues...

MCTDH
 Referenced in 32 articles
[sw14837]
 stands for Multi Configuration Time Dependent Hartree. MCTDH is a general algorithm to solve...

AClib
 Referenced in 4 articles
[sw31707]
 AClib: a benchmark library for algorithm configuration. The goal of AClib is to define ... standard benchmarks for algorithm configuration in order to provide a solid foundation for empirical science...

xAct
 Referenced in 58 articles
[sw07598]
 Mathematica. xAct implements stateoftheart algorithms for fast manipulations of indices ... General Relativity. It is highly programmable and configurable. Since its first public release in March...

SpySMAC
 Referenced in 3 articles
[sw16741]
 SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers. Most modern SAT solvers expose ... consequence several automated algorithm configuration methods have been developed for this purpose. Although automatic algorithm...

bmds
 Referenced in 12 articles
[sw27804]
 Markov chain Monte Carlo algorithm is proposed for object configuration, along with a simple Bayesian...

Autoref
 Referenced in 14 articles
[sw12809]
 prototyping of verified, executable algorithms. Moreover, it can be configured to finetune the result ... tool is able to automatically instantiate generic algorithms, which greatly simplifies the implementation of executable...

MSOPSII
 Referenced in 13 articles
[sw11982]
 generalpurpose multi/many objective optimisation algorithm, requiring minimal initial configuration...

AETG
 Referenced in 61 articles
[sw09715]
 system’s test scenarios. Examples are system configuration parameters, user inputs and other external events ... system. The AETG system uses new combinatorial algorithms to generate test sets that cover...

KORBX
 Referenced in 55 articles
[sw04341]
 both hardware, which uses parallel processing technology configured with 256 MB of memory, and software ... KORBX linear programming software system contains four algorithms which are variations of the interior point...

GlobSol
 Referenced in 38 articles
[sw06724]
 first overall description of GlobSol’s algorithm. Giving advice on use, we point out strengths ... approaches. Through examples, we show how to configure and use GlobSol...

COBRA
 Referenced in 26 articles
[sw02211]
 algorithm to assess stability against ideal ballooning modes in general threedimensional magnetic configurations...

LearnLib
 Referenced in 18 articles
[sw09913]
 available learning algorithms and corresponding optimizations. Its modular structure allows users to configure their...

CCASat
 Referenced in 11 articles
[sw12924]
 configuration checking (CC) for SAT. The CC strategy results in a simple local search algorithm ... called configuration checking with aspiration (CCA). The CCA heuristic leads to an improved algorithm called...