
PHCpack
 Referenced in 216 articles
[sw00705]
 paper the structure and design of the software package PHC is described. The main program ... large database of test problems. The software has been developed on four different machine architectures...

eSTREAM
 Referenced in 93 articles
[sw12699]
 original eSTREAM Project website. ... The eSTREAM software testing framework page provides guidelines ... ciphers. Reports on portfolio ciphers’ performance in software can be found here...

Algorithm 679
 Referenced in 63 articles
[sw12583]
 paper describes a model implementation and test software for the Level 2 Basic Linear Algebra ... exists or are not required. The test software aims to verify that specialized implementations meet...

ANSYS
 Referenced in 662 articles
[sw00044]
 unequalled depth and breadth of our software coupled with its unmatched engineered scalability, comprehensive multiphysics ... innovation and reducing physical constraints, enabling simulated tests that might not be possible otherwise...

SifDec
 Referenced in 206 articles
[sw04087]
 CUTE, a widely used testing environment for optimization software, was described by {it I. Bongartz ... features simple extensions to the SIF test problem format and the generation of files suited...

DART
 Referenced in 71 articles
[sw07260]
 tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction ... code parsing; (2) automatic generation of a test driver for this interface that performs random...

TestU01
 Referenced in 111 articles
[sw08033]
 TestU01 is a software library, implemented in the ANSI C language, and offering a collection ... utilities for the empirical statistical testing of uniform random number generators. The library implements several ... widelyused software. It provides general implementations of the classical statistical tests for random number ... software permits one to perform systematic studies of the interaction between a specific test...

CUTE
 Referenced in 218 articles
[sw14681]
 functionality of a versatile environment for testing small and largescale nonlinear optimization algorithms. Although ... authors in conjunction with the software package LANCELOT, we believe that they will be useful ... researchers for their development of optimization software. The tools can be obtained by anonymous ... test problems written in the standard input format (SIF) used by the LANCELOT software package...

SDPT3
 Referenced in 630 articles
[sw04009]
 help the users in using our software, we also include some examples to illustrate ... total of about 300 test problems to an accuracy of at least...

Bertini
 Referenced in 231 articles
[sw06683]
 Bertini™: Software for Numerical Algebraic Geometry. Software for solving polynomial systems. Finds isolated solutions using ... manipulation via both sampling and membership testing. Accepts square or nonsquare systems...

nag
 Referenced in 312 articles
[sw06239]
 optimization experts have developed, extensively tested and documented a wide range of routines to ensure ... mind when results matter. Like all NAG software, the Optimization routines are highly flexible – callable...

DAISY
 Referenced in 45 articles
[sw09059]
 DAISY: A new software tool to test global identifiability of biological and physiological systems ... have been proposed in the literature to test identifiability of nonlinear models ... best of our knowledge, so far no software tools have been proposed for automatically checking...

GSL
 Referenced in 250 articles
[sw05883]
 programmers. It is free software under the GNU General Public License. The library provides ... functions in total with an extensive test suite...

UniTESK
 Referenced in 21 articles
[sw06566]
 UniTESK is a technology of software testing based on formal specifications. Specifications are written using...

MatrixMarket
 Referenced in 161 articles
[sw04020]
 provides convenient access to a repository of test data for use in comparative studies ... algebra. Matrices as well as matrix generation software and services, from linear systems, least squares...

PYTHIA
 Referenced in 29 articles
[sw00747]
 data of the targeted software. This approach has been tested using a customized implementation referred ... existing performance studies using sets of software for solving partial differential equations. From ... turn, PYTHIAII (i) selects the software available for the user’s problem (ii) suggests ... performance data in order to test sets of software. Moreover, it allows easy interfacing...

INTOPT_90
 Referenced in 304 articles
[sw04705]
 branch and bound pattern touching many software details. The chapter on global optimization (40 pages ... based on branch and bound, infeasibility test, interval Newton algorithm applied to the John conditions...

Trilinos
 Referenced in 366 articles
[sw04028]
 selfcontained, independent piece of software with its own set of requirements, its own development ... across multiple platforms, generating documentation and regression testing across a set of target platforms...

IR Tools
 Referenced in 33 articles
[sw26721]
 MATLAB software package of iterative regularization methods and test problems for largescale linear inverse ... problems. The software package, called IR Tools, serves two related purposes: we provide implementations ... provide a set of largescale test problems in the form of discretizations...

SIMPLIFY
 Referenced in 140 articles
[sw04976]
 increase software productivity by providing practical static checking tools for programmers. In general, static checking ... design process than dynamic checking such as testing. Since the cost of correcting an error ... static checking has the potential to increase software productivity...