
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 [Orderreduction of ROWmethods 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 partialorder 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 largescale system ... Electrical Circuits is designed for model order reduction and numerical integration of model equations...

LFRtoolbox
 Referenced in 18 articles
[sw04756]
 numerically robust Fortran implementations of order reduction tools via mexfunction interfaces. The new enhancements ... generation of LFTrepresentations 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 onthefly 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, threevalued logic, eager...

SOCP
 Referenced in 12 articles
[sw03086]
 primaldual potential reduction method for solving secondorder 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...