1 files changed, 94 insertions, 14 deletions
diff --git a/stage/slides.tex b/stage/slides.tex
index c89cb37..ef7b03a 100644
--- a/stage/slides.tex
+++ b/stage/slides.tex
@@ -142,24 +142,22 @@ $1$ choisit un secret $S$ et le diffuse.
 
 \begin{column}{0.55\textwidth}
 
-\begin{tikzpicture}
-\matrix [nodes=draw,circle,ampersand replacement=\&,row sep=1cm]
-{
-\node (a) {1}; \\
-\node (b) {2}; \\
-\node (c) {3}; \\
-};
-\draw [->] (a.south);
-\end{tikzpicture}
+À FAIRE
+
+%\begin{tikzpicture}
+%\matrix [nodes=draw,circle,ampersand replacement=\&,row sep=1cm]
+%{
+%\node (a) {1}; \\
+%\node (b) {2}; \\
+%\node (c) {3}; \\
+%};
+%\draw [->] (a.south);
+%\end{tikzpicture}
 
 \end{column}
 \end{columns}
 \end{frame}
 
-\begin{frame}{Fonctionnement (suite)}
-t
-\end{frame}
-
 \begin{frame}[fragile]{Spécification}
 \begin{columns}[t]
 \begin{column}{0.48\textwidth}
@@ -267,20 +265,102 @@ end if
 \section{Résultats}
 
 \begin{frame}{Non falsifiabilité}
-
+À FAIRE
 \end{frame}
 
 \begin{frame}{Simulation}
+Fonctionnement par étapes. À chaque étape :
+\begin{itemize}
+\item connexions et déconnexions des pairs
+\item réception et envoi des messages
+\end{itemize}
+\onslide<2->
+Approximation de l'asynchronisme :
+\begin{itemize}
+\item ordre d'exécution aléatoire
+\item délai d'une étape entre l'envoi et la réception
+\item une étape représente 30 secondes de temps réel
+\end{itemize}
+\onslide<3->
+Structure du réseau, selon les applications. \alert{Ici} :
 
+\begin{itemize}
+\item degré constant égal à \alert{10}
+\item recherche de voisins depuis la racine en descendant progressivement
+\item on stoppe la recherche à \alert{8} voisins
+\end{itemize}
+\onslide<4->
+\begin{block}{}
+$\simeq$ \alert{800} lignes en OCaml
+\end{block}
+\end{frame}
+
+\begin{frame}{Simulation (résultats)}
+\begin{center}
+\begin{figure}
+\includegraphics[scale=0.42]{test.eps}
+\caption{Fonction de répartition de l'erreur relative (40\,000 nœuds, 10 jours)}
+\end{figure}
+\end{center}
 \end{frame}
 
 \begin{frame}{PlanetLab}
+\begin{center}
+\includegraphics[scale=0.2]{logo.eps}
+\end{center}
+\begin{block}{}
+``PlanetLab is a group of computers available as a testbed for computer networking and distributed systems research.''
+\end{block}
+\onslide<2->
+En pratique :
+\begin{itemize}
+\item \alert{167} ordinateurs\ldots
+\item machines surchargées (virtualisation)
+\item perte de nombreux paquets réseaux
+\end{itemize}
+\onslide<3->
+Implémentation :
+\begin{itemize}
+\item sans la cryptographie asymétrique
+\item communication en UDP
+\item même structure du réseau que dans le simulateur
+\end{itemize}
 
+\onslide<4->
+\begin{block}{}
+$\simeq$ \alert{800} lignes en OCaml
+\end{block}
 \end{frame}
 
+\begin{frame}{PlanetLab (résultats)}
+\begin{center}
+\begin{figure}
+\includegraphics[scale=0.42]{pl.eps}
+\caption{Fonction de répartition de l'erreur relative (167 nœuds, 1 mois)}
+\end{figure}
+\end{center}
+\end{frame}
 \section*{Conclusion}
 
 \begin{frame}{Conclusion}
+Robustesse :
+\begin{itemize}
+\item jusqu'à 40\,000 nœuds
+\item au-delà ? l'instabilité du réseau pénalise les pairs éloignés
+\end{itemize}
+\alert{Solution :} utiliser plusieurs serveurs
+\onslide<2->
+\vfill
+Application : 
+\begin{itemize}
+\item on prouve la présence sur le réseau en ajoutant un nœud dans un arbre
+\item le nœud peut également contenir des informations !
+\end{itemize}
+\onslide<3->
+
+\begin{block}{}
+$\Rightarrow$ Certification temporelle de documents (brevets)
+\end{block}
 
 \end{frame}
 \end{document}