
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 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 partialorder reduction. Moreover, OFMC allows one to analyze security...

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