Implantation parallele avec la logique lineaire (application des reseaux d'interaction et de la geometrie d'interaction)

par ZORGE SOUSA PINTO

Thèse de doctorat en Sciences et techniques

Sous la direction de Ian Mackie.

Soutenue en 2001

à l'ECOLE POLYTECHNIQUE .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    La logique lineaire a eu un impact tres important en informatique theorique car elle permet de decomposer les calculs. Dans cette these nous nous interessons a deux modeles pour les calculs derives de la logique lineaire, les reseaux d'interaction et la geometrie de l'interaction. En plus de la decomposition fine du calcul, ces modeles partagent une propension naturelle pour l'execution parallele. Le but de la these a ete precisement d'etudier plusieurs implantations des deux modeles. Grace a la possibilite de compiler des expressions fonctionnelles, on peut ainsi obtenir des mecanismes pour l'evaluation parallele des programmes fonctionnels.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 211 p.
  • Annexes : 57 ref.

Où se trouve cette thèse ?

  • Bibliothèque : École polytechnique. Bibliothèque Centrale.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.