
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 perregion 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 highlevel 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, opensource math software...

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

UCIml
 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 highperformance 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...