• HSL_MI20

  • Referenced in 55 articles [sw07246]
  • discretization of second-order scalar elliptic self-adjoint partial differential equations. It can also...
  • TIDES

  • Referenced in 40 articles [sw06664]
  • using an optimized variable-stepsize variable-order formulation. This software, developed by A. Abad ... system, but also the partial derivatives, up to any order, of the solution with respect...
  • ISP

  • Referenced in 12 articles [sw04895]
  • situ Partial Order”) is a tool for the formal verification of MPI(Message Passing Interface...
  • POEM

  • Referenced in 7 articles [sw03469]
  • POEM (Partial Order Environment of Marseille) is a modular model checking tool built to support ... provides reusable code for some powerful partial order based model checking algorithms. POEM consists ... transition generation including dependency analysis for partial order algorithms, etc. The result of this analysis...
  • Gerris

  • Referenced in 344 articles [sw00341]
  • Software program for the solution of the partial differential equations describing fluid flow. The source ... automatic mesh generation in complex geometries Second-order in space and time Unlimited number...
  • HasCasl

  • Referenced in 17 articles [sw00399]
  • logic. Distinctive features of HasCasl include partial higher-order functions, higher-order subtyping, shallow polymorphism...
  • COLAMD

  • Referenced in 32 articles [sw00145]
  • minimum degree orderings for sparse matrices in two contexts: (1) sparse partial pivoting, which requires...
  • Rebeca

  • Referenced in 9 articles [sw09422]
  • introduce compositional verification, abstraction, symmetry and partial order reduction techniques for reducing the state space...
  • ETPS

  • Referenced in 160 articles [sw06302]
  • automated theorem-prover for first-order logic and type theory. The latter ... theorem proving include hardware and software verification, partial automation of various mathematical activities, promoting development ... prove theorems of first- and higher-order logic interactively, automatically, or in a mixture...
  • jPredictor

  • Referenced in 5 articles [sw23065]
  • observed runs. Causality, i.e. causal partial order on events, has been used in runtime analysis ... order to achieve more relaxed causal partial order on events that are relevant...
  • Diffpack

  • Referenced in 115 articles [sw00203]
  • develops C++ software for the solution of partial differential equations, this article has its focus ... conflicts that have to be resolved in order to achieve a very flexible, yet efficient...
  • MOVCOL4

  • Referenced in 17 articles [sw03307]
  • moving mesh code for fourth-order time-dependent partial differential equations We develop and analyze ... code for the adaptive simulation of fourth-order PDEs based on collocation. The scheme...
  • NDL

  • Referenced in 6 articles [sw10433]
  • numerically estimating first and second order partial derivatives of a function by finite differencing. Various ... corresponding formulas that are accurate to order...
  • ADF95

  • Referenced in 6 articles [sw00017]
  • areas in the computational sciences first order partial derivatives for large and complex sets ... facilitate the automatic computation of the first partial derivatives of any arbitrarily complex mathematical FORTRAN ... his/her original code are needed in order to compute the first derivatives of any expression...
  • Chianti

  • Referenced in 5 articles [sw23091]
  • atomic changes, and a partial order inter-dependences of these changes is calculated. Change impact...
  • BOXMG

  • Referenced in 5 articles [sw04222]
  • solves a two-dimensional second-order partial differential equation in divergence form on a rectangular...
  • TAUCS

  • Referenced in 32 articles [sw04014]
  • with Partial Pivoting Factor and Solve. Can solve huge unsymmetric linear systems. Ordering Codes ... structured matrices. All of these are symmetric orderings. Matrix Operations. Matrix-vector multiplication, triangular solvers ... differences discretizations of 2- and 3-dimensional partial differential equations. Useful for testing the solvers...
  • DPF

  • Referenced in 3 articles [sw12853]
  • storage and backtracking strategies, and dynamic partial-order reduction. In particular, we define independence relations ... show the effectiveness of dynamic partial-order reduction based on these relations.par We apply...
  • RIPPLE

  • Referenced in 57 articles [sw30642]
  • estimated with the weakly monotonic, second order upwind method of van Leer. Flow obstacles ... mesh are represented with a partial cell treatment. The improvements and enhancements of RIPPLE relative...