• MTT

  • Referenced in 25 articles [sw09783]
  • outside the scope of current termination tools. The operational meaning of such features is often...
  • SCIFF

  • Referenced in 20 articles [sw20513]
  • declarative and operational semantics of the SCIFF language, and the termination, soundness, and completeness results...
  • MULKNAP

  • Referenced in 38 articles [sw06467]
  • above for pruning subproblems, and at each terminal subproblem, we solve MKP exactly by calling ... MULKNAP code [{it D. Pisinger}, Eur. J. Oper...
  • Sylvan

  • Referenced in 5 articles [sw41639]
  • terminal binary decision diagram library written in C. Sylvan implements typical binary decision diagram operations ... supporting custom decision diagram terminal types. Sylvan implements parallelized operations on binary decision diagrams supporting ... kind of terminal, including standard Booleans, integers, floating points and any user-defined types. Sylvan ... also implements operations on specialized list decision diagrams for model-checking. Both sequential and parallel...
  • LSMR

  • Referenced in 76 articles [sw12940]
  • being sparse or a fast linear operator. LSMR is based on the Golub-Kahan bidiagonalization ... monotonic) it is safer to terminate LSMR early. We also report some experiments with reorthogonalization...
  • DART

  • Referenced in 76 articles [sw07260]
  • most general environment the program can operate in; and (3) dynamic analysis ... program crashes, assertion violations, and non-termination. Preliminary experiments to unit test several examples...
  • DCVALID

  • Referenced in 15 articles [sw20416]
  • multi-terminal BDD based representation of automata and has implemented algorithms for operations on automata...
  • Goldilocks

  • Referenced in 10 articles [sw12806]
  • caught, the operation, thread, or program causing it can be terminated gracefully. Alternatively, the DataRaceException...
  • Coinductive

  • Referenced in 7 articles [sw28537]
  • infinite streams, coinductive terminated lists, coinductive resumptions, a library of operations on coinductive lists...
  • OFMC

  • Referenced in 28 articles [sw09466]
  • with support for algebraic properties of cryptographic operators and with a simple notation for different ... constraint-based techniques, which are correct and terminating. The two major techniques are the lazy ... algebraic theory of the employed cryptographic operators, which can be specified as part...
  • CARIBOO

  • Referenced in 14 articles [sw10064]
  • Induction Based termination prOOfs), allows proving termination under specific reduction strategies, which becomes of special ... evaluation process of ELAN, local strategies on operators, provided in OBJ-like languages, and allowing ... avoid evaluations known to be non terminating for the standard strategy, to make strategy computations...
  • Kernel-LEAF

  • Referenced in 28 articles [sw08982]
  • cope with partial (undefined or non-terminating) functions. This is achieved by introducing the distinction ... different behaviour with respect to continuity. The operational semantics (based on SLD-resolution) is proved...
  • PEBBL

  • Referenced in 13 articles [sw13809]
  • customized to support application-specific operations, while managing the generic aspects of branch and bound ... pool across multiple processors, load balancing, and termination detection. PEBBL is designed to provide highly...
  • VMEXT

  • Referenced in 6 articles [sw20981]
  • terminal symbols, such as identifiers or numbers (leaf nodes), and functions or operators (non-leaf...
  • DIASPORA

  • Referenced in 14 articles [sw02659]
  • query completion, handling query rewriting, supporting query termination and preventing multiple computations of a query ... hyperlink framework. The DIASPORA system is currently operational and is undergoing testing on our campus...
  • RackEnumeration

  • Referenced in 7 articles [sw34534]
  • Coxeter process. We prove that the process terminates if and only if (mathcal ... which case, the procedure outputs an operation table for the finite rack. We conclude with...
  • PortLib

  • Referenced in 1 article [sw37941]
  • scheduling problem for feeder vessels in multi-terminal ports, which has been defined in close ... faced by the carriers in scheduling the operations. Given a fleet of feeder vessels, which ... number of operations to perform at different terminals, and each terminal can only serve ... time, the task is to define an operational schedule, i.e. a starting time for each...
  • CSP

  • Referenced in 1 article [sw08678]
  • determinism and non-termination. We define an instrumented operational semantics that generates as a side...
  • Meddly

  • Referenced in 4 articles [sw29140]
  • Meddly (Multi-terminal and Edge-valued Decision Diagram LibrarY) is a C++ library that natively ... configurable garbage collection, and many built-in operations (with compute table support...
  • CRC 3

  • Referenced in 9 articles [sw09782]
  • specifications. The Church-Rosser property, together with termination, is essential for an equational specification ... initial algebra, mathematical semantics, and its operational semantics by rewriting. Checking this property for expressive...