• GPU Quicksort

  • Referenced in 8 articles [sw12707]
  • graphics processors, such as radix and bitonic sort. quicksort can thus be seen...
  • Coq

  • Referenced in 1818 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Matlab

  • Referenced in 12477 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • SageMath

  • Referenced in 1714 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • JML

  • Referenced in 188 articles [sw04597]
  • The Java Modeling Language (JML) is a behavioral...
  • mctoolbox

  • Referenced in 1422 articles [sw04827]
  • The Matrix Computation Toolbox is a collection of...
  • hfloat

  • Referenced in 20 articles [sw05402]
  • hfloat (for huge floats) is a library package...
  • OEIS

  • Referenced in 3522 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • VTune

  • Referenced in 19 articles [sw08852]
  • Intel® VTune™ Amplifier. Performance profiler for serial and...
  • KeY

  • Referenced in 63 articles [sw09969]
  • The KeY System is a formal software development...
  • Algorithm 447

  • Referenced in 139 articles [sw12877]
  • Algorithm 447: effcient algorithms for graph manipulation. Efficient...
  • Quicksort

  • Referenced in 151 articles [sw20694]
  • On the adaptiveness of Quicksort. Quicksort was first...