
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 userdefined types. Sylvan ... also implements operations on specialized list decision diagrams for modelchecking. Both sequential and parallel...

LSMR
 Referenced in 76 articles
[sw12940]
 being sparse or a fast linear operator. LSMR is based on the GolubKahan 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 nontermination. Preliminary experiments to unit test several examples...

DCVALID
 Referenced in 15 articles
[sw20416]
 multiterminal 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 ... constraintbased 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 OBJlike languages, and allowing ... avoid evaluations known to be non terminating for the standard strategy, to make strategy computations...

KernelLEAF
 Referenced in 28 articles
[sw08982]
 cope with partial (undefined or nonterminating) functions. This is achieved by introducing the distinction ... different behaviour with respect to continuity. The operational semantics (based on SLDresolution) is proved...

PEBBL
 Referenced in 13 articles
[sw13809]
 customized to support applicationspecific 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 (nonleaf...

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 multiterminal 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 nontermination. We define an instrumented operational semantics that generates as a side...

Meddly
 Referenced in 4 articles
[sw29140]
 Meddly (Multiterminal and Edgevalued Decision Diagram LibrarY) is a C++ library that natively ... configurable garbage collection, and many builtin operations (with compute table support...

CRC 3
 Referenced in 9 articles
[sw09782]
 specifications. The ChurchRosser 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...