
Uppaal
 Referenced in 615 articles
[sw04702]
 modeling, simulation and verification of realtime systems, developed jointly by Basic Research in Computer ... collection of nondeterministic processes with finite control structure and realvalued clocks, communicating through ... WPD94, LPW97b]. Typical application areas include realtime controllers and communication protocols in particular, those...

deal.ii
 Referenced in 422 articles
[sw03516]
 array of tools classes often used in finite element program. Writing such programs ... space dimension without unreasonable penalties on runtime and memory consumption...

MOVCOL4
 Referenced in 17 articles
[sw03307]
 moving mesh code for fourthorder timedependent partial differential equations We develop and analyze ... film  type equations exhibiting metastable behavior, finitetime solution blowup, finitetime extinction...

iFEM
 Referenced in 110 articles
[sw07766]
 iFEM: an innovative finite element methods package in MATLAB. Sparse matrixlization, an innovative programming style ... iFEM can let researchers considerably reduce development time than traditional programming method...

IDLVALID
 Referenced in 10 articles
[sw20417]
 variant where models are finite timed state sequences. An number of examples illustrate the expressive...

UPPAAL TIGA
 Referenced in 38 articles
[sw12913]
 Smolka [LS98] for lineartime modelchecking of finitestate systems. Being ... algorithm, as well as methods for obtaining timeoptimal winning strategies (for reachability games...

Algorithm 735
 Referenced in 15 articles
[sw04403]
 Wavelet transform algorithms for finiteduration discretetime signals. The algorithms split for the wavelet ... wavelet transform are presented for finiteduration discretetime signals of arbitrary length not restricted...

Esterel
 Referenced in 159 articles
[sw20012]
 compiler which translates Esterel programs into finitestate machines. It is one of a family ... suited to programming reactive systems, including realtime systems and control automata. The Esterel...

TREX
 Referenced in 44 articles
[sw01388]
 parametric (continuoustime) timed automata, extended with integer counters and finitedomain variables, and communicating...

POMDP
 Referenced in 18 articles
[sw03204]
 time working backwards in time. It does finite horizon problems with or without discounting...

DGFTLE
 Referenced in 5 articles
[sw24965]
 dimensional DGFTLE algorithm for computing finitetime Lyapunov Exponent (FTLE) fields developed ... FTLE, develop steep gradients over shorter finite times than in twodimensions. Higherorder...

TINA
 Referenced in 42 articles
[sw03280]
 Time Petri nets, which have, in general, infinite state spaces, they provide a finite symbolic...

Oz
 Referenced in 113 articles
[sw06799]
 include optimization problems like scheduling, time tabling, placement and configuration, reasoning and knowledge representation, processing ... synchronizing over a constraint store. It supports finite domain and feature constraints and has powerful...

SimOpt
 Referenced in 6 articles
[sw23649]
 interested in increasing attention on the finite time performance of algorithms, rather than the asymptotic...

Adaptative L1 TE and Predictive
 Referenced in 12 articles
[sw32154]
 fractional diffusion equations. The computation time required by standard finite difference methods with fixed timesteps ... these problems usually involve markedly different time scales, which leads to quite inhomogeneous numerical errors...

etm
 Referenced in 18 articles
[sw11211]
 transition probabilities for any timeinhomogeneous multistate model with finite state space...

mpFq
 Referenced in 17 articles
[sw09337]
 produced for the selected finite fields. The opportunity of compiletime optimizations yields substantial performance...

PRONTO 2D
 Referenced in 13 articles
[sw18327]
 strain rates. This Lagrangian finite element program uses an explicit time integration operator to integrate ... strain quadrilateral elements are used in the finite element formulation. A number of new numerical ... described in this report. An adaptive time step control algorithm is described which greatly improves ... which eliminates hourglass distortions without disturbing the finite element solution is included. All constitutive models...

LOIS
 Referenced in 5 articles
[sw21722]
 iterating through certain infinite sets, in finite time. Our semantics intuitively correspond to execution...

irid_fod
 Referenced in 5 articles
[sw20906]
 prepared to compute a discretetime finite dimensional (z) transfer function to approximate a continuous...