Ne copiez pas ! Nous utilisons le logiciel MOSS qui détecte les plagiats

Projet 1 à réaliser en C - relation d'ordre et optimisation d'exécution

• objectif du PROJET
  Placer au mieux les instructions d'un programme sur un processeur multi-coeurs
  à l'aide d'un algorithme qui construit une relation d'ordre entre instructions
  et qui place sur les coeurs les instructions minimales pour la relation d'ordre
• Quelques explications supplémentaires en .txt

• Exemples de programmes et de placements
  1. Programme .c, Relation d'ordre .pdf, Placement .txt
  2. Programme .c, Relation d'ordre .pdf, Placement .txt
  3. Programme .c, Relation d'ordre .pdf, Placement .txt
  4. Programme .c, Relation d'ordre .pdf, Placement .txt
  5. Programme .c, Relation d'ordre .pdf, Placement .txt
• Fichier principal main.sql.c
• le semi-anneau des comparaisons: comparison_semi_ring.sql.c
• relation d'ordre: relation_ordre.sql.c
• représentation des programmes: program.sql.c
• génération de programmes aléatoires: program_au_hasard.sql.c
• exécution d'un programme: program_execution.sql.c
• placement du programmes sur un multi-coeur: program_placement.sql.c
• des programmes pour tester vos placements: program_test.sql.c
• main du PROJET1: projet.sql.c

Projet 2 à réaliser en Ocaml - traducteur d'arbres de preuve en langue naturelle

• objectif du PROJET
  Traduire automatiquement les arbres de preuve sous forme de preuve textuelle en langue naturelle
• Des exemples d'arbre de preuve et leur traduction en langue extraits des exercices de TD :
  • la série2 résolue automatiquement en 0.1 seconde par le prouveur
• Description précise du projet : consignes à suivre, types et fonctions prédéfinies
• main du PROJET2: projet.ml