next up previous contents
suivant: Comparaison avec la 2B-consistance monter: Calcul de la fermeture précédent: Calcul de la fermeture   Table des matières

Implémentation et expérimentations

Nous avons implémenté cet algorithme en scheme compilé et optimisé par le compilateur bigloo [12]. Pour cet exemple, on obtient un meilleur filtrage que la 2B sur le système initial, et avec de meilleurs temps. Les tests ont été effectués sur un Pentium III bi-processeur 950Mhz avec 256Mo de mémoire vive. D'autres exemples plus conséquents ont été testés, les résultats sont dans l'annexe.

\begin{figure}\begin{center}
\footnotesize {
\begin{tabular}{\vert c\vert c\vert...
...\hline
CPU & $0.03s$ & $0.12s$\ \hline
\end{tabular}}
\end{center}\end{figure}



Heikel Batnini 2002-10-22