• Netlib

  • Referenced in 67 articles [sw04368]
  • Netlib repository contains freely available software, documents, and databases of interest to the numerical, scientific ... around the world, automatically synchronized, to provide reliable and network efficient service to the global...
  • Mfold

  • Referenced in 42 articles [sw12672]
  • this software. Detailed output, in the form of structure plots with or without reliability information...
  • ANSYS-CFX

  • Referenced in 107 articles [sw06391]
  • ANSYS CFX software is a high-performance, general purpose fluid dynamics program that has been ... advanced solver technology, the key to achieving reliable and accurate solutions quickly and robustly...
  • SLICE

  • Referenced in 5 articles [sw30997]
  • Numerically reliable software for control: the SLICE library. The algorithms developed in the control literature ... reference to the SLICE library of numerically reliable Fortran algorithms for control...
  • CVXGEN

  • Referenced in 44 articles [sw07151]
  • embedded convex optimization. CVXGEN is a software tool that takes a high level description ... custom C code that compiles into a reliable, high speed solver for the problem family...
  • edgeR

  • Referenced in 53 articles [sw06936]
  • across experimental conditions. edgeR is a Bioconductor software package for examining differential expression of replicated ... degree of overdispersion across transcripts, improving the reliability of inference. The methodology can be used ... phenotype or experimental condition is replicated. The software may have other applications beyond sequencing data...
  • Couenne

  • Referenced in 69 articles [sw04347]
  • branching technique originally developed for MILP, reliability branching, to the MINLP case. Motivated ... MINLP problems, we have developed an sBB software package named couenne (Convex Over- and Under...
  • TATOO

  • Referenced in 3 articles [sw02253]
  • required to ensure the reliability, robustness and usability of software. Tools that systematically ... crucial to the development of reliable software. This paper describes a code-based testing...
  • ZEBEC

  • Referenced in 8 articles [sw01034]
  • reliable and portable software package, called ZEBEC (ZEros of BEssel functions Complex), is presented, which...
  • SPRINT2D

  • Referenced in 25 articles [sw00904]
  • software and shows how the adaptive techniques may be used to increase the reliability...
  • CDSChecker

  • Referenced in 5 articles [sw21725]
  • with C/C++ atomics. Writing low-level concurrent software has traditionally required intimate knowledge ... code behavior can be surprising. Building reliable concurrent software using C/C++ low-level atomic operations...
  • phimeca

  • Referenced in 2 articles [sw17673]
  • paper provides a presentation of phimeca software for reliability analysis. The completion of this software ... this special issue of “Structural Reliability Software” and the use of the GUI is illustrated...
  • CARATS

  • Referenced in 1 article [sw11368]
  • software system, to deliver reliable software products on time becomes a critical issue. Many software ... past three decades. However, most software reliability assessment processes and parameter estimations of models depend ... neural-network methods to assess software reliability. This would greatly help project managers to make ... oriented design, CARATS can analyze the software reliability easily, and is also more flexible...
  • qpOASES

  • Referenced in 76 articles [sw05107]
  • model predictive control (MPC) applications. The software package qpOASES implements these ideas and has already ... been implemented that greatly increase qpOASES’s reliability when solving semi-definite, ill-posed...
  • PLT Redex

  • Referenced in 23 articles [sw09921]
  • first reliable and easy-to-use tool set for such forms of semantics. Software engineers...
  • mfem

  • Referenced in 50 articles [sw22316]
  • research. A posteriori error control with a reliable and efficient averaging technique is included ... examples illustrate some applications of the provided software and the quality of the error estimation...
  • ISRO

  • Referenced in 1 article [sw07652]
  • discrete time model for software reliability with application to a flight control software This work ... motivated by a particular software reliability problem in a unit of flight control software developed ... ISRO), in which the testing of the software is carried out in multiple batches, each ... used to estimate the reliability of the software. We also develop a method to determine...
  • RAM Commander FTA

  • Referenced in 2 articles [sw12551]
  • pioneering Reliability and Safety software for reliability professionals and design engineers. RAM Commander combines ingenuity ... reliability of electronic, electro-mechanical and mechanical systems. RAM Commander is modular software allowing ... constraints. List of RAM Commander modules contains Reliability Maintainability, RBD, Fault Tree Analysis, Event Tree...
  • Möbius

  • Referenced in 25 articles [sw04098]
  • Möbius™ is a software tool for modeling the behavior of complex systems. Although ... originally developed for studying the reliability, availability, and performance of computer and network systems...
  • UQLab

  • Referenced in 43 articles [sw19740]
  • single software tool. UQLab provides now the software backbone of the Chair’s research, allowing ... rank tensor approximations), rare event estimation (structural reliability), global sensitivity analysis, Bayesian techniques for inverse...