• sDTW

  • Referenced in 0 articles [sw24327]
  • width, and adaptive core&adaptive width strategies which enforce different constraints reflecting the high level...
  • SAFECode

  • Referenced in 4 articles [sw13323]
  • SAFECode: Enforcing Alias Analysis for Weakly Typed Languages. Static analysis of programs in weakly typed ... array bounds overflow. We describe a compilation strategy for standard C programs that guarantees that...
  • BWAPI

  • Referenced in 1 article [sw26571]
  • interact with the popular Real Time Strategy (RTS) game Starcraft: Broodwar. Using BWAPI, students, researchers ... defaults can be changed for flexibility, unless enforced by a Tournament Module (game referee...
  • ANSYS

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

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

  • Referenced in 268 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • SymPy

  • Referenced in 100 articles [sw00940]
  • SymPy is a Python library for symbolic mathematics...
  • FreeFem++

  • Referenced in 1010 articles [sw01436]
  • FreeFem++ is an implementation of a language dedicated...
  • BLAS

  • Referenced in 481 articles [sw03216]
  • Low-level utilities common to many mathematical software...
  • SPIN

  • Referenced in 708 articles [sw03455]
  • Spin is a popular open-source software tool...
  • PETSc

  • Referenced in 1127 articles [sw04012]
  • The Portable, Extensible Toolkit for Scientific Computation (PETSc...
  • Gurobi

  • Referenced in 479 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...
  • NuSMV

  • Referenced in 295 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • OpenFOAM

  • Referenced in 380 articles [sw04317]
  • The OpenFOAM® (Open Field Operation and Manipulation) CFD...
  • CUDD

  • Referenced in 148 articles [sw04446]
  • The CUDD package provides functions to manipulate Binary...
  • ParMETIS

  • Referenced in 126 articles [sw04697]
  • ParMETIS is an MPI-based parallel library that...
  • Uppaal

  • Referenced in 622 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • QUOTPIC

  • Referenced in 17 articles [sw04937]
  • QUOTPIC is an X-Windows program for plotting...
  • Aspic

  • Referenced in 23 articles [sw04954]
  • Combining widening and acceleration in linear relation analysis...