Results 1 to 20 of 50
Sort by:

  • 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...