• CGAL

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

  • Referenced in 27 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 15 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 20 articles [sw09442]
  • this set then serves as a skeleton of an ACNF, an LK-proof with only...
  • PANDAS

  • Referenced in 19 articles [sw10402]
  • include the interacting behaviour of a deforming skeleton and a pore-fluid 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...
  • ASKIT

  • Referenced in 10 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 multi-backend skeleton programming library for multi-GPU systems. We present SkePU ... data-parallel 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 SKeleton-based Parallel Programming EnviRonment being developed since 1996 and running ... project was to demonstrate the applicability of skeleton-based 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...
  • PenPC

  • Referenced in 4 articles [sw25384]
  • step approach to estimate the skeletons of high-dimensional 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 high-dimensional...
  • Polyhedral

  • Referenced in 7 articles [sw22883]
  • volume of a polytope. Compute the K-skeleton 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 1-skeleton 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 skeleton-structured program that performs parallel exploration of each...