• RIATA-HGT

  • Referenced in 6 articles [sw17371]
  • incongruence among species and gene trees. Empirical performance of the method on synthetic and biological ... outstanding. Being a heuristic, RIATA-HGT may overestimate the optimal number ... events; empirical performance, however, shows that such overestimation is very mild. par We have implemented...
  • APOGEE

  • Referenced in 35 articles [sw08451]
  • linear scheme that activates appropriate under- and overestimators with a number of binary decision variables ... binary variables and computationally compare the performance of this new formulation to the best-performing...
  • SHOT

  • Referenced in 13 articles [sw15630]
  • cutting plane algorithm ESH generates a tighter overestimated set and unlike outer approximation the generation ... extensive numerical comparison of its performance against other state-of-the-art MINLP solvers...
  • DBH

  • Referenced in 0 articles [sw23363]
  • higher clustering performance and low memory usage, facilitating the overestimation of OTUs number...
  • ParVec

  • Referenced in 1 article [sw13519]
  • order to ensure correctness and perform performance and energy evaluations. However, keeping up with architectural ... others, architects may end up overestimating the impact of certain techniques and underestimating others ... custom vectorization and math libraries. The performance and energy efficiency improvements from vectorization depend greatly...
  • iOverbook

  • Referenced in 1 article [sw22897]
  • becomes feasible because user applications tend to overestimate their resource requirements utilizing only a fraction ... resource usage along with the expected mean performance of host machines. To evaluate our approach...
  • C-XSC

  • Referenced in 109 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • C-XSC 2.0

  • Referenced in 125 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • INTLIB

  • Referenced in 29 articles [sw00444]
  • Algorithm 737: INTLIB - a portable Fortran 77 interval...
  • LAPACK

  • Referenced in 1649 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Matlab

  • Referenced in 12640 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • PROFIL/BIAS

  • Referenced in 133 articles [sw00733]
  • PROFIL (Programmer’s Runtime Optimized Fast Interval Library...
  • SUNDIALS

  • Referenced in 220 articles [sw00927]
  • SUNDIALS was implemented with the goal of providing...
  • BLAS

  • Referenced in 490 articles [sw03216]
  • Low-level utilities common to many mathematical software...
  • INTLAB

  • Referenced in 439 articles [sw04004]
  • INTLAB is the Matlab toolbox for reliable computing...
  • CUTEr

  • Referenced in 578 articles [sw04010]
  • CUTEr is a versatile testing environment for optimization...
  • LINPACK

  • Referenced in 516 articles [sw04209]
  • LINPACK is a collection of Fortran subroutines that...
  • INTOPT_90

  • Referenced in 305 articles [sw04705]
  • Rigorous global search: continuous problems The monograph gives...