• PRISM

  • Referenced in 406 articles [sw01186]
  • probabilistic systems. PRISM supports three probabilistic models: discrete-time Markov chains, Markov decision processes ... continuous-time Markov chains. Analysis is performed through model checking such systems against specifications written ... PCTL and CSL. The tool features three model checking engines: one symbolic, using BDDs (binary ... been successfully used to analyse probabilistic termination, performance, and quality of service properties...
  • DIMACS

  • Referenced in 515 articles [sw08221]
  • realistic algorithm performance where worst case analysis is overly pessimistic and probabilistic models...
  • Robust Control Toolbox

  • Referenced in 144 articles [sw07907]
  • control systems for performance and robustness. You can create uncertain models by combining nominal dynamics ... impact of plant model uncertainty on control system performance and identify worst-case combinations ... design controllers that maximize robust stability and performance. The toolbox automatically tunes both SISO ... controller against a set of plant models. You can also tune gain-scheduled controllers...
  • Gurobi

  • Referenced in 501 articles [sw04105]
  • solution performance to provide a broad range of interfaces, access to industry-standard modeling languages...
  • Julia

  • Referenced in 259 articles [sw13986]
  • dynamic language for technical computing, designed for performance from the beginning by adapting and extending ... expressive programming model and successful type inference, leading to good performance for a wide range...
  • OMNet++

  • Referenced in 65 articles [sw04170]
  • wireless ad-hoc networks, Internet protocols, performance modeling, photonic networks, etc., is provided by model...
  • Scilab

  • Referenced in 166 articles [sw00834]
  • optimization problems. Statistics: Tools to perform data analysis and modeling Control System Design & Analysis: Standard...
  • SHARPE

  • Referenced in 41 articles [sw03100]
  • specifying and analyzing performance, reliability and performability models. It has been installed at over ... model types for performance, reliability and performability modeling. Model types include combinatorial one such...
  • NEURON

  • Referenced in 178 articles [sw03059]
  • delivery connection delay. The performance of three published network models with very different spike patterns...
  • DAKOTA

  • Referenced in 64 articles [sw05202]
  • performance analysis of computational models on high performance computers...
  • Mace4

  • Referenced in 202 articles [sw06905]
  • satisfiability is detected, one or more models are printed. Mace4 is a useful complement ... finite algebras. Mace4 performs better on equational problems than our previous model-searching program Mace2...
  • CONOPT

  • Referenced in 162 articles [sw02791]
  • iterations. The paper contains performance statistics for a range of models from different branches...
  • StarPU

  • Referenced in 38 articles [sw14216]
  • shared memory that provides a weak consistency model. The system keeps track of data copies ... database of self-tuned per-task performance models, can be used to greatly improve...
  • N-way Toolbox

  • Referenced in 29 articles [sw12996]
  • dependent variable(s) of PLS models; Performing multi-way scaling and centering; Performing cross-validation ... appropriate number of components; Perform rotations of core and models in Tucker models; Plus additional...
  • GEPASI

  • Referenced in 34 articles [sw07916]
  • data, optimize any function of the model, perform metabolic control analysis and linear stability analysis...
  • PEPS

  • Referenced in 34 articles [sw03186]
  • Performance Evaluation for Parallel Systems(PEPS). PEPS is a software tool used to analyze Stochastic ... Automata Networks(SAN) models. In its sequential version, the cost of the execution time becomesimpracticable ... PEPStool using distributed memory is proposed and modelled with SAN formalism.After, the sequential version ... applied to predict the performance of this model...
  • TETRAD

  • Referenced in 386 articles [sw12177]
  • with, and searches for causal and statistical models. The aim of the program ... Splus or R. Tetrad is freeware that performs many of the functions in commercial programs ... discovery functions these commercial programs do not perform. Tetrad is unique in the suite ... confounders of measured variables, to search for models of latent structure, and to search...
  • Algorithm 679

  • Referenced in 63 articles [sw12583]
  • Linear Algebra Subprograms. This paper describes a model implementation and test software for the Level ... implementations of algorithms on high-performance computers. The model implementation provides a portable...
  • GreatSPN

  • Referenced in 57 articles [sw00384]
  • software package for the modeling, validation, and performance evaluation of distributed systems using Generalized Stochastic ... experiment with timed Petri net based modeling techniques. It implements efficient analysis algorithms to allow...
  • SparseMatrix

  • Referenced in 617 articles [sw04629]
  • robust and repeatable experiments: robust because performance results with artificially-generated matrices can be misleading ... geometry (as structural engineering, computational fluid dynamics, model reduction, electromagnetics, semiconductor devices, thermodynamics, materials, acoustics...