• 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 micro-kernel...
  • 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 230 articles [sw00019]
  • ADOL-C: 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 special-purpose 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 object-based 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...