• UNITY

  • Referenced in 185 articles [sw13461]
  • platform for simulation model specification and analysis. We describe a UNITY-based methodology ... construction, analysis and execution of simulation models. The methodology starts with a simulation model specification ... into an executable program are described. The methodology provides a means to independently verify ... formal specification. The methodology is illustrated through generation of a simulation program solving the machine...
  • Fluid flow phenomena

  • Referenced in 64 articles [sw15481]
  • flows. The book includes large eddy simulation methodology since in the near future it will ... Cartesian and cylindrical coordinates The direct numerical simulations of Navier-Stokes equations reproduce satisfactorily...
  • MARC

  • Referenced in 38 articles [sw04228]
  • nonlinear finite element analysis solution to accurately simulate the response of your products under static ... innovative technologies and modeling methodologies, Marc enables you to simulate complex real world behavior...
  • NCTUns

  • Referenced in 8 articles [sw00612]
  • networks. By using an enhanced simulation methodology, a new simulation engine architecture, and a distributed...
  • MRST

  • Referenced in 101 articles [sw06656]
  • MATLAB Reservoir Simulation Toolbox is developed by SINTEF Applied Matemathics and is a result ... development of new (multiscale) computational methodologies. The toolbox consists of a comprehensive set of routines ... point) grids and demonstration of the multiscale simulation concept. For more computationally challenging cases...
  • Voom

  • Referenced in 17 articles [sw14009]
  • large body of methodology developed for microarrays. Simulation studies show that voom performs as well...
  • MSC.MARC

  • Referenced in 18 articles [sw08739]
  • nonlinear finite element analysis solution to accurately simulate the response of your products under static ... innovative technologies and modeling methodologies, Marc enables you to simulate complex real world behavior...
  • phParAdapt

  • Referenced in 7 articles [sw09044]
  • mesh method for the numerical simulation of multiphase flows. Methodology for performing large scale parallel ... mesh during the mesh refinement/coarsening procedure. Numerical simulations ranging from simple canonical test problems ... were performed to illustrate this methodology. The annular flow simulation captured the instabilities that generate...
  • PartiSim

  • Referenced in 9 articles [sw17034]
  • PartiSim: a multi-methodology framework to support facilitated simulation modelling in healthcare. Discrete event simulation ... multi-methodology framework, called PartiSim that is intended to support participative simulation studies. PartiSim combines ... traditionally hard OR approach, with soft systems methodology (SSM) in order to incorporate stakeholder involvement ... part of the stages involved in the simulation lifecycle, which include study initiation, finding...
  • MAGIC

  • Referenced in 37 articles [sw14159]
  • iterative framework for simulation conformance. MAGIC is a software verification project for C source code ... scalability by an iterative abstraction refinement methodology. This paper presents the core principles implemented ... MAGIC verification engine, i.e., specification conformance using simulation and abstraction refinement. Viewing counterexamples as winning...
  • gcmr

  • Referenced in 27 articles [sw07433]
  • model. Methodology is implemented in a R package called gcmr. Illustrations include simulations and real...
  • AK-MCS

  • Referenced in 57 articles [sw18303]
  • reliability method combining Kriging and Monte Carlo Simulation. It is shown to be very efficient ... from literature are performed to illustrate the methodology and to prove its efficiency particularly...
  • COM-MAT-FAIL

  • Referenced in 12 articles [sw10166]
  • crack-path-field technique. Numerical representative simulations of a wide range of benchmarks, in terms ... proposed methodology. The finite element code used for the simulations is open-source and available...
  • gergm

  • Referenced in 4 articles [sw21317]
  • recently proposed method used to simulate and model the edges of a weighted graph ... assess the effectiveness of our proposed methodology by simulating non-degenerate model specifications from...
  • FoCs

  • Referenced in 20 articles [sw01591]
  • hardware design will continue to use both simulation and model checking in the design verification ... applied in isolation using different tools and methodologies, and different formulations of the problem. This ... cross-leverage of the individual advantages of simulation and formal verification...
  • TAEMS

  • Referenced in 7 articles [sw07177]
  • used for both analysis and simulation; it avoids the methodological problems of relying solely...
  • MDC-ELLIPSOIDs

  • Referenced in 9 articles [sw22577]
  • conformal contact situation. The implemented methodology is specifically designed for rigid contact detection where ... perform computational simulations for contact analysis of multibody systems. However, the proposed methodology has important...
  • Multisim

  • Referenced in 46 articles [sw06447]
  • Plykin attractors, and present results of their simulation using the software package N1 Multisim ... generators. The developed approach is also of methodological interest for training students specializing in radiophysics...
  • FEniCS-HPC

  • Referenced in 3 articles [sw29445]
  • modeling based on the Direct FEM Simulation (DFS) methodology described below, with breakthrough applications...
  • MPSA

  • Referenced in 2 articles [sw02500]
  • MPSA: A methodology to parallelize simulated annealing and its application to the traveling salesman problem ... Methodology to Parallelize Simulated Annealing (MPSA) leads to massive parallelization by executing each temperature cycle...