• ParTopS

  • Referenced in 4 articles [sw08857]
  • paper proposes a topological framework for supporting parallel adaptive fragmentation simulations that provides operations ... extension of a compact adjacency-based serial topological data structure, which can natively handle...
  • KDTREE

  • Referenced in 3 articles [sw18200]
  • space, usually with Euclidean topology. The k-d data structure and search algorithms ... data base. KDTREE2 is a Fortran 95 module, and a parallel set of C++ classes...
  • DMNetwork

  • Referenced in 1 article [sw35924]
  • DMNetwork: a library for scalable network PDE-based multiphysics simulations. We present DMNetwork, a high ... distribution systems. DMNetwork provides data and topology management, parallelization for multiphysics systems over a network...
  • PREMER

  • Referenced in 1 article [sw25645]
  • structure of unknown cellular networks is a main challenge in computational biology. Data-driven approaches ... based on information theory can determine the existence of interactions among network nodes automatically. However ... compiled programs and parallelization. To this end, we have developed PREMER (Parallel Reverse Engineering with ... parallel and sequential environments. It uses information theoretic criteria to recover network topology and determine...
  • GRETNA

  • Referenced in 1 article [sw26509]
  • constructed by various imaging technologies (e.g., EEG/MEG; structural, diffusion and functional MRI) and further characterized ... follows: (i) an open-source, Matlab-based, cross-platform (Windows and UNIX OS) package with ... allowing topological analyses of global and local network properties with parallel computing ability, independent ... network construction based on resting-state functional MRI (R-fMRI) data. After applying the GRETNA...
  • WarpCore

  • Referenced in 1 article [sw35074]
  • interface of modern GPUs together with a parallel hashing scheme tailored to improve global memory ... table data structures. Unique device-sided operations allow for building high performance data processing pipelines ... scale our approach over a dense NVLink topology which gives us close-to-optimal weak ... magnitude against state-of-the-art CPU-based solutions. WC is written in C++/CUDA-C...
  • ANSYS

  • Referenced in 666 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ATLAS

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

  • Referenced in 279 articles [sw00060]
  • ACL2 is both a programming language in which...
  • BARON

  • Referenced in 327 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • BoomerAMG

  • Referenced in 170 articles [sw00086]
  • BoomerAMG: A parallel algebraic multigrid solver and preconditioner...
  • CGAL

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

  • Referenced in 637 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

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

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

  • Referenced in 287 articles [sw00341]
  • Gerris is a Free Software program for the...
  • gmp

  • Referenced in 274 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Gmsh

  • Referenced in 635 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • HSL

  • Referenced in 274 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • hypre

  • Referenced in 284 articles [sw00426]
  • hypre is a software library for the solution...