
CGAL
 Referenced in 384 articles
[sw00118]
 Voronoi diagrams), polygons (Boolean operations, offsets, straight skeleton), polyhedra (Boolean operations), arrangements of curves...

MALLBA
 Referenced in 28 articles
[sw00542]
 resolution of combinatorial optimization problems using algorithmic skeletons implemented in C++. MALLBA offers three families ... MALLBA library, presents some of its skeletons, and offers several computational results to show...

SCAPE
 Referenced in 27 articles
[sw19408]
 function of the pose of the articulated skeleton. We also learn a separate model...

eSkel
 Referenced in 24 articles
[sw04423]
 eSkel (the Edinburgh Skeleton Library) is a structured parallel programming library developed at the School...

CVIPtools
 Referenced in 17 articles
[sw37403]
 CVIPlab for C/C++ programmers is a skeleton program that allows for access ... MATLAB, which also includes a CVIPlab skeleton program for exploration of the Toolbox which contains...

CERES
 Referenced in 21 articles
[sw09442]
 this set then serves as a skeleton of an ACNF, an LKproof with only...

PANDAS
 Referenced in 19 articles
[sw10402]
 include the interacting behaviour of a deforming skeleton and a porefluid flow. In addition...

MizarMode
 Referenced in 18 articles
[sw01973]
 include, e.g., the automated generation of proof skeletons, semantic browsing of the articles and abstracts...

UEGO
 Referenced in 17 articles
[sw02239]
 parallelizing existing search methods is suggested. The skeleton of the algorithm is a parallel hill...

PenPC
 Referenced in 7 articles
[sw25384]
 step approach to estimate the skeletons of highdimensional directed acyclic graphs. Estimation ... skeleton of a directed acyclic graph (DAG) is of great importance for understanding the underlying ... causal effects can be assessed from the skeleton when the DAG is not identifiable ... novel method named 𝖯𝖾𝗇𝖯𝖢 to estimate the skeleton of a highdimensional...

ASKIT
 Referenced in 11 articles
[sw17470]
 problem size. Previously, we introduced ASKIT (Approximate Skeletonization Kernel Independent Treecode), an efficient, scalable, kernel...

SkePU
 Referenced in 5 articles
[sw14958]
 SkePU: a multibackend skeleton programming library for multiGPU systems. We present SkePU ... dataparallel computations with the help of skeletons on GPUs using CUDA and OpenCL ... container type used to represent skeleton operands, which allows to avoid unnecessary memory transfers ... solver. The results show that a skeleton approach to GPU programming is viable, especially when...

NAXPERT
 Referenced in 6 articles
[sw01117]
 request that NAXPERT constructs a skeleton FORTRAN program for using the routine ... routine, a routine description, a FORTRAN skeleton and the explanation facility. par The authors...

SKIPPER
 Referenced in 4 articles
[sw09412]
 SKiPPER is a SKeletonbased Parallel Programming EnviRonment being developed since 1996 and running ... project was to demonstrate the applicability of skeletonbased parallel programming techniques to the fast ... latest version of the project: algorithmic skeleton nesting capabilities and a fully dynamic operating model ... have pointed out the requirement for skeleton nesting, we are presenting the operating model...

Polyhedral
 Referenced in 7 articles
[sw22883]
 volume of a polytope. Compute the Kskeleton of a polytope. Compute the Wythoff construction...

TRANSIT
 Referenced in 6 articles
[sw28674]
 fragments. Our synthesis engine completes an EFSM skeleton by inferring guards and updates from...

Orb
 Referenced in 6 articles
[sw34482]
 prescribed subgraph as part of the 1skeleton and the remainder of the graph drilled...

Treemaker
 Referenced in 5 articles
[sw12656]
 latter. We see, for example, the straight skeleton appearing in problems as diverse...

Skil
 Referenced in 2 articles
[sw26451]
 Skil: an imperative language with algorithmic skeletons for efficient distributed programming. We present Skil ... Skil allows the integration of algorithmic skeletons, i.e. of higher order functions representing parallel computation ... efficiently implemented. After describing a series of skeletons which work with distributed arrays, we give ... parallel programs implemented on the basis of skeletons, namely shortest paths in graphs and Gaussian...

DBSCAN
 Referenced in 4 articles
[sw02921]
 DBSCAN has been mapped to a skeletonstructured program that performs parallel exploration of each...