371 search results - page 30 / 75 » Pushdown Automata Simulator |
146
Voted
PVM
2005
Springer
15 years 7 months ago
2005
Springer
Parallel execution of simulation runs has become indispensable in different research areas recently. One of the most promising and powerful models in science are cellular automata ...
76
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
This paper studies two kinds of simulation between cellular automata: simulations based on factor and simulations based on sub-automaton. We show that these two kinds of simulation...
123
click to vote
ASMTA
2008
Springer
15 years 3 months ago
2008
Springer
The solution of continuous and discrete-time Markovian models is still challenging mainly when we model large complex systems, for example, to obtain performance indexes of paralle...
103
click to vote
WSC
2007
15 years 4 months ago
2007
The simulation of group-work interaction is significant for Chinese enterprise organizational management. As a result, a cellular-automata based simulation model is put forward. T...
85
Voted
ICALP
1999
Springer
15 years 6 months ago
1999
Springer
We consider the problem of simulation preorder/equivalence between infinite-state processes and finite-state ones. We prove that simulation preorder (in both directions) and simu...