
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 2 articles
[sw22725]
 functional correctness of an abstract communication model of the XtratuM partitioning separation microkernel...

Bemppcl
 Referenced in 2 articles
[sw37712]
 SIMD optimised justintime compiled OpenCL kernels, or alternatively, by justintime compiled ... provide OpenCL drivers. User visible functionality is strictly separated from the implementation of computational routines...

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 244 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

ANSYS
 Referenced in 665 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 101 articles
[sw00108]
 CASA is a specialpurpose system for computational...

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

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

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

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

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

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

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

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