346 search results - page 6 / 70 » Determinizing Asynchronous Automata |
176
Voted
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
169
Voted
FORMATS
2004
Springer
16 years 24 days ago
2004
Springer
196
Voted
GRC
2010
IEEE
15 years 6 months ago
2010
IEEE
183
Voted
FORMATS
2006
Springer
15 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...
205
click to vote
ACRI
2008
Springer
16 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...