• Pochoir

  • Referenced in 10 articles [sw25851]
  • Pochoir is divide-and-conquer (cache-oblivious algorithm). In higher dimensional space-time grid, Pochoir...
  • mrsFAST

  • Referenced in 2 articles [sw29574]
  • mrsFAST: a cache-oblivious algorithm for short-read mapping. mrsFAST is designed to map short ... memory-efficient manner. mrsFAST is a cache-oblivous short read mapper that optimizes cache usage...
  • ATLAS

  • Referenced in 199 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • FLAME

  • Referenced in 39 articles [sw00293]
  • We present a number of application program interfaces...
  • Isabelle

  • Referenced in 719 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LAPACK

  • Referenced in 1713 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Magma

  • Referenced in 3363 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • SPIRAL

  • Referenced in 48 articles [sw00903]
  • The SPIRAL system (www.spiral.net) is a tool for...
  • CLAPACK

  • Referenced in 90 articles [sw03112]
  • C version of LAPACK, a transportable library for...
  • BLAS

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

  • Referenced in 1336 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • JDQR

  • Referenced in 513 articles [sw04021]
  • From this page you can get a Matlab...
  • CPLEX

  • Referenced in 2804 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • FFTW

  • Referenced in 553 articles [sw04126]
  • FFTW is a C subroutine library for computing...
  • LINPACK

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

  • Referenced in 69 articles [sw04316]
  • Chombo - Software for Adaptive Solutions of Partial Differential...
  • Valgrind

  • Referenced in 63 articles [sw04420]
  • Valgrind is an instrumentation framework for building dynamic...
  • HOL

  • Referenced in 594 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...