Liste des figures

1. échanges de données entre programmes
2. Transit des données dans des buffers
3. Exemple d'un graphe de Kahn[1]
4. Contraintes de séquentialité
5. Contraintes de buffers vides
6. Rappel du Graphe de Kahn[1]
7. Contraintes de buffers pleins
8. Circuit à l'origine d'un inter-blocage
9. Liaisons entre opérations
10. Références entre les classes
11. Images par $b$ d'un ensemble d'opérations $o_{i}^{p}$
12. Images par $N$ d'un ensemble d'opérations $o_{i}^{p}$
13. Transformations successives du problème sur les buffers vers un problème de flots
14. Circuit type
15. Inter-blocage vide/vide
16. Inter-blocage plein/vide
17. Déblocage plein/vide
18. Inter-blocage plein/plein
19. Première façon de débloquer
20. Deuxième façon de débloquer
21. Exemple
22. Graphe de Kahn[1] de l'exemple
23. Calcul de $C(b_{1}, b_{2})$
24. Calcul de $C(b_{2}, b_{1})$
25. Calcul de $C(b_{1}, b_{3})$ avec $\Delta (b_{3})=1$
26. Calcul de $C(b_{1}, b_{3})$ avec $\Delta (b_{3})=2$
27. Calcul de $C(b_{1}, b_{3})$ avec $\Delta (b_{3})=3$
28. Calcul de $C(b_{1}, b_{3})$ avec $\Delta (b_{3})=4$
29. Calcul de $C(b_{3}, b_{1})$ avec $\Delta (b_{1})=1$
30. Calcul de $C(b_{3}, b_{1})$ avec $\Delta (b_{1})=2$
31. Calcul de $C(b_{3}, b_{1})$ avec $\Delta (b_{1})=3$
32. Calcul de $C(b_{2}, b_{3})$ avec $\Delta (b_{1})=1$
33. Calcul de $C(b_{2}, b_{3})$ avec $\Delta (b_{3})=2$
34. Calcul de $C(b_{2}, b_{3})$ avec $\Delta (b_{3})=3$
35. Calcul de $C(b_{3}, b_{2})$ avec $\Delta (b_{2})=1$
36. Calcul de $C(b_{3}, b_{2})$ avec $\Delta (b_{2})=2$
37. Instance du problème de la couverture de poids minimal d'un graphe biparti
38. Graphe partiel associé à $(\Delta (b_{1}) \geq 4) \vee (\Delta (b_{2}) \geq 3)$
39. Problème de flot