• 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 29 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...
  • 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...
  • LFR-toolbox

  • Referenced in 18 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...
  • 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...
  • pyMOR

  • Referenced in 9 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...
  • Exp.Open

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

  • Referenced in 19 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...
  • ArbiLoMod

  • Referenced in 5 articles [sw21410]
  • capture the geometric detail, localized model reduction can improve this workflow. To this ... reduced basis method for model order reduction. It assumes that the reduced basis on many ... global error introduced by the model order reduction is controlled by a robust and efficient...
  • 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...
  • Spinterp

  • Referenced in 29 articles [sw00902]
  • significant reduction of the required support nodes. The order of the convergence rate...
  • 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 113 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...
  • 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...