
libMC
 Referenced in 47 articles
[sw06615]
 given factorable function, a recursive procedure is first employed to develop an equivalent reformulation ... well as convex and concave relaxations recursively for each of these intermediate variables via interval...

NQTHM
 Referenced in 151 articles
[sw07543]
 functions in the logic as new proof procedures upon the establishment of their soundness ... permission of bounded quantification and partial recursive functions. These changes in the logic were described ... using them efficiently as new proof procedures” [in “The correctness problem in computer science...

Algorithm 781
 Referenced in 9 articles
[sw04674]
 given. The algorithm implements a recursive procedure that involves simple integer operations and quickly converges ... considerably easier to implement than previous recursive and nonrecursive algorithms and can be efficiently implemented...

Interproc
 Referenced in 8 articles
[sw09095]
 small imperative language with (recursive) procedure calls. It infers invariants on the numerical variables...

RGITL
 Referenced in 5 articles
[sw13917]
 with explicit interleaved programs and recursive procedures. Deduction is based on the principles of symbolic...

pARMS
 Referenced in 39 articles
[sw00683]
 distributed sparse linear systems”. The parallel Algebraic Recursive Multilevel Solver (pARMS) is a recently developed ... which integrates together variants from both Schwarz procedures and Schur complementtype techniques. This paper...

Scotch
 Referenced in 80 articles
[sw07818]
 Bipartitioning algorithm. Predefined mapping strategies allow for recursive application of any of several graph bipartitioning ... input/output formats, instructions for use, and installation procedures, and provide a number of examples...

Leon
 Referenced in 11 articles
[sw09159]
 mutations and loops, using a translation into recursive functional form. Both properties and programs ... efficient semidecision procedure for firstorder constraints with recursive functions, which is the core...

Spacer
 Referenced in 11 articles
[sw19496]
 safety verification of recursive programs. The algorithm is modular and analyzes procedures individually. Unlike other...

Jets
 Referenced in 30 articles
[sw23621]
 diffieties. Jets is a set of Maple procedures to facilitate solution of differential equations ... compute symmetries, conservation laws, zerocurvature representations, recursion operators, any many other invariants of systems...

party
 Referenced in 27 articles
[sw07330]
 Recursive Partytioning. A computational toolbox for recursive partitioning. The core of the package is ctree ... well defined theory of conditional inference procedures. This nonparametric class of regression trees ... function mob() implements an algorithm for recursive partitioning based on parametric models (e.g. linear models...

Simpl
 Referenced in 1 article
[sw32234]
 cover all common language features: mutually recursive procedures, abrupt termination and exceptions, runtime faults, local...

Guardol
 Referenced in 2 articles
[sw28543]
 suitable for a SMTstyle decision procedure for recursive functions over treestructured data...

KRIPKE
 Referenced in 8 articles
[sw01162]
 decision procedure for each of these logics describes a way of recursively constructing ... nite. However in practice this decision procedure tends to be impossible...

AnDarl
 Referenced in 7 articles
[sw26216]
 term recursions. We also give, for any particular n, a procedure for evaluating the distribution...

Crowfoot
 Referenced in 5 articles
[sw07706]
 only data but also code (commands or procedures). Such heaps are often called higherorder ... allow for instance the creation of new recursions on the fly. One can use higher ... Hoare triples which describe the behaviour of procedures stored on the heap. The tool addresses ... complex issues like deep frame rules and recursion through the store, and is the first...

PGSolver
 Referenced in 35 articles
[sw14051]
 important applications in automata theory and decision procedures (validity as well as model checking ... obtain the surprising observation that Zielonka’s recursive algorithm is the best parity game solver...

VIRT
 Referenced in 2 articles
[sw02513]
 iterative procedures compared with recursive programming. An arbitrary list can be efficiently represented...

ntccSim
 Referenced in 1 article
[sw33009]
 constructs as well as to declare procedure and recursive process definitions. An important feature...

SMEAGOL
 Referenced in 6 articles
[sw33755]
 regularization procedure of the Hamiltonian and provides great improvements over standard recursive methods. In particular...