
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 skeletonbased 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 densitybased spatial clustering. The overall structure of DBSCAN ... been mapped to a skeletonstructured program that performs parallel exploration of each cluster...

ASKIT
 Referenced in 7 articles
[sw17470]
 ASKIT: an efficient, parallel library for highdimensional kernel summations. Kernelbased 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 FourierMotzkin 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 highlevel language and interactive...

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