2465 search results - page 44 / 493 » Automata on Linear Orderings |
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
In this paper a distributed algorithm for clock synchronization is proposed. This algorithm is based on an extension of the consensus algorithm able to synchronize a family of dou...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
This paper studies the “explanation problem” for tree- and linearly-ordered array data, a problem motivated by database applications and recently solved for the one-dimensiona...
ICALP
2010
Springer
13 years 9 months ago
2010
Springer
In the first part of the paper, we propose an algorithm which inputs an NFA A and a word a1
TIT
2008
13 years 7 months ago
2008
This article describes new theoretical results concerning the general behavior of a Feedback with Carry Shift Register (FCSR) automaton. They help to better understand how the init...
QEST
2008
IEEE
14 years 2 months ago
2008
IEEE
In [3] a probabilistic semantics for timed automata has been defined in order to rule out unlikely (sequences of) events. The qualitative model-checking problem for LTL propertie...