• SLAM

  • Referenced in 153 articles [sw03136]
  • engineers in designing interfaces and software that ensure reliable and correct functioning. Static Driver Verifier...
  • MLC++

  • Referenced in 41 articles [sw13539]
  • that can accelerate algorithm development, increase software reliability, provide comparison tools, and display information visually...
  • HSL

  • Referenced in 279 articles [sw00418]
  • reliability and has an international reputation as a source of robust and efficient numerical software...
  • SPLIDA

  • Referenced in 271 articles [sw27861]
  • Software for Life Data Analysis. Click here for information on SPLIDA, a collection ... Plus functions for Reliability Data Analysis. These functions were developed and used for the purpose...
  • ScaLAPACK

  • Referenced in 418 articles [sw00830]
  • LAPACK project, which designed and produced analogous software for workstations, vector supercomputers, and shared memory ... goals of both projects are efficiency, scalability, reliability, portability, flexibility, and ease of use.\parScaLAPACK ... precision complex, and double precision complex. The software has been written to be portable across...
  • CGAL

  • Referenced in 394 articles [sw00118]
  • provide easy access to efficient and reliable geometric algorithms in the form ... further offers interfaces to third party software such as the GUI libraries Qt, Geomview...
  • TOMLAB

  • Referenced in 99 articles [sw04214]
  • reliable tools to be used in the development of algorithms and software for the solution...
  • SHAZAM

  • Referenced in 32 articles [sw04924]
  • SHAZAM is powerfully simple software for econometricians, statisticians, biometricians, sociometricians, psychometricians, politicometricians and all others ... reusable analysis SHAZAM is reliable, peer reviewed software used worldwide for more than 30 years...
  • PHCpack

  • Referenced in 236 articles [sw00705]
  • application domains. Homotopy continuation methods are reliable and powerful methods to compute numerically approximations ... paper the structure and design of the software package PHC is described. The main program...
  • PERMAS

  • Referenced in 13 articles [sw04225]
  • capabilities, ultimate computing power and high software reliability. PERMAS enables the engineer to perform comprehensive...
  • bootlib

  • Referenced in 426 articles [sw40642]
  • statistical analysis using simulation to obtain reliable standard errors, confidence intervals, and other measures ... short introduction to the resampling routines in software packages...
  • UTV

  • Referenced in 263 articles [sw05213]
  • revealing algorithms. This collection of Matlab 7.0 software supplements and complements the package UTV Tools ... matrix, and we provide a robust and reliable Lanczos algorithm which -- despite its simplicity...
  • MOD-DIST

  • Referenced in 250 articles [sw07504]
  • Featuring examples using the author’s own software -- SITATION, MOD-DIST, and MENU ... defender-interdictor models for the design of reliable facility location systems -- A full range...
  • MENU-OKF

  • Referenced in 250 articles [sw07505]
  • Featuring examples using the author’s own software -- SITATION, MOD-DIST, and MENU ... defender-interdictor models for the design of reliable facility location systems -- A full range...
  • SITATION

  • Referenced in 242 articles [sw07503]
  • Featuring examples using the author’s own software -- SITATION, MOD-DIST, and MENU ... defender-interdictor models for the design of reliable facility location systems -- A full range...
  • NHPP

  • Referenced in 6 articles [sw03163]
  • model is an important class of software reliability models and is widely used in software...
  • Dynamo

  • Referenced in 30 articles [sw27495]
  • these failures drives the reliability and scalability of the software systems. This paper presents...
  • Cassandra

  • Referenced in 25 articles [sw10949]
  • these failures drives the reliability and scalability of the software systems relying on this service...
  • OpenBUGS

  • Referenced in 80 articles [sw08316]
  • stable, stand-alone version of the software, which will remain available but not further developed ... least as efficient and reliable as WinBUGS over a wide range of test applications. Please...
  • SREPT

  • Referenced in 3 articles [sw02296]
  • SREPT: Software reliability estimation and prediction tool. Several tools have been developed for the estimation ... software reliability. However, they are highly specialized in the approaches they implement and the particular ... software. Also the conventional techniques for software reliability evaluation, which treat the software ... high-level design of a software reliability estimation and prediction tool, that offers a unified...