Results 1 to 20 of 90
Sort by:

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