346 search results - page 6 / 70 » Determinizing Asynchronous Automata |
78
Voted
QEST
2008
IEEE
15 years 6 months ago
2008
IEEE
FORMATS
2004
Springer
15 years 5 months ago
2004
Springer
GRC
2010
IEEE
14 years 10 months ago
2010
IEEE
89
Voted
FORMATS
2006
Springer
15 years 3 months ago
2006
Springer
Using a variant of Clariso-Cortadella's parametric method for verifying asynchronous circuits, we formally derive a set of linear constraints that ensure the correctness of so...
105
Voted
ACRI
2008
Springer
15 years 6 months ago
2008
Springer
This article studies the convergence properties of some 2D cellular automata, when a single cell is updated at random at each time step. We tackle this question for a particular s...