Specification et simulation d'une architecture multiprocesseur prolog

par CATHERINE SIMON

Thèse de doctorat en Sciences appliquées

Sous la direction de René Beaufils.

Soutenue en 1986

à Toulouse 3 .

    mots clés mots clés


  • Résumé

    Un modele d'interpretation repartie du langage prolog prenant en compte les parallelismes et et ou est presente. Un systeme de simulation a ete ecrit afin de valider les concepts fonctionnels. Des resultats statiques: taille de l'espace memoire occupe, taille des messages, temps d'execution et des resultats dynamiques: nombre de processeurs actifs sont donnes. Une specification fonctionnelle du processeur elementaire constitue de deux unites: une pour la resolution et l'autre pour l'unification traduit les concepts fonctionnels du modele. Une comparaison des performances de la machine est presentee afin de determiner le meilleur compromis topologique. La structure reguliere et incrementale de l'hypercube, son faible diametre en font un bon candidat. Enfin, l'orientation du domaine d'application de la machine vers les bases de connaissances a provoque la prise en compte de nouvelles fonctionnalites


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 211 P.
  • Annexes : 69 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1986TOU30153
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.