• Normaliz

  • Referenced in 146 articles [sw00630]
  • tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones. Its input...
  • AProVE

  • Referenced in 145 articles [sw07831]
  • first termination prover which can be fully configured by the user...
  • irace

  • Referenced in 77 articles [sw08008]
  • irace Package: Iterated Race for Automatic Algorithm Configuration. The irace package implements the iterated racing ... procedure. Its main purpose is to automatically configure optimization algorithms by finding the most appropriate ... implemented in R. Keywords: automatic configuration, offline tuning, parameter tuning, racing, F-race. Relevant literature ... irace package, Iterated Race for Automatic Algorithm Configuration. Technical Report TR/IRIDIA/2011-004, IRIDIA, Université libre...
  • Paramils

  • Referenced in 66 articles [sw00678]
  • Paramils: an automatic algorithm configuration framework. The identification of performance-optimizing parameter settings ... describe an automatic framework for this algorithm configuration problem. More formally, we provide methods ... family of local-search-based algorithm configuration procedures and present novel techniques for accelerating them ... limiting the time spent for evaluating individual configurations. We describe the results of a comprehensive...
  • Yale Face

  • Referenced in 121 articles [sw08767]
  • subject, one per different facial expression or configuration: center-light, w/glasses, happy, left-light, w/no...
  • Oz

  • Referenced in 113 articles [sw06799]
  • problems like scheduling, time tabling, placement and configuration, reasoning and knowledge representation, processing of natural...
  • TOPCOM

  • Referenced in 59 articles [sw04867]
  • TOPCOM: Triangulations of point configurations and oriented matroids. TOPCOM is a package for computing triangulations ... point configurations and oriented matroids. For example, for a point configuration one can compute...
  • SMAC

  • Referenced in 53 articles [sw27215]
  • SMAC: Sequential Model-based Algorithm Configuration. SMAC (sequential model-based algorithm configuration) is a versatile...
  • CPAchecker

  • Referenced in 47 articles [sw07408]
  • software verification, based on the concepts of configurable program analysis (CPA). We submit a CPAchecker ... configuration that uses a sequential combination of two approaches. It starts with an explicit-state...
  • BEAM189

  • Referenced in 45 articles [sw07447]
  • case of nonlinear problem and the complicated configuration. The wrinkling stress distribution and the pressure ... large scale inflatable structures with complex configuration...
  • AETG

  • Referenced in 58 articles [sw09715]
  • system’s test scenarios. Examples are system configuration parameters, user inputs and other external events...
  • K Prover

  • Referenced in 41 articles [sw32257]
  • tools can be defined, making use of configurations, computations and rules. Configurations organize the system/program...
  • KORBX

  • Referenced in 55 articles [sw04341]
  • both hardware, which uses parallel processing technology configured with 256 MB of memory, and software...
  • JADE

  • Referenced in 39 articles [sw11698]
  • share the same OS) and the configuration can be controlled via a remote ... configuration can be even changed at run-time by moving agents from one machine...
  • xAct

  • Referenced in 54 articles [sw07598]
  • General Relativity. It is highly programmable and configurable. Since its first public release in March...
  • MiBench

  • Referenced in 51 articles [sw04421]
  • characterize the performance of the benchmarks using configurations similar to current and next generation embedded...
  • RealPaver

  • Referenced in 50 articles [sw04401]
  • search strategies. Package: Realpaver is open source, configurable, object-oriented, and ISO C++ compliant...
  • GridSim

  • Referenced in 49 articles [sw01392]
  • heterogeneous in terms of processing capability, configuration, and availability. The resource brokers use scheduling algorithms...
  • HLLC

  • Referenced in 49 articles [sw06530]
  • phase flow for the “subsonic” wave configuration. The solver is fully nonlinear. It is also...
  • Amazon EC2

  • Referenced in 44 articles [sw29777]
  • service interface allows you to obtain and configure capacity with minimal friction. It provides...