Results 1 to 20 of 38
Sort by:

  • 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...