• 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 micro-kernel...
  • Bempp-cl

  • Referenced in 2 articles [sw37712]
  • SIMD optimised just-in-time compiled OpenCL kernels, or alternatively, by just-in-time 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...
  • ADOL-C

  • Referenced in 244 articles [sw00019]
  • ADOL-C: 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 special-purpose 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 object-based 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...