• FunArray

  • Referenced in 14 articles [sw13708]
  • able to infer thousands of non-trivial invariants and verify the implementation with a modest ... large code base, and proven to scale...
  • leiv

  • Referenced in 1 article [sw17967]
  • posterior density that is invariant to interchange and scaling of the coordinates...
  • FASText

  • Referenced in 1 article [sw28351]
  • proposed pipeline are scale-and rotation-invariant and support a wide variety of scripts (Latin...
  • BRISK

  • Referenced in 15 articles [sw29764]
  • BRISK: Binary robust invariant scalable keypoints. Effective and efficient generation of keypoints from an image ... lies in the application of a novel scale-space FAST-based detector in combination with...
  • Charon

  • Referenced in 20 articles [sw19755]
  • differential as well as algebraic constraints, and invariants restricting the flow spaces, all of which ... submodes can integrate at a finer time scale than the enclosing modes...
  • Booster

  • Referenced in 4 articles [sw33291]
  • acceleration features are the key for scaling-up in the verification of programs with arrays ... efficiently generate required quantified safe inductive invariants attesting the safety of the input code...
  • GIANT

  • Referenced in 2 articles [sw15667]
  • Invariant Newton Techniques) allows an efficient and robust numerical solution of very large scale highly...
  • DSJM

  • Referenced in 6 articles [sw12532]
  • sparse data structures. The pattern graph remains invariant for one-sided, two-sided, full column ... numerical testing on 20 large-scale test instances (see Graph Models and their efficient implementation...
  • DeepFix

  • Referenced in 2 articles [sw25895]
  • designed to capture semantics at multiple scales while taking global context into account using network ... fields. Generally, fully convolutional nets are spatially invariant which prevents them from modeling location dependent...
  • FastMMD

  • Referenced in 3 articles [sw31729]
  • however, greatly hampers its availability to large-scale applications. To accelerate the MMD calculation ... equivalently transform the MMD with shift-invariant kernels into the amplitude expectation of a linear...
  • DroidSieve

  • Referenced in 1 article [sw33518]
  • family of related malware. DroidSieve exploits obfuscation-invariant features and artifacts introduced by obfuscation mechanisms ... static features are designed for processing at scale and can be extracted quickly. For malware...
  • MXPFIT

  • Referenced in 1 article [sw32900]
  • fast Estimation of Signal Parameters via Rotational Invariance Techniques (ESPRIT) algorithm originally proposed by Potts ... approximations of analytic functions or large-scale numerically sampled data...
  • dypro

  • Referenced in 1 article [sw28851]
  • potential in aiding the analysis of large-scale, complicated software. Newly proposed deep neural architectures ... particular given a task of recognizing loop invariants, we show dypro beats all static models...
  • HyDe

  • Referenced in 2 articles [sw29663]
  • HyDe: a Python package for genome-scale hybridization detection. The analysis of hybridization and gene ... producing a set of functions called phylogenetic invariants. In this article, we introduce HyDe...
  • Dalton

  • Referenced in 1 article [sw33911]
  • studied in a gauge-origin-invariant manner. Frequency-dependent molecular properties can be calculated using ... Large molecules may be studied using linear-scaling and massively parallel algorithms. Dalton is distributed...
  • CosmoHammer

  • Referenced in 1 article [sw21685]
  • Mackey et al. (2012) of the affine invariant ensemble sampler by Goodman and Weare ... dual core notebook to 16 minutes by scaling out to 2048 cores. Such short wall...
  • ColDICE

  • Referenced in 1 article [sw18060]
  • constrained by measurements of local Poincaré invariants. Resolution of Poisson equation is performed using ... that we use to check the parallel scaling of the code...
  • ADOL-C

  • Referenced in 225 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ATLAS

  • Referenced in 195 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • Cadabra

  • Referenced in 80 articles [sw00097]
  • Cadabra is a powerful computer program for the...