• VC3

  • Referenced in 4 articles [sw23078]
  • isolate memory regions on individual computers, and to deploy new protocols that secure distributed MapReduce ... MapReduce code running within isolated regions, to prevent attacks due to unsafe memory reads ... runtime overhead is negligible for its base security guarantees, 4.5% with write integrity...
  • EnclaveDom

  • Referenced in 1 article [sw35847]
  • data structures may be protected via privilege isolation. We present EnclaveDom, a privilege separation system ... enclave into tagged memory regions, and enforces per-region access rules at the granularity ... memory tagging. To evaluate the security and performance impact of EnclaveDom, we integrated EnclaveDom with...
  • gmp

  • Referenced in 282 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • 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...
  • 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...
  • 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...
  • SeDuMi

  • Referenced in 1281 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • UCI-ml

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

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

  • Referenced in 818 articles [sw04348]
  • Simulink® is an environment for multidomain simulation and...
  • YALMIP

  • Referenced in 1033 articles [sw04595]
  • YALMIP Yet another LMI parser. YALMIP is a...
  • Uppaal

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

  • Referenced in 1486 articles [sw04827]
  • The Matrix Computation Toolbox is a collection of...
  • z3

  • Referenced in 597 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • LLVM

  • Referenced in 89 articles [sw04892]
  • The LLVM Project is a collection of modular...
  • LMI toolbox

  • Referenced in 1463 articles [sw06383]
  • Linear Matrix Inequalities (LMIs) and LMI techniques have...
  • robustbase

  • Referenced in 491 articles [sw07114]
  • R package robustbase: Basic Robust Statistics. ”Essential” Robust...