
BDDC
 Referenced in 27 articles
[sw07232]
 method is obtained. If this approach is applied recursively, multilevel BDDC method is derived ... cavity. Results by the multilevel approach are compared to those by the standard (twolevel...

libMC
 Referenced in 40 articles
[sw06615]
 alternative approach to the forward mode is the reverse mode, which performs similar recursive operations ... seed matrix. libMC uses an operator overloading approach (as opposed to program transformation techniques...

Abella
 Referenced in 48 articles
[sw09461]
 through recursive rules based on syntactic structure. Abella utilizes a twolevel logic approach...

Garamon
 Referenced in 5 articles
[sw30354]
 formulation of Geometric Algebra operations. This recursive approach presents a much better complexity than ... smooth transition to the new recursive products for higher dimensions...

VeriFast
 Referenced in 55 articles
[sw07705]
 This note describes a separationlogicbased approach for the specification and verification of safety ... programmer may declare inductive datatypes and primitive recursive functions for specification. Verification proceeds by symbolic...

SCASY
 Referenced in 12 articles
[sw03251]
 RECSY and SCASY library software: Recursive blocked and parallel algorithms for Sylvestertype matrix equations ... submatrices (matrix blocks). Another successful approach is to combine recursion and blocking. We consider parallelization...

RcppArmadillo
 Referenced in 65 articles
[sw09313]
 LAPACK and ATLAS libraries. A delayed evaluation approach is employed (during compile time) to combine ... need for temporaries. This is accomplished through recursive templates and template metaprogramming. This library...

zkSNARK
 Referenced in 11 articles
[sw22495]
 Valiant (TCC ’08), offers an approach to scalability, by recursively composing proofs: proving statements about...

FastSLAM
 Referenced in 62 articles
[sw13538]
 prerequisite of truly autonomous robots. However, few approaches to this problem scale up to handle ... This paper presents FastSLAM, an algorithm that recursively estimates the full posterior distribution over robot ... environments far beyond the reach of previous approaches. Experimental results demonstrate the advantages and limitations...

HANNIBAL
 Referenced in 8 articles
[sw10071]
 verification based on recursive learning. This paper introduces a new approach to logic verification...

recsy
 Referenced in 7 articles
[sw04139]
 RECSY and SCASY library software: Recursive blocked and parallel algorithms for Sylvestertype matrix equations ... submatrices (matrix blocks). Another successful approach is to combine recursion and blocking. We consider parallelization...

BlackHat
 Referenced in 68 articles
[sw10450]
 implements the unitarity method and onshell recursion to construct amplitudes. As input ... illustrate the numerical stability of our approach by computing and analyzing six, seven, and eight...

evtree
 Referenced in 9 articles
[sw14304]
 this approach is known to be an efficient heuristic, the results of recursive tree methods...

SU3CGVCS
 Referenced in 4 articles
[sw09357]
 required coefficients directly without recursion relations. The approach extends to other compact semisimple...

PGSolver
 Referenced in 23 articles
[sw14051]
 aforementioned application domains, showing that using this approach vastly speeds up the solving process ... obtain the surprising observation that Zielonka’s recursive algorithm is the best parity game solver...

woeR
 Referenced in 1 article
[sw33588]
 /9781119201731.biblio>). The underlying algorithm adopts a recursive approach to create segments that are diverse...

UPStream
 Referenced in 1 article
[sw30885]
 simple hydraulic gradientbased recursive approach for selection of pipe diameters, to automatically design pressurized...

HipSpec
 Referenced in 12 articles
[sw07736]
 about functional programs. It uses a novel approach, combining theory exploration, counterexample testing and inductive ... equational theorems about the available recursive functions of a program. These equational properties make...

SPEEDUP
 Referenced in 2 articles
[sw21743]
 transition amplitudes via the effective action approach. We present Path Integral Monte Carlo C code ... SPEEDUP Mathematica codes, using the recursive Schr”odinger equation approach. In addition to the general...

FASAN
 Referenced in 2 articles
[sw02895]
 functional data flow approach with FASAN. daptive numerical algorithms work recursively on treelike dynamic ... rather than, iteratively on static arrays. Our approach to parallelize such an algorithm with potentially ... describe the coordinating part of a recursive finite element application...