
CDSChecker
 Referenced in 5 articles
[sw21725]
 memory model. We develop several novel techniques for modeling the relaxed behaviors allowed...

CompCertTSO
 Referenced in 12 articles
[sw08230]
 surprisingly subtle by several factors: the relaxedmemory behavior of the hardware, the effects ... desire for a reasonably simple programming model. In turn, this complexity makes verified compilation both...

sPuReMD
 Referenced in 6 articles
[sw12865]
 scaling in system size, and a low memory footprint. sPuReMD is a freely distributed software ... model diverse systems ranging from oxidative stress in biomembranes to strain relaxation...

picasso
 Referenced in 4 articles
[sw20406]
 Computationally efficient tools for fitting generalized linear model with convex or nonconvex penalty. Users ... Computation is handled by multistage convex relaxation and the PathwIse CAlibrated Sparse Shooting algOrithm ... with optimal statistical properties. The computation is memoryoptimized using the sparse matrix output...

AGGJE
 Referenced in 4 articles
[sw07163]
 disadvantage of meshfree methods is that their memory requirement and computational cost are much higher ... free Galerkin (EFG) approach. A compact mathematical model of heat transfer problems is first established ... Based on the widely used Successive OverRelaxationPreconditioned Conjugate Gradient (SSORPCG) scheme ... boundary values. Numerical results show that the memory requirement of the FastPCG solver is only...

FastPCG
 Referenced in 4 articles
[sw07164]
 disadvantage of meshfree methods is that their memory requirement and computational cost are much higher ... free Galerkin (EFG) approach. A compact mathematical model of heat transfer problems is first established ... Based on the widely used Successive OverRelaxationPreconditioned Conjugate Gradient (SSORPCG) scheme ... boundary values. Numerical results show that the memory requirement of the FastPCG solver is only...

2LEVD2P4
 Referenced in 8 articles
[sw00009]
 We present a package of parallel preconditioners which...

ALPS
 Referenced in 14 articles
[sw00036]
 This paper describes the design of the Abstract...

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

ATLAS
 Referenced in 197 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

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

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

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

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

Diffpack
 Referenced in 113 articles
[sw00203]
 As modern programming methodologies migrate from computer science...

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

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

HSL
 Referenced in 269 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...

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