Projets

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

Projet 1 à réaliser en Python - 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
  • Description du projet
  • Examples d'entrées sorties

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
Responsable de l'UE : Patrick Loiseau