Table des matières

• Liste des figures
• Présentation du Problème
  • Modélisation et définition du problème
  • Représentations graphiques
    • Graphe de Kahn
    • Trace d'exécution
  • Complexité
  
  
• Structures de données, Entrées/sorties
  • Fonctionnalités d'entrées/sorties
  • Structures de données
    • La classe Task
    • La classe Buffer
    • La classe Operation
  • Implémentation des structures de données
    • Références
    • Chaînages doubles
    • L'application N
  
  
• Présentation d'un algorithme polynomial pour deux tâches
  • Idée Générale
  • Étude des circuits
    • Buffer vide/Buffer vide
    • Buffer plein/Buffer vide
    • Buffer plein/Buffer plein
    • Caractérisation des conditions de non-blocage
  • Conditions nécessaires et suffisantes de non-blocage
    • Mise sous forme clausale de $C(b, b^{\prime })$
    • Valeurs pertinentes pour $\Delta (b)$
    • Exemple
  • Transformation polynomiale du problème de dimensionnement de buffers en un problème de couverture de poids minimal
    • Définitions et notations
    • Transformation
    • Exemple
  • Transformation vers un problème de coupe minimale dans un réseau de transport
    • Définitions et notations
    • Transformation
    • Exemple
  
  
• Codes sources
  • Package dataStructures
    • Buffer.java
    • Task.java
    • Operation.java
    • TraceTracer.java
  • Package twoTasksAnalysis
    • BufferPairCollection.java
    • BufferPairCondition.java
    • BufferPairExpression.java
    • TwoTasksCircuit.java
    • TwoTasksAnalysis.java
    • BufferBipartiteGraph.java
    • BufferDomain.java
    • BufferValue.java
  • Package transportNetwork
    • FlowableArc.java
    • FlowableVertex.java
    • Arc.java
    • FlowMark.java
    • TransportNetwork.java
    • Vertex.java
  • Package util
    • Fifo.java
    • Heap.java
  
  
• Bibliographie