
PHCpack
 Referenced in 226 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 98 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 64 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 685 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 209 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 74 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 114 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...

SDPT3
 Referenced in 673 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...

CUTE
 Referenced in 223 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...

Bertini
 Referenced in 243 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 314 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...

IR Tools
 Referenced in 48 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...

DAISY
 Referenced in 46 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 257 articles
[sw05883]
 programmers. It is free software under the GNU General Public License. The library provides ... functions in total with an extensive test suite...

MatrixMarket
 Referenced in 165 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...

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

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...

qHiPSTER
 Referenced in 14 articles
[sw27649]
 qHiPSTER: The Quantum High Performance Software Testing Environment. We present qHiPSTER, the Quantum High Performance ... Software Testing Environment. qHiPSTER is a distributed highperformance implementation of a quantum simulator ... Stampede supercomputer, we simulate quantum circuits (”quantum software”) of up to 40 qubits. We carry...

INTOPT_90
 Referenced in 306 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 393 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...