
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 665 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

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

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

SymPy
 Referenced in 125 articles
[sw00940]
 SymPy is a Python library for symbolic mathematics...

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

BLAS
 Referenced in 489 articles
[sw03216]
 Lowlevel utilities common to many mathematical software...

SPIN
 Referenced in 715 articles
[sw03455]
 Spin is a popular opensource software tool...

PETSc
 Referenced in 1218 articles
[sw04012]
 The Portable, Extensible Toolkit for Scientiﬁc Computation (PETSc...

Gurobi
 Referenced in 555 articles
[sw04105]
 GUROBI OPTIMIZER: State of the Art Mathematical Programming...

NuSMV
 Referenced in 299 articles
[sw04131]
 NuSMV is a symbolic model checker developed as...

OpenFOAM
 Referenced in 421 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 131 articles
[sw04697]
 ParMETIS is an MPIbased parallel library that...

Uppaal
 Referenced in 637 articles
[sw04702]
 Uppaal is an integrated tool environment for modeling...

QUOTPIC
 Referenced in 17 articles
[sw04937]
 QUOTPIC is an XWindows program for plotting...

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