• 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 on-demand 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 high-level language and interactive...
  • R

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

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

  • Referenced in 482 articles [sw08159]
  • R package glmnet: Lasso and elastic-net 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...