• ROS3P

  • Referenced in 40 articles [sw00813]
  • problems. Since Rosenbrock methods suffer from order reduction when they are applied to partial differential ... construct new methods. G. Steinebach [Order-reduction of ROW-methods for DAEs and method ... preserve its classical order four for special problem classes including linear parabolic equations. His solver...
  • PAT

  • Referenced in 31 articles [sw13258]
  • implemented in PAT, e.g. partial order reduction, symmetry reduction, process counter abstraction, parallel model checking...
  • OFMC

  • Referenced in 26 articles [sw09466]
  • lazy intruder with ideas from partial-order reduction. Moreover, OFMC allows one to analyze security...
  • LFR-toolbox

  • Referenced in 21 articles [sw04756]
  • numerically robust Fortran implementations of order reduction tools via mex-function interfaces. The new enhancements ... generation of LFT-representations with significantly lower orders...
  • PABTEC

  • Referenced in 12 articles [sw04061]
  • unacceptably time and storage consuming. Model order reduction presents a way out of this dilemma ... general idea of model order reduction is to replace a large-scale system ... Electrical Circuits is designed for model order reduction and numerical integration of model equations...
  • pyMOR

  • Referenced in 11 articles [sw12978]
  • pyMOR - Model Order Reduction with Python. pyMOR is a software library developed at the University ... Münster for building model order reduction applications with the Python programming language. Its main focus...
  • Slothrop

  • Referenced in 10 articles [sw10019]
  • completion procedure is parametrized by a reduction ordering used to ensure termination of intermediate ... rewriting systems. While in principle any reduction ordering can be used, modern completion tools typically...
  • LTSmin

  • Referenced in 14 articles [sw07214]
  • memory consumption of symbolic algorithms), partial order reduction and linear temporal logic...
  • Exp.Open

  • Referenced in 10 articles [sw07702]
  • implements on-the-fly partial order reductions to avoid the generation of irrelevant interleavings...
  • rhalton

  • Referenced in 22 articles [sw20515]
  • Carlo (RQMC) sampling can bring orders of magnitude reduction in variance compared to plain Monte...
  • Rebeca

  • Referenced in 8 articles [sw09422]
  • compositional verification, abstraction, symmetry and partial order reduction techniques for reducing the state space. Simple...
  • Spinterp

  • Referenced in 33 articles [sw00902]
  • significant reduction of the required support nodes. The order of the convergence rate...
  • BABEL

  • Referenced in 71 articles [sw03018]
  • BABEL combines pure PROLOG with a first order functional notation. On the other side ... narrowing as the basis of a lazy reduction semantics which embodies both rewriting...
  • SADE

  • Referenced in 14 articles [sw07076]
  • solution of ordinary differential equations, order and dimension reductions using Lie symmetries, classification of differential...
  • MatMorembs

  • Referenced in 6 articles [sw17563]
  • main issue is the model order reduction of elastic bodies. Matmorembs is especially suitable...
  • mkbTT

  • Referenced in 5 articles [sw10018]
  • external termination tools replace the reduction order -- a typically critical parameter -- as proposed by Wehrman...
  • MONA

  • Referenced in 114 articles [sw06170]
  • present tool is faster by several orders of magnitude. This speedup is obtained from many ... tested over the years, including formula reductions, DAGification, guided tree automata, three-valued logic, eager...
  • Krimp

  • Referenced in 13 articles [sw28422]
  • itemsets are returned; a dramatic reduction, up to seven orders of magnitude, in the number...
  • SOCP

  • Referenced in 12 articles [sw03086]
  • primal-dual potential reduction method for solving second-order cone programming problems. Package includes...
  • DIMSEM

  • Referenced in 4 articles [sw09189]
  • stage order, avoiding the phenomenon of order reduction that occurs, for example, with some Runge ... introduction to GLMs is given and some order barriers for DIMSEMs are presented. DIMSEMs...