• PRISM

  • Referenced in 454 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 578 articles [sw08221]
  • realistic algorithm performance where worst case analysis is overly pessimistic and probabilistic models...
  • Julia

  • Referenced in 490 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...
  • Gurobi

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

  • Referenced in 156 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...
  • OMNet++

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

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

  • Referenced in 43 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 189 articles [sw03059]
  • delivery connection delay. The performance of three published network models with very different spike patterns...
  • DAKOTA

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

  • Referenced in 228 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 171 articles [sw02791]
  • iterations. The paper contains performance statistics for a range of models from different branches...
  • JuMP

  • Referenced in 135 articles [sw16108]
  • Mathematical Optimization. JuMP is an open-source modeling language that allows users to express ... unique functionality while achieving performance on par with commercial modeling tools for standard tasks...
  • StarPU

  • Referenced in 41 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...
  • TETRAD

  • Referenced in 441 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...
  • N-way Toolbox

  • Referenced in 30 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...
  • KEEL

  • Referenced in 156 articles [sw06791]
  • allowing it to perform a complete analysis of any learning model in comparison to existing...
  • 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...
  • SparseMatrix

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