Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Sp\'eculation et auto-stabilisation   Self-stabilization ensures that, after any transient fault, the system
recovers in a finite time and eventually exhibits a correct behaviour.
Speculation consists in guaranteeing that the system satisfies its requirements
for any execution but exhibits significantly better performances for a subset
of executions that are more probable. A speculative protocol is in this sense
supposed to be both robust and efficient in practice. We introduce the notion
of speculative stabilization which we illustrate through the mutual exclusion
problem. We then present a novel speculatively stabilizing mutual exclusion
protocol. Our protocol is self-stabilizing for any asynchronous execution. We
prove that its stabilization time for synchronous executions is diam(g)/2 steps
(where diam(g) denotes the diameter of the system). This complexity result is
of independent interest. The celebrated mutual exclusion protocol of Dijkstra
stabilizes in n steps (where n is the number of processes) in synchronous
executions and the question whether the stabilization time could be strictly
smaller than the diameter has been open since then (almost 40 years). We show
that this is indeed possible for any underlying topology. We also provide a
lower bound proof that shows that our new stabilization time of diam(g)/2 steps
is optimal for synchronous executions, even if asynchronous stabilization is
not required.

30
The categories of this paper are: q-alg
18
The categories of this paper are: econ
7
The categories of this paper are: hep-th
23
The categories of this paper are: solv-int
11
The categories of this paper are: hep-lat
35
The categories of this paper are: mtrl-th
5
The categories of this paper are: gr-qc
27
The categories of this paper are: comp-gas
24
The categories of this paper are: dg-ga
16
The categories of this paper are: stat
31
The categories of this paper are: ao-sci
6
The categories of this paper are: astro-ph
0
The categories of this paper are: hep-ph
37
The categories of this paper are: supr-con
4
The categories of this paper are: cond-mat
3
The categories of this paper are: physics