Results 1 to 20 of 2435
Sort by:

  • Chaff
  • Referenced in 586 articles [sw06916]
  • magnitude performance improvement on difficult SAT benchmarks in comparison with other solvers (DP or otherwise...

  • PSPLIB
  • Referenced in 269 articles [sw00740]
  • problem library. We present a set of benchmark instances for the evaluation of solution procedures ... input-parameters of ProGen. The entire benchmark set including its detailed characterization and the best ... site. Hence, researchers can download the benchmark sets they need for the evaluation of their...

  • MIPLIB
  • Referenced in 328 articles [sw04067]
  • various academic and industrial applications suited for benchmarking and testing of mip solution algorithms...

  • Benchmarks for Optimization Software
  • Referenced in 149 articles [sw04617]
  • Benchmarks for Optimization Software: Here we provide information on testruns comparing different solution methods ... same or on different computer systems. Benchmarking is a difficult area for nonlinear problems, since ... your choice on your specific application. Many benchmark results can be found in the literature...

  • NAS Parallel Benchmarks
  • Referenced in 128 articles [sw08853]
  • Parallel Benchmarks (NPB) are a small set of programs designed to help evaluate the performance ... parallel supercomputers. The benchmarks are derived from computational fluid dynamics (CFD) applications and consist ... pencil-and-paper” specification (NPB 1). The benchmark suite has been extended to include ... benchmarks for unstructured adaptive mesh, parallel I/O, multi-zone applications, and computational grids. Problem sizes...

  • NETGEN
  • Referenced in 148 articles [sw09229]
  • network problems together with a set of benchmarked problems derived from it. The code “NETGEN ... vary structural characteristics within a class. Problems benchmarked on several codes currently available are provided...

  • SMT-LIB
  • Referenced in 196 articles [sw04103]
  • common standards and a library of benchmarks would greatly facilitate the evaluation and the comparison...

  • BSDS
  • Referenced in 193 articles [sw14427]
  • Berkeley Segmentation Dataset and Benchmark. A database of human segmented natural images and its application...

  • CEC 05
  • Referenced in 178 articles [sw18811]
  • Real-Parameter Optimization. .. In this report, 25 benchmark functions are given and experiments are conducted...

  • RCV1
  • Referenced in 123 articles [sw07279]
  • RCV1: A New Benchmark Collection for Text Categorization Research. Reuters Corpus Volume I (RCV1 ... corrected data as RCV1-v2. We benchmark several widely used supervised learning methods on RCV1...

  • JADE

  • Referenced in 146 articles [sw24855]
  • convergence performance for a set of 20 benchmark problems. JADE with an external archive shows...

  • Sledgehammer
  • Referenced in 138 articles [sw07047]
  • Isabelle tactics on a variety of benchmarks from Isabelle and the TPTP library. Sledgehammer provides...

  • JuMP
  • Referenced in 126 articles [sw16108]
  • tasks. In this work we will provide benchmarks, present the novel aspects of the implementation...

  • BEMECH
  • Referenced in 119 articles [sw10847]
  • computer code, and f) the presentation of benchmark problems and applications.par This book will...

  • PHAVer
  • Referenced in 117 articles [sw04123]
  • polyhedra. Experimental results for a navigation benchmark and a tunnel diode circuit show the effectiveness...

  • SLICOT
  • Referenced in 84 articles [sw01095]
  • rigorous programming and documentation standards; 7. benchmarking, i.e., a standardised set of examples that allows ... with respect to correctness, accuracy, and speed. Benchmarking gives also insight in the behaviour...

  • GWO
  • Referenced in 104 articles [sw40816]
  • prey, are implemented. The algorithm is then benchmarked on 29 well-known test functions...

  • benchmodred
  • Referenced in 65 articles [sw27644]
  • Benchmark examples for model reduction of linear time-invariant dynamical systems. We present a benchmark ... describe here the relevant characteristics of the benchmark examples...

  • SMS-EMOA
  • Referenced in 95 articles [sw11894]
  • methods on two- and three-objective benchmark suites as well as on aeronautical real-world...