371 search results - page 40 / 75 » Pushdown Automata Simulator |
132
click to vote
DSRT
2005
IEEE
15 years 7 months ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
121
click to vote
BIRTHDAY
2008
Springer
15 years 3 months ago
2008
Springer
We use History Dependent Automata (HD-automata) as a syntax-indepentend formalism to check compatibility of services at binding time in Service-Oriented Computing. Informally speak...
130
click to vote
GECCO
2004
Springer
15 years 7 months ago
2004
Springer
In Twenty Problems in the Theory of Cellular Automata, Stephen Wolfram asks “how common computational universality and undecidability [are] in cellular automata.” This papers p...
123
click to vote
VR
2003
IEEE
15 years 7 months ago
2003
IEEE
We present a simple and linear 3D cellular automata approach for animating the behaviors of viscous flow volumes in virtual environments. An accurate modeling of fluid flow usu...
124
click to vote
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
Cellular automata can be used to design high-performance natural solvers on parallel computers. This paper describes the development of applications using CARPET, a high-level prog...