• ADDSAFE

  • Referenced in 1 article [sw19643]
  • Development and application of sliding mode LPV fault...
  • ALPBench

  • Referenced in 4 articles [sw13521]
  • The ALPBench benchmark suite for complex multimedia applications...
  • Balibase

  • Referenced in 21 articles [sw08913]
  • BAliBASE: a benchmark alignment database for the evaluation...
  • BEAVRS

  • Referenced in 1 article [sw18276]
  • Benchmark for Evaluation and Validation of Reactor Simulations...
  • BEEM

  • Referenced in 24 articles [sw09815]
  • BEEM: Benchmarks for Explicit Model Checker. We present...
  • benchmark

  • Referenced in 2 articles [sw06781]
  • benchmark: Benchmark Experiments Toolbox. The benchmark package provides...
  • Benchmarks

  • Referenced in 19 articles [sw04612]
  • Safety verification of hybrid systems by constraint propagation...
  • BerlinMOD

  • Referenced in 2 articles [sw06649]
  • BerlinMOD: a benchmark for moving object databases This...
  • CAREX

  • Referenced in 14 articles [sw11663]
  • CAREX – a collection of benchmark examples for continuous...
  • CEC 05

  • Referenced in 135 articles [sw18811]
  • Problem Definitions and Evaluation Criteria for the CEC...
  • CEC 13

  • Referenced in 13 articles [sw18812]
  • Problem definitions and evaluation criteria for the CEC...
  • COCO

  • Referenced in 3 articles [sw13350]
  • COCO (COmparing Continuous Optimisers) is a platform for...
  • COMMS1

  • Referenced in 2 articles [sw07691]
  • Communication Benchmarks: COMMS1 and COMMS2 The purpose of...
  • CSPLib

  • Referenced in 70 articles [sw04150]
  • CSPLib is a library of test problems for...
  • DaCapo

  • Referenced in 14 articles [sw07215]
  • This benchmark suite is intended as a tool...
  • DPPD

  • Referenced in 13 articles [sw09884]
  • The DPPD (Dozens of Problems for Partial Deduction...