Une contribution à l'étude du parallélisme ou en Prolog sur des machines sans mémoire commune

L'objectif de cette thèse est la conception d'une implantation parallèle efficace de Prolog. Sur une machine sans mémoire commune. Le modèle de calcul exploite le parallélisme ou selon l'approche multisequentielle classique. La partie principale de cette thèse est l'étude de méth...

Full description

Bibliographic Details
Main Author: Resin Geyer, Claudio Fernando
Language:FRE
Published: 1991
Subjects:
Online Access:http://tel.archives-ouvertes.fr/tel-00340398
http://tel.archives-ouvertes.fr/docs/00/34/03/98/PDF/Resin-Geyer.Claudio-Fernando_1991_these.pdf
Description
Summary:L'objectif de cette thèse est la conception d'une implantation parallèle efficace de Prolog. Sur une machine sans mémoire commune. Le modèle de calcul exploite le parallélisme ou selon l'approche multisequentielle classique. La partie principale de cette thèse est l'étude de méthodes de partage de contexte entre plusieurs machines abstraites Prolog. Un prototype est présent et des résultats préliminaires décrits. Ce prototype délivre un accroissement de performance effectif par parallélisation par rapport a des systèmes séquentiels