• PHCpack

  • Referenced in 206 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 90 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 652 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 199 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 68 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 97 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...
  • CUTE

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

  • Referenced in 602 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 212 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 310 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 42 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 236 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...
  • 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...
  • 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...
  • MatrixMarket

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

  • Referenced in 345 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...
  • SIMPLIFY

  • Referenced in 135 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...
  • ScaLAPACK

  • Referenced in 400 articles [sw00830]
  • precision complex, and double precision complex. The software has been written to be portable across ... Guide, the source code for the package, testing and timing programs, prebuilt version...