talk/synchronisons.tex

   1 \begin{itemize}
   2 \item \emph{Mode mixte}~\cite{abcvs05}: regroupement
   3 des n{\oe}uds qui pourraient introduire des cycles.
   4 \begin{itemize}
   5 \item A l'intérieur de chaque groupe: mode synchrone.
   6 \item A l'extérieur de chaque groupe: mode asynchrone.
   7 \end{itemize}
   8 \item Relation de synchronisation:  $i \eqNode j$
   9   si $i$ et $j$  dans la même CFC du graphe des interactions.
  10 \end{itemize}
  11 \begin{theorem}[Convergence des itérations mixtes~\cite{BCVC10:ir}]
  12   Soit $f$ possédant un unique point fixe $x^*$ et une stratégie
  13   pseudo-périodique $s$.
  14   Si les itérations synchrones convergent vers $x^*$ pour cette stratégie,
  15   alors les itérations mixtes à délai uniforme convergent aussi vers $x^*$
  16   pour cette stratégie.
  17 \end{theorem}
  18