• SparseMatrix

  • Referenced in 527 articles [sw04629]
  • algebra community for the development and performance evaluation of sparse matrix algorithms. It allows...
  • PEPA

  • Referenced in 109 articles [sw10692]
  • PEPA: Performance Evaluation Process Algebra. PEPA tools: The PEPA process algebra is supported ... Plug-in contains a PEPA editor and performance analysers which use Markov chain...
  • TPTP

  • Referenced in 333 articles [sw04143]
  • testing and evaluation of ATP systems, to help ensure that performance results accurately reflect capabilities ... problems is necessary for meaningful system evaluations, meaningful system comparisons, repeatability of testing...
  • NAS Parallel Benchmarks

  • Referenced in 125 articles [sw08853]
  • programs designed to help evaluate the performance of parallel supercomputers. The benchmarks are derived from...
  • LOF

  • Referenced in 72 articles [sw19311]
  • with existing approaches. Finally, a careful performance evaluation of our algorithm confirms we show that...
  • GreatSPN

  • Referenced in 55 articles [sw00384]
  • package for the modeling, validation, and performance evaluation of distributed systems using Generalized Stochastic Petri...
  • AntNet

  • Referenced in 66 articles [sw11975]
  • machine learning fields. The algorithms’ performance is evaluated over a set of realistic testbeds ... Results are very encouraging. AntNet showed superior performance under all the experimental conditions with respect...
  • SHARPE

  • Referenced in 39 articles [sw03100]
  • SHARPE, (Symbolic Hierarchical Automated Reliability and Performance Evaluator) is a tool for specifying and analyzing...
  • GreatSPN 1.7

  • Referenced in 39 articles [sw01562]
  • package for the modeling, validation, and performance evaluation of distributed systems using Generalized Stochastic Petri...
  • DOT

  • Referenced in 58 articles [sw14223]
  • provide the required function evaluations needed to perform the optimization. These function evaluations...
  • SLICOT

  • Referenced in 77 articles [sw01095]
  • achieved accuracy should be given; 4. performance with respect to speed and memory requirements. Although ... examples that allows an evaluation of the performance of a method as well...
  • PEPS

  • Referenced in 33 articles [sw03186]
  • Performance Evaluation for Parallel Systems(PEPS). PEPS is a software tool used to analyze Stochastic ... tool itself is applied to predict the performance of this model...
  • Rcpp

  • Referenced in 137 articles [sw08385]
  • advantage of lazy evaluation and expression templates to achieve great performance while exposing a syntax...
  • GEMM

  • Referenced in 30 articles [sw02792]
  • GEMM-based level 3 BLAS performance evaluation benchmark is a tool for evaluating and comparing...
  • PYTHIA

  • Referenced in 29 articles [sw00747]
  • software and has been used for performance evaluation in several different problem domains...
  • ACSL

  • Referenced in 43 articles [sw04216]
  • computer language designed for modelling and evaluating the performance of continuous systems described by time...
  • SPEC Benchmarks

  • Referenced in 23 articles [sw21476]
  • spec: Standard Performance Evaluation Corporation. SPEC’s first benchmark suite to measure cloud performance SPEC...
  • Antichains

  • Referenced in 24 articles [sw20208]
  • antichains of state sets. We evaluate the performance of our algorithm experimentally using the random...
  • SpecuLOOS

  • Referenced in 9 articles [sw15266]
  • focus is put on the performance evaluation of several aspects with a particular emphasis ... parallel efficiency. The performance evaluation is analyzed with the help of a time prediction model...
  • InterFOAM

  • Referenced in 18 articles [sw09035]
  • Evaluating the performance of the two-phase flow solver interFoam. The performance of the open...