
VerCors
 Referenced in 6 articles
[sw11259]
 programs using a different concurrency paradigm, namely kernel programs using the single instruction multiple data ... based separation logic is suitable to verify functional correctness properties of OpenCL kernels. All verification...

Awkward Array
 Referenced in 0 articles
[sw31479]
 particular importance is the separation of kernel functions from data structure management, which allows...

CSimpl
 Referenced in 1 article
[sw22725]
 functional correctness of an abstract communication model of the XtratuM partitioning separation microkernel...

npbr
 Referenced in 1 article
[sw15636]
 npbr: Nonparametric Boundary Regression. A variety of functions for the best known and most innovative ... well as constrained fits under both separate and multiple shape constraints. They cover robust approaches ... splines, local linear fitting, extreme values and kernel smoothing. The package also seamlessly allows...

flm
 Referenced in 1 article
[sw28185]
 viewing the functional outcomes as elements of an arbitrary real separable Hilbert space. To select ... show that these subspaces correspond to Reproducing Kernel Hilbert Spaces, however our methodology applies more ... estimators, which is based on a functional coordinate descent, and an R package, flm, whose...

Sand Kit
 Referenced in 0 articles
[sw05431]
 networks training and calculations, and a Linux kernel module for the SAND board neuro accelerator ... supports Multi Layer Perceptron (MLP), Radial Basic Function (RBF), and Kohonen networks in hardware acceleration ... well as hardware modes. All methods have separate configuration files. Support for interface plugins...

ADOLC
 Referenced in 230 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

ANSYS
 Referenced in 654 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

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

CASA
 Referenced in 95 articles
[sw00108]
 CASA is a specialpurpose system for computational...

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

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

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

Dafny
 Referenced in 64 articles
[sw00183]
 Dafny is an imperative objectbased language with...

Expokit
 Referenced in 173 articles
[sw00258]
 Expokit provides a set of routines aimed at...

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

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

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

LAPACK
 Referenced in 1617 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...