• AADL

  • Referenced in 4 articles [sw20835]
  • space explosion caused by the interleavings. The Multirate PALS formal pattern reduces the problem ... designing and model checking such virtually synchronous multirate systems to the much simpler tasks ... their underlying synchronous design. To make the Multirate PALS design and verification methodology available within ... define in this work the modeling language Multirate Synchronous AADL, which can be used...
  • MULTIRES

  • Referenced in 2 articles [sw12564]
  • multires is a maple package, for the manipulation of multivariate polynomials, containing several tools...
  • multiR

  • Referenced in 1 article [sw25480]
  • package multiR: Distributed Computing Using the multiR Package...
  • CTRW

  • Referenced in 2 articles [sw21936]
  • classical Fickian dispersion based advection-dispersion equation, multirate and mobile-immobile models, and the fractional...
  • MERK

  • Referenced in 1 article [sw34411]
  • MERK: Multirate Exponential Runge-Kutta methods. This repository contains MATLAB files for test problems highlighted ... class of high-order methods for multirate differential equations...
  • Faustine

  • Referenced in 1 article [sw09399]
  • implemented, in OCaml, to validate the Faust multirate vector extension proposed in the literature, without...
  • DSP System Toolbox

  • Referenced in 1 article [sw23812]
  • design and analyze FIR, IIR, multirate, multistage, and adaptive filters. You can stream signals from...
  • CDT

  • Referenced in 12 articles [sw00116]
  • Algorithm 750: CDT: A subroutine for the exact...
  • Gmsh

  • Referenced in 576 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • Kranc

  • Referenced in 13 articles [sw00494]
  • We present a suite of Mathematica-based computer...
  • Matlab

  • Referenced in 12074 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • Kronos

  • Referenced in 261 articles [sw01270]
  • KRONOS is a tool developed with the aim...
  • FreeFem++

  • Referenced in 1037 articles [sw01436]
  • FreeFem++ is an implementation of a language dedicated...
  • NEWOPT/AIMS

  • Referenced in 7 articles [sw02967]
  • Optimization of mechatronic systems using the software package...
  • DASSL

  • Referenced in 256 articles [sw03174]
  • Subroutine DDASSL uses the backward differentiation formulas of...
  • ADIC

  • Referenced in 81 articles [sw03392]
  • Welcome to the ADIC Resource Center. ADIC is...
  • TR-BDF2

  • Referenced in 30 articles [sw03446]
  • Analysis and implementation of TR-BDF2 This paper...
  • PETSc

  • Referenced in 1148 articles [sw04012]
  • The Portable, Extensible Toolkit for Scientific Computation (PETSc...
  • METIS

  • Referenced in 445 articles [sw04089]
  • METIS is a set of serial programs for...
  • RODAS

  • Referenced in 1533 articles [sw04112]
  • Rosenbrock method of order 4(3), for problems...