• 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 (two-level...
  • 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 two-level 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 separation-logic-based 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 Sylvester-type 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 meta-programming. This library...
  • zk-SNARK

  • 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 Sylvester-type 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 on-shell 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 semi-simple...
  • 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 gradient-based 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 tree-like 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...