• PHCpack

  • Referenced in 236 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 105 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...
  • ANSYS

  • Referenced in 715 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...
  • Algorithm 679

  • Referenced in 65 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...
  • SifDec

  • Referenced in 220 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 76 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 124 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 ... widely-used 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 707 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 232 articles [sw14681]
  • functionality of a versatile environment for testing small- and large-scale 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 254 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...
  • BM3D

  • Referenced in 57 articles [sw28266]
  • BM3D software and test sequences. Image and video denoising by sparse 3D transform-domain collaborative...
  • nag

  • Referenced in 316 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 54 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...
  • IR Tools

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

  • Referenced in 26 articles [sw21518]
  • engineered with a particular emphasis on software testing and is able to exploit GPU hardware...
  • GSL

  • Referenced in 270 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 170 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...
  • Trilinos

  • Referenced in 412 articles [sw04028]
  • self-contained, 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...
  • 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, PYTHIA-II (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...