13041 search results - page 134 / 2609 » Simulating space and time |
85
Voted
WSC
1998
15 years 3 months ago
1998
This paper studies the application of the time segmentation parallel simulation approach to efficient simulation of simple manufacturing queueing systems, namely systems of queues...
114
click to vote
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
Timed and weak timed simulation relations are often used to show that operations on hybrid systems result in equivalent behavior or in conservative overapproximations. Given that s...
139
click to vote
FORMATS
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. Simulation and bisimulation relations are widely-studied in the c...
WSCG
2003
15 years 3 months ago
2003
We present a description of an urban simulation system work in progress. The goal is to create a large-scale immersive simulation of Dublin City that can then be used as a researc...
110
Voted
WSC
1997
15 years 3 months ago
1997
The paper describes a simulation substrate that allows thinking agents to interact with a world. The world is simulated by standard discrete event simulation, but the timing of an...