
Pochoir
 Referenced in 10 articles
[sw25851]
 Pochoir is divideandconquer (cacheoblivious algorithm). In higher dimensional spacetime grid, Pochoir...

mrsFAST
 Referenced in 2 articles
[sw29574]
 mrsFAST: a cacheoblivious algorithm for shortread mapping. mrsFAST is designed to map short ... memoryefficient manner. mrsFAST is a cacheoblivous 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]
 Lowlevel 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...

SparseMatrix
 Referenced in 747 articles
[sw04629]
 The University of Florida Sparse Matrix Collection. We...

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