• MUMPS

  • Referenced in 504 articles [sw04013]
  • Solution of large linear systems with symmetric positive definite matrices; general symmetric matrices; general unsymmetric ... input formats assembled format; distributed assembled format; elemental format; Partial factorization and Schur complement matrix ... MUMPS: Fortran, C, Matlab and Scilab; Several orderings interfaced: AMD, AMF, PORD, METIS, PARMETIS, SCOTCH...
  • Rapide

  • Referenced in 38 articles [sw01249]
  • toolset for simulation of distributed systems by partial orderings of events The Rapide™ Language effort ... technology for building large-scale, distributed multi-language systems. This technology is based upon...
  • FISHPAK

  • Referenced in 99 articles [sw08012]
  • second- and fourth-order finite difference approximations to separable elliptic Partial Differential Equations (PDEs). These ... computed. Singularities induced by the coordinate system are handled, including at the origin ... when you download the files in this distribution. The Makefile builds the library and driver...
  • TGFF

  • Referenced in 15 articles [sw17689]
  • design, operating systems (both real-time and general-purpose), parallel or distributed hardware or software ... which requires problem instances consisting of partially-ordered or directed acyclic graphs (DAGs) of tasks...
  • Rebeca

  • Referenced in 9 articles [sw09422]
  • formal foundation for modeling concurrent and distributed systems which is designed in an effort ... introduce compositional verification, abstraction, symmetry and partial order reduction techniques for reducing the state space...
  • LTSmin

  • Referenced in 21 articles [sw07214]
  • model checking and manipulating labelled transition systems. LTSmin already connects a sizeable number of existing ... language module is in the order of 200–600 lines of C ”glue” code ... vector set), fully symbolic (BDD-based) reachability, distributed reachability (MPI-based), and multi-core reachability ... time and memory consumption of symbolic algorithms), partial order reduction and linear temporal logic...
  • FDEM

  • Referenced in 8 articles [sw10383]
  • solution of systems of nonlinear elliptic and parabolic partial differential equations PDEs. An algorithm ... consistency order $q$.par From the difference of difference formulas of different consistency order ... whole code is efficiently parallelized on distributed memory parallel computers...
  • sldg

  • Referenced in 8 articles [sw17637]
  • used to discretize hyperbolic partial differential equations (usually first order equations). Since these methods ... semi-Lagrangian discontinuous Galerkin method for distributed memory systems (so-called clusters). Both strong...
  • HyTeG

  • Referenced in 5 articles [sw32099]
  • this article, a new generic higher-order finite-element framework for massively parallel simulations ... excellent performance. Different abstraction levels and fully distributed data structures additionally ensure high flexibility, extensibility ... element spaces. Example scenarios with coupled systems of partial differential equations show the applicability...
  • 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 ... architectures and an MPI version for distributed systems (clusters). The parallel versions exploit the multiprocessing...
  • TimeSquare

  • Referenced in 4 articles [sw15830]
  • made popular by its use in distributed systems and synchronous languages. Logical Time provides ... calculus engine able to process a partial order conforming to the set of constraints...
  • VizLitG

  • Referenced in 1 article [sw14819]
  • infrastructure. Partial dataset transfer from the experimental storage element is developed in order to reduce ... poly-dispersed particle systems of different sizes in a geographically distributed grid. The attention...
  • Stuttering Equivalence

  • Referenced in 1 article [sw28575]
  • concurrent and distributed systems. Notably, Lamport argues that refinement notions for such systems should ... certain verification techniques such as partial-order reduction for model checking. We formalize stuttering equivalence...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ALBERT

  • Referenced in 82 articles [sw00025]
  • ALBERT - Software for scientific computations and applications. Adaptive...
  • AMD

  • Referenced in 60 articles [sw00039]
  • Algorithm 837: AMD is a set of routines...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ARMS

  • Referenced in 65 articles [sw00048]
  • ARMS: an algebraic recursive multilevel solver for general...
  • ATLAS

  • Referenced in 199 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...