Parallélisme dans une machine base de connaissances Prolog

Un modèle d'interprétation parallèle de Prolog basé sur la notion de processus est défini. En introduisant un type d'architecture nommée "architecture orientée processus" l'exécution du modèle dans un environnement multiprocesseurs est étudiée. Une expérimentation par simula...

Full description

Bibliographic Details
Main Author: Dang, Weldong
Language:FRE
Published: 1987
Subjects:
Online Access:http://tel.archives-ouvertes.fr/tel-00323956
http://tel.archives-ouvertes.fr/docs/00/32/39/56/PDF/Dang.Weldong_1987_these.pdf
id ndltd-CCSD-oai-tel.archives-ouvertes.fr-tel-00323956
record_format oai_dc
spelling ndltd-CCSD-oai-tel.archives-ouvertes.fr-tel-003239562013-01-07T18:31:24Z http://tel.archives-ouvertes.fr/tel-00323956 http://tel.archives-ouvertes.fr/docs/00/32/39/56/PDF/Dang.Weldong_1987_these.pdf Parallélisme dans une machine base de connaissances Prolog Dang, Weldong [INFO:INFO_MO] Computer Science/Modeling and Simulation machine base de connaissances Prolog parallélisme architecture multi-processeurs Un modèle d'interprétation parallèle de Prolog basé sur la notion de processus est défini. En introduisant un type d'architecture nommée "architecture orientée processus" l'exécution du modèle dans un environnement multiprocesseurs est étudiée. Une expérimentation par simulation en langage parallèle Occam, en vue de valider le modèle et son exécution dans une architecture multiprocesseurs, est décrite. Finalement, un système Prolog avec la capacité de manipuler des clauses extérieures à la mémoire centrale est présenté. 1987-01-07 FRE PhD thesis
collection NDLTD
language FRE
sources NDLTD
topic [INFO:INFO_MO] Computer Science/Modeling and Simulation
machine base de connaissances
Prolog
parallélisme
architecture multi-processeurs
spellingShingle [INFO:INFO_MO] Computer Science/Modeling and Simulation
machine base de connaissances
Prolog
parallélisme
architecture multi-processeurs
Dang, Weldong
Parallélisme dans une machine base de connaissances Prolog
description Un modèle d'interprétation parallèle de Prolog basé sur la notion de processus est défini. En introduisant un type d'architecture nommée "architecture orientée processus" l'exécution du modèle dans un environnement multiprocesseurs est étudiée. Une expérimentation par simulation en langage parallèle Occam, en vue de valider le modèle et son exécution dans une architecture multiprocesseurs, est décrite. Finalement, un système Prolog avec la capacité de manipuler des clauses extérieures à la mémoire centrale est présenté.
author Dang, Weldong
author_facet Dang, Weldong
author_sort Dang, Weldong
title Parallélisme dans une machine base de connaissances Prolog
title_short Parallélisme dans une machine base de connaissances Prolog
title_full Parallélisme dans une machine base de connaissances Prolog
title_fullStr Parallélisme dans une machine base de connaissances Prolog
title_full_unstemmed Parallélisme dans une machine base de connaissances Prolog
title_sort parallélisme dans une machine base de connaissances prolog
publishDate 1987
url http://tel.archives-ouvertes.fr/tel-00323956
http://tel.archives-ouvertes.fr/docs/00/32/39/56/PDF/Dang.Weldong_1987_these.pdf
work_keys_str_mv AT dangweldong parallelismedansunemachinebasedeconnaissancesprolog
_version_ 1716452944052748288