• PANACEA

  • Referenced in 16 articles [sw00673]
  • tractable. It solves multi-class closed, open, and mixed queueing networks. Based on an underlying...
  • Expokit

  • Referenced in 184 articles [sw00258]
  • Expokit provides a set of routines aimed at...
  • Matlab

  • Referenced in 12640 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 8836 articles [sw00771]
  • R is a language and environment for statistical...
  • SHARPE

  • Referenced in 42 articles [sw03100]
  • SHARPE, (Symbolic Hierarchical Automated Reliability and Performance Evaluator...
  • SeDuMi

  • Referenced in 1216 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • ROCR

  • Referenced in 42 articles [sw04551]
  • ROCR: Visualizing the performance of scoring classifiers , ROC...
  • KernSmooth

  • Referenced in 936 articles [sw04586]
  • Kernel smoothing refers to a general methodology for...
  • CVX

  • Referenced in 752 articles [sw04594]
  • CVX is a modeling system for constructing and...
  • SPNP

  • Referenced in 48 articles [sw07933]
  • SPNP: Stochastic Petri Nets. The Stochastic Petri Net...
  • DIMACS

  • Referenced in 546 articles [sw08221]
  • The DIMACS Implementation Challenges address questions of determining...
  • RAQS

  • Referenced in 1 article [sw17691]
  • RAQS: a software package to support instruction and...
  • GitHub

  • Referenced in 1905 articles [sw23170]
  • GitHub (originally known as Logical Awesome LLC)[3...
  • RECAL

  • Referenced in 5 articles [sw25816]
  • RECAL - a new efficient algorithm for the exact...
  • MOSEL

  • Referenced in 26 articles [sw30205]
  • MOSEL: Modeling, Specification and Evaluation Language. MOSEL is...