
CESAR
 Referenced in 154 articles
[sw08510]
 predicate transformers. The verification of a system consists in obtaining by automatic translation...

DOLFIN
 Referenced in 152 articles
[sw04313]
 element assembly. To provide a simple and consistent user interface, DOLFIN wraps the functionality...

LiE
 Referenced in 145 articles
[sw01075]
 core of the system. This core consists of programs representing some 100 mathematical functions...

MuPAD
 Referenced in 137 articles
[sw00606]
 MuPAD consists of a powerful symbolic engine, a language that is optimized for operating...

UTA Plus
 Referenced in 137 articles
[sw16225]
 based on a principle of ordinal regression, consist in solving a small linear program...

ILUT
 Referenced in 136 articles
[sw08734]
 certain threshold. The second class of methods consists of techniques derived from modifications...

MMACBETH
 Referenced in 97 articles
[sw16199]
 into the software, it automatically verifies their consistency. A numerical scale is generated that ... entirely consistent with all the decision maker ’s judgements. Through a similar process weights...

NAS Parallel Benchmarks
 Referenced in 129 articles
[sw08853]
 from computational fluid dynamics (CFD) applications and consist of five kernels and three pseudoapplications...

SuLQ
 Referenced in 119 articles
[sw11355]
 entries. In such a database, a query consists of a pair (S, f) where...

Vador
 Referenced in 112 articles
[sw06987]
 particles under the effects of selfconsistent electro magnetic fields. The unknown...

MICE
 Referenced in 109 articles
[sw09315]
 Passive imputation can be used to maintain consistency between variables. Various diagnostic plots are available...

CALMA
 Referenced in 104 articles
[sw03235]
 within the CALMA project by a consortium consisting of research groups from Delft, Eindhoven, London...

AIMMS
 Referenced in 97 articles
[sw04912]
 complex decisions faster, more accurately, and more consistently by suggesting & comparing optimal solutions...

VTK
 Referenced in 94 articles
[sw10593]
 computer graphics, image processing and visualization. VTK consists of a C++ class library and several...

COIL20
 Referenced in 67 articles
[sw30991]
 available in two versions. The first, [unprocessed], consists of images for five of the objects ... background has been discarded (and the images consist of the smallest square that contains...

SCALCG
 Referenced in 93 articles
[sw08453]
 convergent. Preliminary computational results, for a set consisting of 500 unconstrained optimization test problems, show...

CSPLib
 Referenced in 91 articles
[sw04150]
 test problems for constraint solvers. The library consists of: problems organised by subject area...

Cosy
 Referenced in 87 articles
[sw07711]
 crosschecked and verified. The COSY system consists of the following parts...

CandS
 Referenced in 85 articles
[sw07308]
 Originally the software consisted of 17 Mathematica Packages written by Alfred Gray...