
CSSV
 Referenced in 20 articles
[sw13701]
 alarms. Fortunately, only a small number of false alarms are reported, thereby proving that statically...

LOCKSMITH
 Referenced in 10 articles
[sw20224]
 races while producing a modest number of false alarm...

FlowDroid
 Referenced in 4 articles
[sw26741]
 that can yield high numbers of missed leaks and false alarms. In this work ... analysis to reduce the number of false alarms. Novel ondemand algorithms help FlowDroid maintain...

MultiRace
 Referenced in 2 articles
[sw21726]
 usually result in excessive false alarms or in a large number of undetected races. Another ... choosing a large one might lead to false detection. We present a novel testing tool...

TRACER
 Referenced in 11 articles
[sw09484]
 terminate. TRACER reports a false alarm only if the theorem prover fails to prove ... fundamental limitations of symbolic execution: exponential number of paths on the number of program branches...

FastTrack
 Referenced in 5 articles
[sw23086]
 precise race detectors that never report false alarms. The latter typically use expensive vector clock ... operations that require time linear in the number of program threads. This paper exploits ... Java benchmarks, while never reporting false alarms...

Mathematica
 Referenced in 5957 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 12309 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

R
 Referenced in 8601 articles
[sw00771]
 R is a language and environment for statistical...

UCIml
 Referenced in 3100 articles
[sw04074]
 UC Irvine Machine Learning Repository. We currently maintain...

MegaWave
 Referenced in 27 articles
[sw04428]
 From Gestalt theory to image analysis. A probabilistic...

KernSmooth
 Referenced in 921 articles
[sw04586]
 Kernel smoothing refers to a general methodology for...

Houghtool
 Referenced in 4 articles
[sw08121]
 Houghtoola software package for the use of...

glmnet
 Referenced in 482 articles
[sw08159]
 R package glmnet: Lasso and elasticnet regularized...

SuppDists
 Referenced in 9 articles
[sw08259]
 R package SuppDists: Supplementary distributions. Ten distributions supplementing...

BRENT
 Referenced in 421 articles
[sw14021]
 BRENT Algorithms for Minimization Without Derivatives. BRENT is...

AS 307
 Referenced in 57 articles
[sw14162]
 Algorithm AS 307: Bivariate location depth. he half...

SIFT
 Referenced in 606 articles
[sw16554]
 SIFT Keypoint Detector. Distinctive Image Features from Scale...

bootstrap
 Referenced in 1067 articles
[sw19105]
 R package bootstrap. bootstrap: Functions for the Book...

OpenSALICON
 Referenced in 2 articles
[sw25869]
 OpenSALICON is an open source implementation of the...