• UEGO

  • Referenced in 16 articles [sw02239]
  • methods is suggested. The skeleton of the algorithm is a parallel hill climber. The separate...
  • MALLBA

  • Referenced in 22 articles [sw00542]
  • resolution of combinatorial optimization problems using algorithmic skeletons implemented in C++. MALLBA offers three families ... method, MALLBA provides three different implementations: sequential, parallel for local area networks, and parallel...
  • SKIPPER

  • Referenced in 4 articles [sw09412]
  • demonstrate the applicability of skeleton-based parallel programming techniques to the fast prototyping of reactive ... latest version of the project: algorithmic skeleton nesting capabilities and a fully dynamic operating model...
  • Skil

  • Referenced in 2 articles [sw26451]
  • integration of algorithmic skeletons, i.e. of higher order functions representing parallel computation patterns...
  • DBSCAN

  • Referenced in 4 articles [sw02921]
  • Experiments in parallel clustering with DBSCAN. We present a new result concerning the parallelisation ... DBSCAN, a Data Mining algorithm for density-based spatial clustering. The overall structure of DBSCAN ... been mapped to a skeleton-structured program that performs parallel exploration of each cluster...
  • ASKIT

  • Referenced in 7 articles [sw17470]
  • ASKIT: an efficient, parallel library for high-dimensional kernel summations. Kernel-based methods ... problem size. Previously, we introduced ASKIT (Approximate Skeletonization Kernel Independent Treecode), an efficient, scalable, kernel ... previous implementation. We describe the ASKIT algorithm in detail, and collect and summarize our previous...
  • qskeleton

  • Referenced in 0 articles [sw15165]
  • qskeleton: parallel polyhedral computing software based on the double description method and Fourier-Motzkin elimination ... ideological descendant of N.Yu. Zolotykh’s skeleton package and aims to combine its advancements with ... Quickhull algorithm in the DDM or combining the graph test of skeleton with other accelerating ... testing in DDM / Chernikov rules in FME. Parallel computing is an important direction of development...
  • ATLAS

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

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

  • Referenced in 1721 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

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

  • Referenced in 207 articles [sw00457]
  • A tutorial 2D MATLAB code for solving elliptic...
  • LAPACK

  • Referenced in 1552 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Macaulay2

  • Referenced in 1503 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

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

  • Referenced in 4841 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 230 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

  • Referenced in 5559 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 11158 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MuPAD

  • Referenced in 137 articles [sw00606]
  • MuPAD consists of a powerful symbolic engine, a...