• FLATA

  • Referenced in 19 articles [sw04142]
  • functionalities of FLATA are: reachability analysis of non-recursive programs - checking if an error control ... state is reachable termination analysis of non-recursive programs - computation of termination preconditions computation...
  • libMC

  • Referenced in 47 articles [sw06615]
  • concave relaxations recursively for each of these intermediate variables via interval analysis and McCormick relaxation ... subgradient elements. These elements are calculated recursively upon application of the subgradient propagation theory developed...
  • CAPTAIN

  • Referenced in 37 articles [sw14783]
  • Computer-Aided Program for Time-series Analysis and Identification of Noisy Systems (CAPTAIN) Toolbox. This ... mainly recursive, algorithms for various important aspects of identification, estimation, nonstationary time series analysis...
  • FixBag

  • Referenced in 4 articles [sw10096]
  • method pre/post conditions via fixpoint analysis of recursive bag constraints. To support better precision...
  • onlinePCA

  • Referenced in 4 articles [sw21315]
  • routinely perform tasks like principal component analysis (PCA). Recursive algorithms that update the PCA with...
  • VIATRA2

  • Referenced in 33 articles [sw03511]
  • language offers advanced constructs for querying (e.g. recursive graph patterns) and manipulating models (e.g. generic ... model transformations frequently used in formal model analysis to carry out powerful abstractions...
  • Hyperion

  • Referenced in 5 articles [sw15097]
  • Hyperion – A Recursive Hyper-Heuristic Framework. Hyper-heuristics are methodologies used to search the space ... problems. We describe an object-oriented domain analysis for hyper-heuristics that orthogonally decomposes ... generative policy components. The framework facilitates the recursive instantiation of hyper-heuristics over hyper-heuristics ... JavaTM class library implementation of this domain analysis...
  • COSTA

  • Referenced in 24 articles [sw00162]
  • executed by the program. When performing cost analysis, COSTA produces a cost equation system, which ... order to obtain a closed (i.e., non-recursive) form for such recurrence relations which represents ... range of possibilities which differ in the analysis accuracy and overhead. All this, without requiring...
  • na11

  • Referenced in 5 articles [sw11510]
  • splines. A careful analysis of computational complexity, numerical stability/instability of the recursive algorithm and some...
  • GNUC

  • Referenced in 11 articles [sw12669]
  • analysis of multi-party protocols. Our framework is called “GNUC” (with the recursive meaning ”GNUC...
  • LLWM

  • Referenced in 14 articles [sw09400]
  • whose components are computed by applying a recursive relation. Block pulse functions are used ... coefficient vectors of nonlinear terms. The convergence analysis of the LLWM is discussed. The results...
  • RECAL

  • Referenced in 5 articles [sw25816]
  • exact analysis of multiple-chain closed queuing networks. RECAL, a Recursion by Chain Algorithm ... presented. It is based on a new recursive expression that relates the normalization constant ... efficient than the convolution or mean value analysis algorithms. The algorithm, therefore, extends the range...
  • JastAdd

  • Referenced in 23 articles [sw01700]
  • modularized into different aspects, e.g. name analysis, type checking, code generation, etc., that are woven ... multi-pass compilation. The attribute evaluator (optimal recursive evaluation) is implemented very conveniently using Java...
  • RAMSES

  • Referenced in 41 articles [sw18064]
  • with a tree-based data structure allowing recursive grid refinements on a cell-by-cell ... formal resolution of 81923. A convergence analysis of different quantities, such as dark matter density...
  • SCASY

  • Referenced in 12 articles [sw03251]
  • RECSY and SCASY library software: Recursive blocked and parallel algorithms for Sylvester-type matrix equations ... discrete-time Sylvester-type matrix equations. The analysis is based on RECSY and SCASY software ... blocks). Another successful approach is to combine recursion and blocking. We consider parallelization of algorithms...
  • CARMA

  • Referenced in 9 articles [sw07235]
  • concept based methods can be realized through recursive algorithms and iterative algorithms. Iterative methods ... identification with finite data and their convergence analysis is very difficult and is a challenging...
  • NodeSketch

  • Referenced in 1 article [sw32346]
  • NodeSketch: Highly-Efficient Graph Embeddings via Recursive Sketching. Embeddings have become a key paradigm ... learn graph representations and facilitate downstream graph analysis tasks. Existing graph embedding techniques either sample ... techniques shows suboptimal efficiency in downstream graph analysis tasks, compared to Hamming similarity, for example ... technique preserving high-order node proximity via recursive sketching. Specifically, built...
  • RAIcode

  • Referenced in 8 articles [sw34283]
  • structures. The sequence of operations is performed recursively for each autonomous sub-structure while simultaneously ... accuracy over the PC, three phase dependency analysis, optimal reinsertion, greedy search, greedy equivalence search...
  • PRECiSA

  • Referenced in 2 articles [sw38041]
  • analysis. Additionally, a widening operator is defined to ensure the convergence of recursive functions...
  • recsy

  • Referenced in 7 articles [sw04139]
  • RECSY and SCASY library software: Recursive blocked and parallel algorithms for Sylvester-type matrix equations ... discrete-time Sylvester-type matrix equations. The analysis is based on RECSY and SCASY software ... blocks). Another successful approach is to combine recursion and blocking. We consider parallelization of algorithms...