Results 21 to 40 of 169
Sort by:

  • LISP-STAT
  • Referenced in 117 articles [sw01111]
  • Lisp-Stat is an extensible statistical computing environment...

  • PRISM
  • Referenced in 454 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...

  • PERL
  • Referenced in 274 articles [sw01225]
  • Programming Perl. Perl is a language for easily...

  • DYNAMO
  • Referenced in 264 articles [sw01227]
  • DYNAMO (DYNAmic MOdels) was a simulation language and...

  • Kronos
  • Referenced in 274 articles [sw01270]
  • KRONOS is a tool developed with the aim...

  • TIMES
  • Referenced in 26 articles [sw01403]
  • TIMES -- a tool for modelling and implementation of...

  • FreeFem++
  • Referenced in 1396 articles [sw01436]
  • FreeFem++ is an implementation of a language dedicated...

  • MoDeST
  • Referenced in 34 articles [sw01544]
  • MoDeST --- a modelling and description language for stochastic...

  • WordNet
  • Referenced in 410 articles [sw01777]
  • WordNet® is a large lexical database of English...

  • Design/CPN
  • Referenced in 38 articles [sw01952]
  • Modeling and verification of cryptographic protocols using coloured...

  • HySAT
  • Referenced in 26 articles [sw01980]
  • HySAT: An efficient proof engine for bounded model...

  • SPADES
  • Referenced in 27 articles [sw02205]
  • SPADES -- a process algebra for discrete event simulation...

  • CASPA
  • Referenced in 4 articles [sw02863]
  • An efficient symbolic elimination algorithm for the stochastic...

  • PNML
  • Referenced in 41 articles [sw03257]
  • PNML framework: An extendable reference implementation of the...

  • CUDA
  • Referenced in 1336 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...

  • TINA
  • Referenced in 47 articles [sw03280]
  • The tool TINA -- construction of abstract state spaces...

  • Haskell
  • Referenced in 885 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...