• 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 complement-type 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 semi-decision procedure for first-order 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, zero-curvature 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 non-parametric 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 SMT-style decision procedure for recursive functions over tree-structured 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 higher-order ... 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...