413 search results - page 3 / 83 » Synthesis of Distributed Algorithms Using Asynchronous Autom... |
ACRI
2004
Springer
13 years 11 months ago
2004
Springer
This paper discusses a class of 2-dimensional asynchronous cellular automata with conservation of mass, for the formation of patterns in groups. The previous study reported a metho...
IJCNN
2000
IEEE
13 years 10 months ago
2000
IEEE
BANFF
1995
13 years 10 months ago
1995
The automata-theoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program specification, verification, and synthesis. Both programs ...
ACSD
2005
IEEE
13 years 12 months ago
2005
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed processes in digital systems. In previous work, syst...
ICGI
2010
Springer
13 years 4 months ago
2010
Springer
In this paper we extend the PAC learning algorithm due to Clark and Thollard for learning distributions generated by PDFA to automata whose transitions may take varying time length...