371 search results - page 50 / 75 » Pushdown Automata Simulator |
98
Voted
ACRI
2006
Springer
15 years 7 months ago
2006
Springer
Cellular automata are discrete dynamical systems that are widely used to model natural systems. Classically they are run with perfect synchrony ; i.e., the local rule is applied to...
104
Voted
EGC
2005
Springer
15 years 7 months ago
2005
Springer
Computational grid provides a platform for exploiting various computational resources over wide area networks. One of the concerns in implementing computational grid environment is...
168
click to vote
FAABS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
109
Voted
LATA
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. This paper contributes to the study of Freely Rewriting Restarting Automata (FRR-automata) and Parallel Communicating Grammar Systems (PCGS) as formalizations of the ling...
106
click to vote
ACRI
2004
Springer
15 years 5 months ago
2004
Springer
The modelling of wildland fire spread across a heterogeneous landscape is significant because fire dynamics are sensitive to local spatial characteristics. The development of accur...