• Theano

  • Referenced in 95 articles [sw05894]
  • integration with numpy, transparent use of a GPU, efficient symbolic differentiation, speed and stability optimizations ... generation, and extensive unit-testing and self-verification. Theano has been powering large-scale computationally...
  • GPUVerify

  • Referenced in 11 articles [sw11260]
  • lock-step semantics for analysis and verification of GPU kernels. We study semantics ... open source and commercial GPU kernels. Among these kernels, 42 exhibit unstructured control flow which ... method comes at a modest price: Verification across our benchmark set was 2.25 times slower...
  • RiTHM

  • Referenced in 4 articles [sw16439]
  • monitor’s verification decision procedure is sound and complete and exploits the GPU many-core...
  • GKLEE

  • Referenced in 11 articles [sw12794]
  • GKLEE: concolic verification and test generation for GPUs. Programs written for GPUs often contain correctness ... framework called GKLEE that can analyze C++ GPU programs, locating the aforesaid correctness and performance...
  • GeoMFree3D

  • Referenced in 1 article [sw36424]
  • GPU to improve the computational efficiency. To demonstrate the performance of GeoMFree3D , three simple verification...
  • helperOC

  • Referenced in 3 articles [sw40042]
  • reachability analysis is an important formal verification method for guaranteeing performance and safety properties ... most recent numerical tools, including an efficient GPU-parallelized implementation of a Level Set Toolbox...
  • UniVerMec

  • Referenced in 1 article [sw35265]
  • handling of the arithmetics without altering their verification features. For this purpose, we formalize ... supports parallel computations on the CPU and GPU and show that it can be extended...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • CGAL

  • Referenced in 394 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • gmp

  • Referenced in 282 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Gmsh

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

  • Referenced in 81 articles [sw00410]
  • HOM4PS-2.0: a software package for solving polynomial...
  • hypre

  • Referenced in 329 articles [sw00426]
  • hypre is a software library for the solution...
  • ISOGAT

  • Referenced in 310 articles [sw00457]
  • A tutorial 2D MATLAB code for solving elliptic...
  • ITPACK

  • Referenced in 47 articles [sw00459]
  • The ITPACK project: Past, present, and future The...
  • LAPACK

  • Referenced in 1702 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LSQR

  • Referenced in 394 articles [sw00530]
  • Algorithm 583: LSQR: Sparse Linear Equations and Least...
  • MapReduce

  • Referenced in 263 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...