Sciweavers

12131 search results - page 113 / 2427
» Introduction to Modeling and Simulation
Sort
View
FMICS
2009
Springer
15 years 9 months ago
Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
Matthias Raffelsieper, Mohammad Reza Mousavi, Jan-...
117
Voted
KBSE
2003
IEEE
15 years 8 months ago
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
Peter Bunus, Peter Fritzson
WSC
2007
15 years 5 months ago
An initial simulation model for aiding policy analysis in urban insurgencies
This paper aims to demonstrate the potential for using the system dynamics computer simulation methodology to gain insight into the evolution of insurgencies. In particular, it ex...
Edward G. Anderson Jr.
WSC
2004
15 years 4 months ago
Knowledge Representation for Conceptual Simulation Modeling
Simulation is a powerful tool that helps decision makers in business and industry to solve difficult and complex problems, reduce cost, improve quality and productivity, and short...
Ming Zhou, Young Jun Son, Zhimin Chen
WSC
1997
15 years 4 months ago
Urban Traffic Simulation with Psycho-Physical Vehicle-Following Models
A psycho-physical vehicle-following model tries to capture both the physical and human components of congested-traffic simulations. These models determine the reactions of the veh...
Thomas Schulze, Thomas Fliess