
StarPU
 Referenced in 41 articles
[sw14216]
 software virtual shared memory that provides a weak consistency model. The system keeps track...

CDSChecker
 Referenced in 5 articles
[sw21725]
 level atomic operations and a weak memory model, enabling developers to write portable and efficient ... especially difficult under a weak memory model, where code behavior can be surprising. Building reliable...

Memorax
 Referenced in 4 articles
[sw09759]
 variables and running on top of weak memory models. The verification task is nontrivial...

Weak2SC
 Referenced in 1 article
[sw18521]
 Verification of concurrent programs on weak memory models. Modern multicore processors equipped with weak ... builtin optimizations. For concurrent programs, weak memory models thereby produce interleaved executions which ... reducing the verification problem for weak memory models to the verification on SC. The reduction ... given program and weak memory model (here, TSO or PSO)  a new program containing...

pTatin3D
 Referenced in 9 articles
[sw27642]
 solution methods. We present pTatin3D, a geodynamics modeling package utilising the materialpointmethod ... free geometric multigrid preconditioner trades flops for memory bandwidth to produce a timetosolution ... plagued by memory bandwidth limitations), exploits local element structure to achieve weak scaling...

GLISSOM
 Referenced in 6 articles
[sw04192]
 dimensional topographic organization of the cortex, modeling a cortical area as an N × N sheet ... unsupervised Hebbian learning process using visual input. Weak connections are eliminated periodically, resulting in patchy ... selforganization process is very computation and memory intensive...

pizza
 Referenced in 2 articles
[sw41177]
 physical hypothesis that is appropriate to model the turbulent convection that develops in planetary interiors ... been tested and validated by comparing weaklynonlinear convection with the eigenmodes from a linear ... classical collocation approach both in terms of memory requirements and operation counts. The good parallelisation ... ranks. This allows the computation of numerical models in the turbulent regime of quasigeostrophic...

Algorithm 995
 Referenced in 1 article
[sw36033]
 dynamic stall, or numerical methods and modeling test cases, still focus on twodimensional domains ... parallel weak scaling efficiency on 1,024 distributed memory nodes, and a 72% parallel efficiency...

pSpatiocyte
 Referenced in 0 articles
[sw15003]
 efficient execution particularly on large distributed memory parallel computers. For twolevel parallelization, we introduced ... exhibited 74% parallel efficiency. As for weak scaling, efficiencies at least 60% were observed ... present a calculation of the MAPK model, a typical reaction network motif in cell signaling...

Apron
 Referenced in 71 articles
[sw00045]
 Apron: a library of numerical abstract domains for...

ACL2
 Referenced in 291 articles
[sw00060]
 ACL2 is both a programming language in which...

cdd
 Referenced in 119 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

Coq
 Referenced in 1906 articles
[sw00161]
 Coq is a formal proof management system. It...

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

FGb
 Referenced in 247 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

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

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

Isabelle
 Referenced in 719 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

ISOGAT
 Referenced in 318 articles
[sw00457]
 A tutorial 2D MATLAB code for solving elliptic...