• VC3

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

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

  • Referenced in 5403 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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