
ADAPT
 Referenced in 6 articles
[sw29918]
 dynamically applying loop distribution, loop unrolling, loop tiling and automatic parallelization. We show that...

DynTile
 Referenced in 3 articles
[sw09639]
 DynTile: Parametric tiled loop generation for parallel execution on multicore processors. Loop tiling ... addressed the problem of generating sequential parametric tiled code. In this paper we describe DynTile ... code containing affine imperfectly nested loops to parametrically tiled code for parallel execution on multicore...

MODESTO
 Referenced in 1 article
[sw39665]
 Heterogeneous Architectures. Code transformations, such as loop tiling and loop fusion, are of key importance...

TRACO
 Referenced in 4 articles
[sw18990]
 arbitrarily nested loop sequences in numerical applications. Algorithms for generation of tiled code and extracting ... slices composed of tiles are presented. Parallelism of arbitrary nested loops is obtained by creating...

SLOPE
 Referenced in 1 article
[sw33639]
 time system for fusing and tiling sequences of loops with indirect memory accesses...

CLTune
 Referenced in 2 articles
[sw20250]
 would perform loop unrolling or local memory tiling through a preprocessor define, just remove...

PLuTo
 Referenced in 4 articles
[sw09621]
 regular programs (sequences of possibly imperfectly nested loops) for parallelism and locality simultaneously. Through this ... explicit view of finding good ways of tiling for parallelism and locality using affine transformations ... also address generation of tiled code for multiple statement domains of arbitrary dimensionalities under (statement ... powerful empirical/iterative optimization for general arbitrarily nested loop sequences...

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

Cinderella
 Referenced in 153 articles
[sw00127]
 An Interactive Geometry Software. Besides support for dynamic...

Coq
 Referenced in 1880 articles
[sw00161]
 Coq is a formal proof management system. It...

GAP
 Referenced in 3154 articles
[sw00320]
 GAP is a system for computational discrete algebra...

gfun
 Referenced in 144 articles
[sw00344]
 The gfun package provides tools for determining and...

LAPACK
 Referenced in 1695 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Macaulay2
 Referenced in 1904 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

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

Maple
 Referenced in 5363 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6337 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 13460 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MiniSat
 Referenced in 565 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

nauty
 Referenced in 609 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...