• SPLATT

  • Referenced in 9 articles [sw30093]
  • paper introduces SPLATT, a C library with shared-memory parallelism for three-mode tensors. SPLATT ... sparse tensor factorization. SPLATT has a fast, parallel method of multiplying a matricide tensor ... novel data structure that exploits the sparsity patterns of tensors. This data structure...
  • parallelDist

  • Referenced in 3 articles [sw33254]
  • mainly implemented in C++ and leverages the ’RcppParallel’ package to parallelize the distance computations with ... help of the ’TinyThread’ library. Furthermore, the ’Armadillo’ linear algebra library is used for optimized ... during distance calculations. The curiously recurring template pattern (CRTP) technique is applied to avoid virtual...
  • AMG2013

  • Referenced in 5 articles [sw13861]
  • hypre library, a large linear solver library that is being developed in the Center ... C. It is an SPMD code which uses MPI as well as OpenMP. Parallelism ... parallel weak scaling efficiency. AMG2013 is a highly synchronous code. The communications and computations patterns...
  • ROSE

  • Referenced in 4 articles [sw04891]
  • could be either experienced compiler researchers or library and tool developers who may have minimal ... front-end is used to parse C and C++ applications. Although the EDG source code ... system dependence analysis, and MPI communication pattern analysis. Representative program optimizations and translations developed with ... function), OpenMP directive lowering, automatic parallelization and loop transformations (a loop optimizer supporting aggressive loop...
  • Optrans

  • Referenced in 1 article [sw14517]
  • fluid mechanics to optics, image processing and pattern recognition. Despite this ample field of applications ... shortage, this paper introduces Optrans, a parallel library for solving time-dependent optimal transport problems ... oriented approach and exploits the capabilities of C++, the implementation language, to offer an easy...
  • WarpCore

  • Referenced in 1 article [sw35074]
  • with a parallel hashing scheme tailored to improve global memory access patterns, to design WarpCore ... versatile library of hash table data structures. Unique device-sided operations allow for building high ... based solutions. WC is written in C++/CUDA-C and is openly available at https://github.com...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ATLAS

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

  • Referenced in 283 articles [sw00060]
  • ACL2 is both a programming language in which...
  • Bagel

  • Referenced in 3 articles [sw00065]
  • This paper presents two coupled software packages which...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CGAL

  • Referenced in 394 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • C-XSC

  • Referenced in 110 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • C-XSC 2.0

  • Referenced in 127 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • Diffpack

  • Referenced in 115 articles [sw00203]
  • As modern programming methodologies migrate from computer science...
  • EOlib

  • Referenced in 19 articles [sw00239]
  • EO is a template-based, ANSI-C++ evolutionary...
  • FLINT

  • Referenced in 58 articles [sw00297]
  • Fast library for number theory: an introduction. We...
  • GAP

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