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

MALLBA
 Referenced in 22 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 20 articles
[sw19408]
 function of the pose of the articulated skeleton. We also learn a separate model...

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

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

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

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

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

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...

NAXPERT
 Referenced in 5 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...

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

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

QUAFF
 Referenced in 3 articles
[sw00764]
 applied to the implementation of a skeletonbased parallel programming library . The resulting library, QUAFF...

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

Lotrecscheme
 Referenced in 3 articles
[sw10967]
 real model and not just a skeleton of the model. The system generalizes also...

SkelGIS
 Referenced in 3 articles
[sw13571]
 Library SkelGIS (Skeletons for Geographical Information Systems...

ID
 Referenced in 3 articles
[sw14543]
 commonly known as the approximation obtained via skeletonization, the approximation obtained via subsampling...

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

SKElib
 Referenced in 1 article
[sw09930]
 SKElib: parallel programming with skeletons in c. We implemented a skeleton library allowing ... programmer to write parallel programs using skeleton abstractions to structure and exploit parallelism. The library ... achieve the correct, parallel execution of the skeleton programs (which are not SPMD) onto workstation ... discussed that demonstrate the effectiveness of our skeleton library...

SkePU
 Referenced in 1 article
[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...