On optimal solutions to the firing squad synchronization problem
Theoretical Computer Science - Special issue on universal machines and computations
Firing squad synchronization problem in reversible cellular automata
Theoretical Computer Science
Synchronization of a line of identical processors at a given time
Fundamenta Informaticae
Sequential Machines: Selected Papers
Sequential Machines: Selected Papers
PaCT'11 Proceedings of the 11th international conference on Parallel computing technologies
Simulations Between Multi-dimensional Deterministic and Alternating Cellular Automata
Fundamenta Informaticae - Cellular Automata
| Hi-index | 0.00 |
We are given a network of identical processors that work synchronously at discrete time steps, a Cellular Automaton. Processors are arranged as an array of m rows and n columns with the constraint that they can exchange only one bit of information with their neighbours. We study the problem to synchronize the cellular automata, that is to let all the processors enter the same state for the first time at the very same instant. This problem is also known as "The Firing Squad Synchronization Problem", introduced by Moore in 1964. We give algorithms to synchronize two dimensional Cellular Automata of (n×n) cells at some given times: n2, n⌈log n⌉, n⌈√n⌉ and 2n. Moreover we also give some general constructions to synchronize Cellular Automata of (m×n) cells. Our approach is a modular description of synchronizing algorithms in terms of "fragments" of cellular automata that are called signals.