
BIONJ
 Referenced in 30 articles
[sw08301]
 with high substitution rates (maximum pairwise divergence approximately 1.0 substitutions per site), the error reduction ... while the probability of finding the correct tree may be augmented by as much...

Scoredist
 Referenced in 3 articles
[sw35538]
 Scoredist. It uses a logarithmic correction of observed divergence based on the alignment score according ... more accurate. The JukesCantor and Kimura correction methods were also tested, but were substantially...

Algebraic_VCs
 Referenced in 2 articles
[sw32217]
 verification component for total correctness based on divergence Kleene algebras and one for (partial correctness...

iGLASS
 Referenced in 4 articles
[sw29611]
 derive a correction to the GLASS estimator of pairwise divergence times. We show that...

CakeML
 Referenced in 53 articles
[sw08799]
 REPL) in x8664 machine code. Our correctness theorem ensures that this REPL implementation prints ... compiler. Additionally, our compiler proof handles diverging input programs with a lightweight approach based...

GKLEE
 Referenced in 11 articles
[sw12794]
 GPUs. Programs written for GPUs often contain correctness errors such as races, deadlocks ... coalesced memory accesses, memory bank conflicts, and divergent warps). We provide a new framework called ... analyze C++ GPU programs, locating the aforesaid correctness and performance bugs. For these programs, GKLEE...

ODDLS
 Referenced in 5 articles
[sw18207]
 where the correction step is based on imposing the divergencefree condition in the velocity...

SPHEREPACK
 Referenced in 26 articles
[sw04874]
 inverses of these operators. For example, given divergence and vorticity, the package can be used ... demonstration on your computer that you can correctly produce SPHEREPACK executables...

GRACE
 Referenced in 3 articles
[sw11987]
 counterterms. We also show how infrared divergences are dealt with in the system. We give ... calculation of mutlileg oneloop corrections...

LocARNAscan
 Referenced in 2 articles
[sw23118]
 annotation. A particular difficulty is posed by divergent homologs that have lost recognizable sequence similarity ... target sequence to fold into the correct secondary structure helpful for this task? RESULTS: Sequence...

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

CGAL
 Referenced in 402 articles
[sw00118]
 The goal of the CGAL Open Source Project...

CSDP
 Referenced in 206 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

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

GAP
 Referenced in 3221 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Gerris
 Referenced in 354 articles
[sw00341]
 Gerris is a Free Software program for the...

gmp
 Referenced in 289 articles
[sw00363]
 GMP is a free library for arbitrary precision...

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

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