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...
Main Author: | |
---|---|
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 |