1035 search results - page 80 / 207 » Communications in cellular automata |
158
click to vote
ISCAS
2006
IEEE
16 years 6 days ago
2006
IEEE
— This paper describes a new architecture for a cellular processor array integrated circuit, which operates in both discreteand continuous-time domains. Asynchronous propagation ...
122
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
This paper provides a bridge between the classical tiling theory and cellular automata on one side, and the complex neighborhood self-assembling situations that exist in practice,...
155
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
185
click to vote
ACSD
2006
IEEE
15 years 8 months ago
2006
IEEE
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...
192
click to vote
SDL
2001
15 years 7 months ago
2001
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...