
FunArray
 Referenced in 14 articles
[sw13708]
 able to infer thousands of nontrivial 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 scaleand rotationinvariant 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 scalespace FASTbased 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 scalingup 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 onesided, twosided, full column ... numerical testing on 20 largescale 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 largescale applications. To accelerate the MMD calculation ... equivalently transform the MMD with shiftinvariant kernels into the amplitude expectation of a linear...

DroidSieve
 Referenced in 1 article
[sw33518]
 family of related malware. DroidSieve exploits obfuscationinvariant 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 largescale numerically sampled data...

dypro
 Referenced in 1 article
[sw28851]
 potential in aiding the analysis of largescale, 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 genomescale 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 gaugeorigininvariant manner. Frequencydependent molecular properties can be calculated using ... Large molecules may be studied using linearscaling 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...

ADOLC
 Referenced in 225 articles
[sw00019]
 ADOLC: 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...