• TOMLAB

  • Referenced in 90 articles [sw04214]
  • TOMLAB is a general purpose development and modeling environment in Matlab for research, teaching ... flexible, easy-to-use, robust and reliable for the solution of all types of applied ... reliable tools to be used in the development of algorithms and software for the solution...
  • Couenne

  • Referenced in 67 articles [sw04347]
  • using mixed integer non-linear programming (MINLP) models and can be solved by spatial Branch ... extend a branching technique originally developed for MILP, reliability branching, to the MINLP case. Motivated ... world MINLP problems, we have developed an sBB software package named couenne (Convex Over...
  • Möbius

  • Referenced in 23 articles [sw04098]
  • software tool for modeling the behavior of complex systems. Although it was originally developed ... studying the reliability, availability, and performance of computer and network systems, its use has expanded...
  • OpenBUGS

  • Referenced in 75 articles [sw08316]
  • Gibbs sampler) for analysing the specified model. The user then controls the execution ... package, on which all future development work will be focused. OpenBUGS, therefore, represents the future ... version of the software, which will remain available but not further developed. The latest versions ... least as efficient and reliable as WinBUGS over a wide range of test applications. Please...
  • UQLab

  • Referenced in 33 articles [sw19740]
  • also provides a powerful new way of developing and implementing your own ideas. The project ... research into a single software tool. UQLab provides now the software backbone of the Chair ... process modelling, a.k.a. Kriging, low-rank tensor approximations), rare event estimation (structural reliability), global sensitivity ... After more than two years of development it was decided to open the platform...
  • parDG

  • Referenced in 19 articles [sw18743]
  • class of Diffuse-Interface models. We develop efficient and reliable numerical schemes based on modern ... multiple space dimensions. We provide a software package (written in C++) for the discretization ... discretization of the Navier-Stokes-Korteweg model is done on the basis of this package...
  • MIBPB

  • Referenced in 51 articles [sw08106]
  • established model for the electrostatic analysis of biomolecules. The development of advanced computational techniques ... matched interface and boundary (MIB)-based PBE software package, the MIBPB solver, for electrostatic analysis ... distribution in biomolecules in order to obtain reliable solutions at meshes as coarse...
  • CDSChecker

  • Referenced in 5 articles [sw21725]
  • with C/C++ atomics. Writing low-level concurrent software has traditionally required intimate knowledge ... weak memory model, enabling developers to write portable and efficient multithreaded code. Developing correct ... weak memory model, where code behavior can be surprising. Building reliable concurrent software using ... operations will likely require tools that help developers discover unexpected program behaviors. In this paper...
  • PLT Redex

  • Referenced in 23 articles [sw09921]
  • first reliable and easy-to-use tool set for such forms of semantics. Software engineers ... support is critical for rapid prototyping and modeling, and this book is addressed ... comes with a prototyping tool suite to develop, explore, test, debug, and publish semantic models...
  • UNCSAM

  • Referenced in 4 articles [sw00990]
  • UNCSAM 1.1: A Software Package for Sensitivity and Uncertainty Analysis. Sensitivity and uncertainty analysis ... important and indispensable parts of the modelling process. The easy availability of tools for performing ... reliable and efficient development, assessment and application of mathematical models. For this reason a comprehensive ... flexible software package UNCSAM has been developed at the RIVM for performing sensitivity and uncertainty...
  • EtomCRL2

  • Referenced in 1 article [sw22064]
  • McErlang. Model-checking programs is important in the development of a reliable software system ... code level. One is to directly apply model-checking algorithm to the programming language ... formal specification, upon which some standard model-checkers can be used to verify system ... investigated for model-checking the functional programming language Erlang. Correspondingly, two Erlang model-checkers McErlang...
  • ISRO

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

  • Referenced in 8 articles [sw18320]
  • posterior reliability measurements of rare events. The framework accommodates scheduling of multiple physical model evaluations ... shows excellent scalability. In addition to the software framework, we also provide guidelines ... applied to computationally demanding physical models. Theoretical and computational developments are demonstrated with applications drawn...
  • DARTS

  • Referenced in 1 article [sw26285]
  • models without sacrificing simulation speed enabling more reliable flight software design and testing, reduced development ... Operator Algebra is a mathematical approach for modeling the dynamical behavior of complex, articulated collections...
  • BALL

  • Referenced in 5 articles [sw10727]
  • reduce development times in the field of Computational Molecular Biology and Molecular Modeling. BALL (Biochemical ... software packages. BALL is well suited to serve as a public repository for reliable data ... algorithms. Based on BALL we have developed a stand-alone tool for molecular visualization, BALLView...
  • phimeca

  • Referenced in 2 articles [sw17673]
  • phimeca software for reliability analysis. The completion of this software has been achieved thanks ... Advanced Mechanics and phimeca engineering company is developing the commercial version. First, inherent hypotheses ... their implementation discussed. Algorithms combining the physical model under concern – defined through an explicit formula ... this special issue of “Structural Reliability Software” and the use of the GUI is illustrated...
  • Build-X

  • Referenced in 1 article [sw39496]
  • models, particularly in nonlinear analysis procedures. Thus, it is of interest to develop ... tools for improving the reliable use of existing structural engineering software. This paper aims ... capabilities of Build-X, a recently developed knowledge-based system tailored to the prediction ... critical modeling decisions, and automations that increase the reliability of the analysis and accelerate...
  • EUROSTAG

  • Referenced in 1 article [sw16631]
  • electromechanical oscillations to daily load evolution. The reliability of the product is the fruit ... development. Open to import and export data in various international formats, the software is also ... access a vast library of power system models or modify them using a flexible graphical...
  • accuracy

  • Referenced in 2 articles [sw25836]
  • accuracy: Tools for Accurate and Reliable Statistical Computing. Most empirical social scientists are surprised that ... level numerical issues in software can have deleterious effects on the estimation process. Statistical analyses ... invalidated by concealed numerical problems. We have developed a set of tools, contained in accuracy ... framework for gauging the computational stability of model results, tools for comparing model results, optimization...
  • nextnano

  • Referenced in 5 articles [sw11317]
  • semiconductor nanodevice simulation tool that has been developed for predicting and understanding a wide range ... provide a robust and generic framework for modeling device applications in the field of nanosized ... dimensions. It focuses on an accurate and reliable treatment of quantum mechanical effects and provides ... wide range of possible applications for this software in the fields of solid-state quantum...