
CUTEr
 Referenced in 460 articles
[sw04010]
 data files is available as a separate package. Once translated, these files may be manipulated...

Datalog
 Referenced in 248 articles
[sw20023]
 programming, but it became prominent as a separate area around 1977 when Hervé Gallaire...

ve08
 Referenced in 125 articles
[sw05141]
 unconstrained optimization of partially separable functions We consider the problem of minimizing a smooth objective ... large n if f has a certain separability structure. This structure is always implied...

SifDec
 Referenced in 166 articles
[sw04087]
 part of CUTE, has become a separate tool, easily callable by various packages. It features...

AR face
 Referenced in 151 articles
[sw13806]
 participants. Each person participated in two sessions, separated by two weeks (14 days) time...

Miranda
 Referenced in 143 articles
[sw04986]
 library structure with type secure facilities for separate compilation and linking. The major part...

FISHPAK
 Referenced in 73 articles
[sw08012]
 Fortran subprograms for the solution of separable elliptic partial differential equations. FISHPACK contains a collection ... fourthorder finite difference approximations to separable elliptic Partial Differential Equations (PDEs). These include Helmholtz ... spherical coordinates, as well as more general separable elliptic equations. The solvers use the cyclic ... nonseparable elliptic PDEs, or a mix of separable and nonseparable ones, consider using the MUDPACK...

Eiffel
 Referenced in 88 articles
[sw03522]
 principles, including design by contract, commandquery separation, the uniformaccess principle, the singlechoice ... openclosed principle, and optionoperand separation. Many concepts initially introduced by Eiffel later found...

CVRPSP
 Referenced in 88 articles
[sw13447]
 written in the C programming language, for separation of various classes of cuts in branch ... Mathematical Programming  see Publications). The package contains separation routines for rounded capacity inequalities, homogeneous multistar...

SOCS
 Referenced in 85 articles
[sw07737]
 Company, contains two advanced software packages, available separately or together. Sparse Optimal Control Software (SOCS ... integral part of SOCS or as a separate package...

NPSOL
 Referenced in 118 articles
[sw07420]
 linear constraints, and nonlinear constraints are treated separately. Hence it is especially effective...

LSODE
 Referenced in 115 articles
[sw04374]
 some algorithmic improvements. LSODE is available in separate double and single precision versions, called DLSODE...

HOMPACK
 Referenced in 115 articles
[sw05324]
 based, normal flow, and augmented Jacobian matrix. Separate routines are also provided for dense...

SuperLU
 Referenced in 113 articles
[sw00930]
 routines. This preordering for sparsity is completely separate from the factorization. Working precision iterative refinement...

ABACUS
 Referenced in 111 articles
[sw02948]
 problem specific parts, i.e., the separation of cutting planes, column generation, and primal heuristics. ABACUS...

MONA
 Referenced in 104 articles
[sw06170]
 quantify their respective effects by experimenting with separate versions of the MONA tool that...

PORTA
 Referenced in 97 articles
[sw04869]
 system of linear inequalities can be done separately by using the function ’fmel...

ICALAB
 Referenced in 93 articles
[sw15047]
 higher order statistics), BSS (blind source separation) employing SOS (second order statistics) and LP (linear...

SIGNAL
 Referenced in 48 articles
[sw02915]
 structurally decomposing them into elementar synchronous processes. Separate compilation in reactive languages is however made ... issue by global safety requirements. To enable separate compilation of the functional components of reactive ... languages, typing is the medium allowing the separate compilation of functions in a program ... flow graph can similarly be used for separately compiling reactive processes and for assembling them...

Smallfoot
 Referenced in 45 articles
[sw09787]
 Smallfoot: Modular automatic assertion checking with separation logic. Separation logic is a program logic ... Smallfoot, a tool for checking certain lightweight separation logic specifications. The assertions describe the shapes ... which are oriented toward novel aspects of separation logic, namely: avoidance of frame axioms (which...