• Graphplan

  • Referenced in 186 articles [sw07746]
  • Graphplan always returns a shortest possible partial-order plan, or states that no valid plan ... total-order planner, Prodigy, and the partial-order planner, UCPOP, on a variety of interesting...
  • MUMPS

  • Referenced in 541 articles [sw04013]
  • assembled format; distributed assembled format; elemental format; Partial factorization and Schur complement matrix (centralized ... MUMPS: Fortran, C, Matlab and Scilab; Several orderings interfaced: AMD, AMF, PORD, METIS, PARMETIS, SCOTCH...
  • FPINNs

  • Referenced in 49 articles [sw40570]
  • PINNs) are effective in solving integer-order partial differential equations (PDEs) based on scattered ... using both automatic differentiation for the integer-order operators and numerical discretization for the fractional...
  • TINA

  • Referenced in 47 articles [sw03280]
  • combinatorial explosion, relying on so-called partial order techniques such as covering steps and/or persistent...
  • Hopscotch

  • Referenced in 45 articles [sw00413]
  • Hopscotch: a fast second order partial differential equations solver. An idea of Gordon...
  • UCPOP

  • Referenced in 39 articles [sw20687]
  • Lisp source code for the UCPOP partial order planner, version 4.1, is available via anonymous ... explore and refine a partial plan...
  • PAT

  • Referenced in 38 articles [sw13258]
  • techniques are implemented in PAT, e.g. partial order reduction, symmetry reduction, process counter abstraction, parallel...
  • Rapide

  • Referenced in 38 articles [sw01249]
  • simulation of distributed systems by partial orderings of events The Rapide™ Language effort focuses...
  • FISHPAK

  • Referenced in 103 articles [sw08012]
  • subprograms for the solution of separable elliptic partial differential equations. FISHPACK contains a collection ... second- and fourth-order finite difference approximations to separable elliptic Partial Differential Equations (PDEs). These...
  • OFMC

  • Referenced in 28 articles [sw09466]
  • lazy intruder with ideas from partial-order reduction. Moreover, OFMC allows one to analyze security...
  • VipTool

  • Referenced in 16 articles [sw13755]
  • Verification of Information systems by evaluating partially-ordered Petri net runs) that was sponsored ... generation and evaluation of partially ordered execution runs (processes) instead of totally ordered sequences ... with causality and concurrency modelled by partially ordered runs of p/t-nets. Namely, functionalities for synthesis...
  • ROS3P

  • Referenced in 45 articles [sw00813]
  • when they are applied to partial differential equations, additional order conditions have to be satisfied...
  • LTSmin

  • Referenced in 21 articles [sw07214]
  • language module is in the order of 200–600 lines of C ”glue” code ... memory consumption of symbolic algorithms), partial order reduction and linear temporal logic...
  • deSolve

  • Referenced in 68 articles [sw04499]
  • value problems of ordinary differential equations (ODE), partial differential equations (PDE), differential algebraic equations ... system of first-order ordinary differential equations (ODE), of partial differential equations (PDE), of differential...
  • posets

  • Referenced in 18 articles [sw07773]
  • provide an environment for computations involving partially ordered sets and related structures. The package...
  • DARCLASS

  • Referenced in 17 articles [sw06195]
  • their computational complexity, we define a partial ordering on the problem class and incorporate...
  • CSP-prover

  • Referenced in 17 articles [sw11465]
  • denotational semantics: the theory of complete partial orders (cpo) as well as the theory...
  • VHPOP

  • Referenced in 11 articles [sw20688]
  • VHPOP: Versatile heuristic partial order planner. VHPOP is a Partial Order Causal Link (POCL) planner...
  • TGFF

  • Referenced in 15 articles [sw17689]
  • which requires problem instances consisting of partially-ordered or directed acyclic graphs (DAGs) of tasks...
  • HSL_MI20

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