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é
National audienceL'un des enjeux majeurs de l'ingénierie dirigée par les modèles est d'augmenter la ...
Rapport de contrat.Ce rapport présente l'état d'avancement des travaux réalisés dans le cadre du con...
1ère éd.. Ouvrage (auteur).Il s'agit d'un livre d'exercices et de problèmes corrigés. 4 exercices et...
Un modèle d'interprétation parallèle de Prolog basé sur la notion de processus est défini. En introd...
Cette thèse est consacrée a l'étude de l'implantation du langage Prolog sur les architectures parall...
L'objectif de cette thèse est la conception d'une implantation parallèle efficace de Prolog. Sur une...
60 p. , ill. , 30 cmLe Domaine des procédés logiciels est vaste et les procédés logiciels sont intri...
Les architectures logicielles sont centrales vis-à-vis des processus logiciels de construction des a...
Cette thèse présente l'étude de l'implantation d'un système Prolog parallèle sur une architecture sa...
Cette thèse est consacrée à l'etude de l'implantation du parallélisme OU en Prolog sur des machines ...
National audienceL'ingénierie des systèmes d'information fait appel à de multiples langages pour mod...
Le sujet présenté dans cette thèse consiste à concevoir un langage de programmation, appelé BOCAL, s...
National audienceL'un des enjeux majeurs de l'ingénierie dirigée par les modèles est d'augmenter la ...
Rapport de contrat.Ce rapport présente l'état d'avancement des travaux réalisés dans le cadre du con...
1ère éd.. Ouvrage (auteur).Il s'agit d'un livre d'exercices et de problèmes corrigés. 4 exercices et...
Un modèle d'interprétation parallèle de Prolog basé sur la notion de processus est défini. En introd...
Cette thèse est consacrée a l'étude de l'implantation du langage Prolog sur les architectures parall...
L'objectif de cette thèse est la conception d'une implantation parallèle efficace de Prolog. Sur une...
60 p. , ill. , 30 cmLe Domaine des procédés logiciels est vaste et les procédés logiciels sont intri...
Les architectures logicielles sont centrales vis-à-vis des processus logiciels de construction des a...
Cette thèse présente l'étude de l'implantation d'un système Prolog parallèle sur une architecture sa...
Cette thèse est consacrée à l'etude de l'implantation du parallélisme OU en Prolog sur des machines ...
National audienceL'ingénierie des systèmes d'information fait appel à de multiples langages pour mod...
Le sujet présenté dans cette thèse consiste à concevoir un langage de programmation, appelé BOCAL, s...
National audienceL'un des enjeux majeurs de l'ingénierie dirigée par les modèles est d'augmenter la ...
Rapport de contrat.Ce rapport présente l'état d'avancement des travaux réalisés dans le cadre du con...
1ère éd.. Ouvrage (auteur).Il s'agit d'un livre d'exercices et de problèmes corrigés. 4 exercices et...