2465 search results - page 44 / 493 » Automata on Linear Orderings |
126
Voted
CDC
2010
IEEE
14 years 11 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...
140
click to vote
CORR
2011
Springer
14 years 10 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...
127
Voted
ICALP
2010
Springer
15 years 6 months ago
2010
Springer
In the first part of the paper, we propose an algorithm which inputs an NFA A and a word a1
124
click to vote
TIT
2008
15 years 4 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...
142
Voted
QEST
2008
IEEE
15 years 10 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...