• Uppaal

  • Referenced in 615 articles [sw04702]
  • modeling, simulation and verification of real-time systems, developed jointly by Basic Research in Computer ... collection of non-deterministic processes with finite control structure and real-valued clocks, communicating through ... WPD94, LPW97b]. Typical application areas include real-time 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 run-time and memory consumption...
  • MOVCOL4

  • Referenced in 17 articles [sw03307]
  • moving mesh code for fourth-order time-dependent partial differential equations We develop and analyze ... film -- type equations exhibiting metastable behavior, finite-time solution blow-up, finite-time 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 linear-time model-checking of finite-state systems. Being ... algorithm, as well as methods for obtaining time-optimal winning strategies (for reachability games...
  • Algorithm 735

  • Referenced in 15 articles [sw04403]
  • Wavelet transform algorithms for finite-duration discrete-time signals. The algorithms split for the wavelet ... wavelet transform are presented for finite-duration discrete-time signals of arbitrary length not restricted...
  • Esterel

  • Referenced in 159 articles [sw20012]
  • compiler which translates Esterel programs into finite-state machines. It is one of a family ... suited to programming reactive systems, including real-time systems and control automata. The Esterel...
  • TREX

  • Referenced in 44 articles [sw01388]
  • parametric (continuous-time) timed automata, extended with integer counters and finite-domain variables, and communicating...
  • POMDP

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

  • Referenced in 5 articles [sw24965]
  • dimensional DG-FTLE algorithm for computing finite-time Lyapunov Exponent (FTLE) fields developed ... FTLE, develop steep gradients over shorter finite times than in two-dimensions. Higher-order...
  • 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 time-inhomogeneous multistate model with finite state space...
  • mpFq

  • Referenced in 17 articles [sw09337]
  • produced for the selected finite fields. The opportunity of compile-time 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 discrete-time finite dimensional (z) transfer function to approximate a continuous...