• VCC

  • Referenced in 71 articles [sw07220]
  • specifications, data invariants, loop invariants, and ghost code, and tries to prove these annotations correct...
  • WhyML

  • Referenced in 28 articles [sw09709]
  • with mutable fields, type invariants, and ghost code. Verification conditions are discharged by Why3 with...
  • CPT

  • Referenced in 16 articles [sw22560]
  • implement the Ghost fluid method in the Virtual Test Facility. This code implements an algorithm...
  • ForestClaw

  • Referenced in 11 articles [sw19374]
  • ensure that both corner and edge ghost regions around each grid hold valid values ... have implemented this algorithm in the ForestClaw code using single-grid solvers from ClawPack...
  • GhostNet

  • Referenced in 1 article [sw37097]
  • conducted on benchmarks demonstrate that the proposed Ghost module is an impressive alternative of convolution ... ImageNet ILSVRC-2012 classification dataset. Code is available at https://github.com/huawei-noah/ghostnet...
  • TREE

  • Referenced in 2 articles [sw03080]
  • problems. We have developed a parallel TREE code for two-component classical plasmas with open ... level of granularity of domain decomposition and ghost TREE communication. Even though the computational load...
  • BoomerAMG

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

  • Referenced in 73 articles [sw00183]
  • Dafny is an imperative object-based language with...
  • GAP

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

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

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

  • Referenced in 1923 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

  • Referenced in 3315 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • PARAMESH

  • Referenced in 113 articles [sw00677]
  • PARAMESH: A parallel adaptive mesh refinement community toolkit...
  • PPM

  • Referenced in 64 articles [sw00728]
  • PPM -- a highly efficient parallel particle-mesh library...
  • RKC

  • Referenced in 120 articles [sw00808]
  • RKC: An explicit solver for parabolic PDEs. An...
  • SageMath

  • Referenced in 1994 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...