• 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 pre-processor 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 high-level language and interactive...
  • MiniSat

  • Referenced in 565 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • nauty

  • Referenced in 609 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...