
Graphplan
 Referenced in 181 articles
[sw07746]
 Graphplan always returns a shortest possible partialorder plan, or states that no valid plan ... totalorder planner, Prodigy, and the partialorder 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 socalled 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 fourthorder finite difference approximations to separable elliptic Partial Differential Equations (PDEs). These...

OFMC
 Referenced in 27 articles
[sw09466]
 lazy intruder with ideas from partialorder 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 partiallyordered 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/tnets. 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 firstorder 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 partiallyordered or directed acyclic graphs (DAGs) of tasks...

CSPprover
 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 OnTheFly Verification Methods ... Exp.Open 2.0 implements onthefly 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...