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

à Palaiseau, Ecole polytechnique .

    mots clés mots clés


  • 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.


  • Pas de résumé disponible.

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\u00a0?

  • Bibliothèque : École polytechnique. Bibliothèque Centrale.
  • Disponible pour le PEB

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université de Lille. Service commun de la documentation. Bibliothèque universitaire de Sciences Humaines et Sociales.
  • Non disponible pour le PEB
  • Cote : 2001EPXX0004
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.