
VCC
 Referenced in 73 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 singlegrid 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 ILSVRC2012 classification dataset. Code is available at https://github.com/huaweinoah/ghostnet...

TREE
 Referenced in 2 articles
[sw03080]
 problems. We have developed a parallel TREE code for twocomponent 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 74 articles
[sw00183]
 Dafny is an imperative objectbased language with...

EdgePack
 Referenced in 28 articles
[sw00229]
 A new and simple method is proposed to...

GAP
 Referenced in 3190 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 333 articles
[sw00426]
 hypre is a software library for the solution...

Macaulay2
 Referenced in 1924 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

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

Mathematica
 Referenced in 6360 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 13559 articles
[sw00558]
 MATLAB® is a highlevel 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 particlemesh library...

RKC
 Referenced in 126 articles
[sw00808]
 RKC: An explicit solver for parabolic PDEs. An...

SageMath
 Referenced in 2021 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...