620 search results - page 55 / 124 » Algorithms and computations on cellular automata |
TACAS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In this paper we prove that the transitive closure of a nondeterministic octagonal relation using integer counters can be expressed in Presburger arithmetic. The direct c...
116
click to vote
MOBIHOC
2003
ACM
15 years 5 months ago
2003
ACM
This paper provides mobility estimation and prediction for a variant of GSM network which resembles an adhoc wireless mobile network where base stations and users are both mobile....
116
Voted
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper, different circuit arrangements of Quantumdot Cellular Automata (QCA) are proposed for the so-called coplanar crossing. These arrangements exploit the majority votin...
122
Voted
ACRI
2004
Springer
15 years 6 months ago
2004
Springer
Modeling free-form shapes in 3D spaces based on strict physical laws require a considerable amount of computation time. Previous experiences with Cellular Automata demonstrated sub...
105
click to vote
DSD
2005
IEEE
15 years 2 months ago
2005
IEEE
Several methods improving the fault coverage in mixed-mode BIST are presented in this paper. The test is divided into two phases: the pseudo-random and deterministic. Maximum of f...