512 search results - page 38 / 103 » Automata as Abstractions |
JAC
2008
13 years 10 months ago
2008
Abstract. Recent work has shown that many cellular automata (CA) have configurations whose orbit closures are isomorphic to odometers. We investigate the geometry of the spacetime ...
IJFCS
2006
13 years 8 months ago
2006
We introduce the networks of Mealy multiset automata, and study their computational power. The networks of Mealy multiset automata are computationally complete. 1 Learning from Mo...
MEMBRANE
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Further results on the study of the dynamics of HIV infection with grids of conformon-P systems are reported. This study clearly shows a subdivision in two phases of the ...
ACRI
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We outline the basic principles of neuropercolation, a generalized percolation model motivated by the dynamical properties of the neuropil, the densely interconnected neu...
FASE
2010
Springer
13 years 12 months ago
2010
Springer
Abstract. In this paper, we present an automata-theoretic approach to Hardware/Software (HW/SW) co-verification. We designed a co-specification framework describing HW/SW systems; ...