Sciweavers

371 search results - page 23 / 75
» Pushdown Automata Simulator
Sort
View
ARC
2007
Springer
118views Hardware» more  ARC 2007»
15 years 5 months ago
Simulation of the Dynamic Behavior of One-Dimensional Cellular Automata Using Reconfigurable Computing
This paper presents the implementation of an environment for the evolution of one-dimensional cellular automata using a reconfigurable logic device. This configware is aimed at eva...
Wagner Rodrigo Weinert, César Manuel Vargas...
ACRI
2006
Springer
15 years 7 months ago
Interactive Terrain Simulation and Force Distribution Models in Sand Piles
This paper presents an application of Cellular Automata in the field of dry Granular Systems modelling. While the study of granular systems is not a recent field, no efficient mo...
Marta Pla-Castells, Ignacio García-Fern&aac...
CORR
2010
Springer
97views Education» more  CORR 2010»
15 years 1 months ago
Bulking II: Classifications of Cellular Automata
This paper is the second part of a series of two papers dealing with bulking: a way to define quasi-order on cellular automata by comparing space-time diagrams up to rescaling. In...
Marianne Delorme, Jacques Mazoyer, Nicolas Ollinge...
100
Voted
FSTTCS
2004
Springer
15 years 7 months ago
Verifying Probabilistic Procedural Programs
Abstract. Monolithic finite-state probabilistic programs have been abstractly modeled by finite Markov chains, and the algorithmic verification problems for them have been inves...
Javier Esparza, Kousha Etessami
100
Voted
CC
1999
Springer
154views System Software» more  CC 1999»
15 years 6 months ago
Faster Generalized LR Parsing
Tomita devised a method of generalized LR GLR parsing to parse ambiguous grammars e ciently. A GLR parser uses linear-time LR parsing techniques as long as possible, falling back...
John Aycock, R. Nigel Horspool