• Maple

  • Referenced in 5199 articles [sw00545]
  • functions, Maple offers the breadth, depth, and performance to handle every type of mathematics. Maple ... multiple styles of interaction, from Clickable Math™ tools to a sophisticated programming language. Using...
  • CUDA

  • Referenced in 1230 articles [sw03258]
  • GPUs, math libraries, and tools for debugging and optimizing the performance of your applications...
  • Scilab

  • Referenced in 168 articles [sw00834]
  • continuous and discrete optimization problems. Statistics: Tools to perform data analysis and modeling Control System...
  • Esterel

  • Referenced in 163 articles [sw20012]
  • explicit or BDD-based verification tools that perform either bisimulation reduction or safety property checking...
  • PRISM

  • Referenced in 423 articles [sw01186]
  • this paper we describe PRISM, a tool being developed at the University of Birmingham ... continuous-time Markov chains. Analysis is performed through model checking such systems against specifications written ... probabilistic temporal logics PCTL and CSL. The tool features three model checking engines: one symbolic ... been successfully used to analyse probabilistic termination, performance, and quality of service properties...
  • IPython

  • Referenced in 66 articles [sw15655]
  • projects. Easy to use, high performance tools for parallel computing...
  • FEniCS

  • Referenced in 648 articles [sw04314]
  • development of innovative concepts and tools for automated scientific computing, with a particular focus ... comprehensive library of finite elements, high performance linear algebra and many more...
  • z3

  • Referenced in 515 articles [sw04887]
  • high-performance theorem prover being developed at Microsoft Research.Z3 supports linear real and integer arithmetic ... number of program analysis, testing, and verification tools from Microsoft Research. These include: VCC, Spec...
  • PEPA

  • Referenced in 116 articles [sw10692]
  • PEPA: Performance Evaluation Process Algebra. PEPA tools: The PEPA process algebra is supported ... Plug-in contains a PEPA editor and performance analysers which use Markov chain...
  • SimpleScalar

  • Referenced in 57 articles [sw12226]
  • publicly available simulation tools that offer both detailed and high-performance simulation of modern microprocessors ... release offers more tools and capabilities, precompiled binaries, cleaner interfaces, better documentation, easier installation, improved ... higher performance. This paper contains a complete description of the tool set, including retrieval...
  • NSDTST

  • Referenced in 78 articles [sw10818]
  • method and without the tools themselves affecting the performance of the method. [For the algorithm...
  • STDTST

  • Referenced in 78 articles [sw10819]
  • method and without the tools themselves affecting the performance of the method. [For the algorithm...
  • SU2

  • Referenced in 45 articles [sw19896]
  • source collection of C++ based software tools for performing Partial Differential Equation (PDE) analysis...
  • gfun

  • Referenced in 138 articles [sw00344]
  • package provides tools for determining and manipulating generating functions. You can perform computations with generating...
  • SPARSKIT

  • Referenced in 227 articles [sw07692]
  • which we provide a number of tools. Among other things the package provides programs ... matrix, plotting a matrix pro le, performing basic linear algebra operations with sparse matrices...
  • SHARPE

  • Referenced in 42 articles [sw03100]
  • Symbolic Hierarchical Automated Reliability and Performance Evaluator) is a tool for specifying and analyzing performance...
  • JuMP

  • Referenced in 91 articles [sw16108]
  • unique functionality while achieving performance on par with commercial modeling tools for standard tasks...
  • Kronos

  • Referenced in 263 articles [sw01270]
  • KRONOS is a tool developed with the aim to verify complex real-time systems. Real ... time systems are systems that must perform a task within strict time deadlines. Embedded controllers...
  • PHCpack

  • Referenced in 222 articles [sw00705]
  • variety of root-counting methods among its tools. The outline of one black-box solver ... report is given on its performance on a large database of test problems. The software...
  • DAISY

  • Referenced in 45 articles [sw09059]
  • DAISY: A new software tool to test global identifiability of biological and physiological systems ... before investing resources, time and effort in performing actual biomedical experiments. Many interesting biological models ... describe a software tool implementing a differential algebra algorithm to perform parameter identifiability analysis ... and/or difficult to perform. Practical examples of use of the software tool DAISY are presented...