371 search results - page 56 / 75 » Pushdown Automata Simulator |
120
click to vote
WSC
2001
15 years 3 months ago
2001
This paper presents an application distributed simulation to the evaluation of virtual enterprises. Each company or candidate can use a simulation of its facilities to determine i...
102
Voted
JSA
2008
15 years 1 months ago
2008
Processor simulators are important parts of processor design toolsets in which they are used to verify and evaluate the properties of the designed processors. While simulating arch...
98
Voted
WSC
2007
15 years 4 months ago
2007
A Monte Carlo methodology is proposed for simulating air traffic blockage patterns under the impact of convective weather. The simulation utilizes probabilistic convective weather...
114
Voted
GEOINFO
2004
15 years 3 months ago
2004
: Spatial Dynamic Simulation Systems have three main components: the space dimension, the time dimension and the dynamic process. Dynamic processes have been modeled by transition ...
98
Voted
ZUM
2000
Springer
15 years 5 months ago
2000
Springer
: Retrenchment is introduced as a liberalisation of refinement intended to address some of the shortcomings of refinement as sole means of progressing from simple abstract models t...