
Simulink
 Referenced in 509 articles
[sw04348]
 Simulink® is an environment for multidomain simulation and ModelBased Design for dynamic and embedded ... block libraries that let you design, simulate, implement, and test a variety of timevarying ... develop algorithms, analyze and visualize simulations, create batch processing scripts, customize the modeling environment...

ANSYS
 Referenced in 434 articles
[sw00044]
 access to virtually any field of engineering simulation that a design process requires. Organizations around ... deliver the best value for their engineering simulation software investment. SimulationDriven Product Development takes ... engineering simulation to another level ― the unequalled depth and breadth of our software coupled with ... driving innovation and reducing physical constraints, enabling simulated tests that might not be possible otherwise...

Uppaal
 Referenced in 538 articles
[sw04702]
 integrated tool environment for modeling, simulation and verification of realtime systems, developed jointly...

SparseMatrix
 Referenced in 363 articles
[sw04629]
 have such geometry (optimization, circuit simulation, economic and financial modeling, theoretical and quantum chemistry, chemical ... process simulation, mathematics and statistics, power networks, and other networks and graphs). We provide software...

KELLEY
 Referenced in 500 articles
[sw04829]
 evaluation of the objective function involves computer simulations. In such cases the noise often introduces...

ns2
 Referenced in 169 articles
[sw11690]
 Network Simulator  ns2. Ns is a discrete event simulator targeted at networking research ... provides substantial support for simulation of TCP, routing, and multicast protocols over wired and wireless ... variant of the REAL network simulator in 1989 and has evolved substantially over the past...

UNITY
 Referenced in 149 articles
[sw13461]
 Simulation model development and analysis in UNITY. We evaluate UNITY  a computational model, specification language ... distributed programs  as a platform for simulation model specification and analysis. We describe a UNITY ... construction, analysis and execution of simulation models. The methodology starts with a simulation model specification ... methodology is illustrated through generation of a simulation program solving the machine interference problem using...

XPPAUT
 Referenced in 246 articles
[sw05543]
 XPPAUT is software for the analysis and simulation of dynamic systems. It includes AUTO...

TETRAD
 Referenced in 237 articles
[sw12177]
 TETRAD is a program which creates, simulates data from, estimates, tests, predicts with, and searches...

Mplus
 Referenced in 233 articles
[sw06511]
 Mplus has extensive capabilities for Monte Carlo simulation studies, where data can be generated...

NEURON
 Referenced in 122 articles
[sw03059]
 Parallel network simulations with NEURON. The NEURON simulation environment has been extended to support parallel ... network simulations. Each processor integrates the equations for its subnet over an interval equal ... makes practical the running of large network simulations that could otherwise not be explored...

ANFIS
 Referenced in 208 articles
[sw08730]
 stipulated inputoutput data pairs. In the simulation, the ANFIS architecture is employed to model...

COMSOL
 Referenced in 200 articles
[sw04091]
 COMSOL Multiphysics engineering simulation software environment facilitates all steps in the modeling process − defining your...

DYNAMO
 Referenced in 141 articles
[sw01227]
 DYNAMO (DYNAmic MOdels) was a simulation language and accompanying graphical notation developed within the system ... DYNAMO was used for the system dynamics simulations of global resourcedepletion reported...

Chord
 Referenced in 189 articles
[sw09434]
 continuously changing. Results from theoretical analysis, simulations, and experiments show that Chord is scalable, with...

Scilab
 Referenced in 117 articles
[sw00834]
 functionalities is included in Scilab: Maths & Simulation: For usual engineering and science applications including mathematical ... tools. Xcos  Hybrid dynamic systems modeler and simulator: Modeling mechanical systems, hydraulic circuits, control systems...

VAMPIRE
 Referenced in 156 articles
[sw02918]
 splitting rule and negative equality splitting are simulated by the introduction of new predicate definitions...

GOLOG
 Referenced in 155 articles
[sw02159]
 industrial processes, intelligent software agents, discrete event simulation, etc. It is based on a formal...

gss
 Referenced in 151 articles
[sw06099]
 facilities is illustrated in the book through simulated and real data examples...

CHEMKIN
 Referenced in 150 articles
[sw06684]
 tools for incorporating complex chemical kinetics into simulations of reacting flow. Using CHEMKIN, researchers...