• Graphplan

  • Referenced in 181 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...
  • Hopscotch

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

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

  • Referenced in 439 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...
  • UCPOP

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

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

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

  • Referenced in 94 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 27 articles [sw09466]
  • lazy intruder with ideas from partial-order reduction. Moreover, OFMC allows one to analyze security...
  • ROS3P

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

  • Referenced in 13 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...
  • posets

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

  • Referenced in 18 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 53 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...
  • DARCLASS

  • Referenced in 16 articles [sw06195]
  • their computational complexity, we define a partial ordering on the problem class and incorporate...
  • TGFF

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

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

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

  • Referenced in 10 articles [sw07702]
  • Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods ... Exp.Open 2.0 implements on-the-fly partial order reductions to avoid the generation of irrelevant...
  • ISP

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