1548 search results - page 176 / 310 » Integration of Simulation with Enterprise Models |
107
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Local spatial interaction (i.e. neighborhood interaction) between land-use types is an important component in Cellular Automata -based urban geosimulation models. Herein a new meth...
142
click to vote
DAC
2006
ACM
15 years 10 months ago
2006
ACM
This paper describes how systems companies are adopting SystemC transaction level models for system on chip design and verification, and how these transaction level models are bei...
103
Voted
JCIT
2010
14 years 11 months ago
2010
For the purpose of equipment training, realistic training environments need to be built and makes operators having an immersed sense. Aiming at present military requirement for eq...
166
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
190
click to vote
NCI
2004
15 years 5 months ago
2004
Starting from a modular artificial neural system modelling the integration of several perceptive stimuli, this article proposes a new implementation of the central module performi...