346 search results - page 6 / 70 » Determinizing Asynchronous Automata |
QEST
2008
IEEE
14 years 1 months ago
2008
IEEE
FORMATS
2004
Springer
14 years 24 days ago
2004
Springer
GRC
2010
IEEE
13 years 6 months ago
2010
IEEE
FORMATS
2006
Springer
13 years 11 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...
ACRI
2008
Springer
14 years 1 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...