- Referenced in 574 articles
- magnitude performance improvement on difficult SAT benchmarks in comparison with other solvers (DP or otherwise...
- Referenced in 260 articles
- 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...
- Referenced in 314 articles
- various academic and industrial applications suited for benchmarking and testing of mip solution algorithms...
Benchmarks for Optimization Software
- Referenced in 141 articles
- 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
- 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...
- Referenced in 148 articles
- 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...
- Referenced in 187 articles
- common standards and a library of benchmarks would greatly facilitate the evaluation and the comparison...
- Referenced in 179 articles
- Berkeley Segmentation Dataset and Benchmark. A database of human segmented natural images and its application...
- Referenced in 171 articles
- Real-Parameter Optimization. .. In this report, 25 benchmark functions are given and experiments are conducted...
- Referenced in 117 articles
- 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...
- Referenced in 137 articles
- convergence performance for a set of 20 benchmark problems. JADE with an external archive shows...
- Referenced in 124 articles
- Isabelle tactics on a variety of benchmarks from Isabelle and the TPTP library. Sledgehammer provides...
- Referenced in 116 articles
- polyhedra. Experimental results for a navigation benchmark and a tunnel diode circuit show the eﬀectiveness...
- Referenced in 81 articles
- 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...
- Referenced in 111 articles
- computer code, and f) the presentation of benchmark problems and applications.par This book will...
- Referenced in 58 articles
- Benchmark examples for model reduction of linear time-invariant dynamical systems. We present a benchmark ... describe here the relevant characteristics of the benchmark examples...
- Referenced in 92 articles
- technical report page) a list of related benchmark libraries links to constraint solvers a history...
- Referenced in 91 articles
- tasks. In this work we will provide benchmarks, present the novel aspects of the implementation...
- Referenced in 90 articles
- series of cross-validation tests on the benchmark data sets that covered...