• Fortify

  • Referenced in 1 article [sw26890]
  • study in this paper are: (1) Resource Injection, (2) Path Manipulation, (3) System Information Leak ... Denial of Service and (5) Unreleased Resource vulnerabilities. We analyze the reason why each...
  • CLIF

  • Referenced in 1 article [sw22148]
  • measure response times, request throughput, or computing resource usage. A quick overview of available load ... order to introduce the CLIF load injection framework, which intends not to be yet another...
  • HBGC123D

  • Referenced in 1 article [sw13445]
  • more efficient use of technical and financial resources have recently motivated the development of more ... laboratory soil column with multispecies tracer injection suggests that one may use the model...
  • 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...
  • LAPACK

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

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • MATCONT

  • Referenced in 443 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...
  • Mathematica

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

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 566 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • R

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • SageMath

  • Referenced in 1994 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • TISEAN

  • Referenced in 170 articles [sw00967]
  • Practical implementation of nonlinear time series methods: The...
  • FreeFem++

  • Referenced in 1369 articles [sw01436]
  • FreeFem++ is an implementation of a language dedicated...
  • L-BFGS

  • Referenced in 806 articles [sw03229]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • Haskell

  • Referenced in 880 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • PETSc

  • Referenced in 1584 articles [sw04012]
  • The Portable, Extensible Toolkit for Scientific Computation (PETSc...
  • UCI-ml

  • Referenced in 3403 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...