Parallel logic programming systems

Quelques exemples d'algorithmes paralleles pour machine SIMD et MIMD a memoire partagee

Marrakchi, Mounir
Robert, Yves
Informatique et Mathematiques de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM3)
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM 3)
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM 3)

January 1986

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22495, issue : a.1986 n....

Compilation of a specialized functional language for massively parallel computers

Fradet, Pascal
Mallet, Julien
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2000

Theme 2 - Genie logiciel et calcul symbolique - Projet LandeSIGLEAvailable from INIST (FR), Document...

Une contribution a l'etude du parallelisme ou en Prolog sur les machines sans memoire commune

Resin Geyer, Claudio

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 81796 / INIST-CNRS -...

Parallel logic programming systems

Chassin de Kergommeaux, Jacques
Codognet, Philippe
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1992

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Un systeme prolog parallele pour machines a memoire distribuee

Favre, Michel
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 82765 / INIST-CNRS -...

Primitives et algorithmes de parallelisation

Giboulot, Marie-Christine
Loyer, Michel
Popovitch, Gregory
Melese, Bertrand
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Groupement d'Interet Public Scientifique Informatique, 78 - Le Chesnay (France)

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : AR 14236 / INIST-CNRS - ...

Utilisation de processus legers pour l'execution de programmes a parallelisme de donnees : etude experimentale

Perez, Christian
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1996

Theme 1 - Reseaux et systemes - Projet ReMaPAvailable at INIST (FR), Document Supply Service, under ...

Processor efficient parallel solution of linear systems of equations

Villard, G.
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Grenoble (France). Lab. de Modelisation et de Calcul
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Lab. de Modelisation et de Calcul
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Lab. de Modelisation et Calcul (LMC)

January 1998

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1998 ...

ARCHE Un langage parallele a objets fortement types

Benveniste, Marc
Issarny, Valerie
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1992

Programme 1 : architectures paralleles, bases de donnees, reseaux et systemes distribuesAvailable at...

Programmation par objets et parallelisme de donnees dans Paladin

Guidec, Frederic
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1994

Programme 1 - Architectures paralleles, bases de donnees, reseaux et systemes distribues. Projet Pam...

Functional and asynchronous parallel programming

Julliand, J.
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1993

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12387 / INIST-CNRS - ...

L'experimentation d'algorithmes distribues sur machines paralleles avec ECHIDNA

Jezequel, Jean-Marc
Jard, Claude
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1991

Programme 1 : architectures paralleles, bases de donnees, reseaux et systemes distribuesSIGLEAvailab...

Exemple de programmation parallele avec les processus legers : l'algorithme des fourmis

Farhat, Jocelyne
Demeure, Isabelle
Ecole Nationale Superieure des Telecommunications, 75 - Paris (France). Dept. Informatique

January 1994

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12548 / INIST-CNRS - ...

Parcours parallele d'arbres minimax

Roucairol, Catherine
Cung, Van-Dat
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1991

Programme 1 : architectures paralleles, bases de donnees, reseaux et systemes distribuesAvailable at...

Briques de base pour la realisation d'architectures paralleles specialisees

Charot, Francois
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1993

Programme 1 - Architectures paralleles, bases de donnees, reseaux et systemes distribues. Projet API...

Quelques exemples d'algorithmes paralleles pour machine SIMD et MIMD a memoire partagee

Marrakchi, Mounir
Robert, Yves
Informatique et Mathematiques de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM3)
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM 3)
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM 3)

January 1986

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22495, issue : a.1986 n....

Compilation of a specialized functional language for massively parallel computers

Fradet, Pascal
Mallet, Julien
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2000

Theme 2 - Genie logiciel et calcul symbolique - Projet LandeSIGLEAvailable from INIST (FR), Document...

Une contribution a l'etude du parallelisme ou en Prolog sur les machines sans memoire commune

Resin Geyer, Claudio

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 81796 / INIST-CNRS -...

Parallel logic programming systems

Chassin de Kergommeaux, Jacques
Codognet, Philippe
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1992

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Un systeme prolog parallele pour machines a memoire distribuee

Favre, Michel
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 82765 / INIST-CNRS -...

Primitives et algorithmes de parallelisation

Giboulot, Marie-Christine
Loyer, Michel
Popovitch, Gregory
Melese, Bertrand
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Groupement d'Interet Public Scientifique Informatique, 78 - Le Chesnay (France)

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : AR 14236 / INIST-CNRS - ...

Utilisation de processus legers pour l'execution de programmes a parallelisme de donnees : etude experimentale

Perez, Christian
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1996

Theme 1 - Reseaux et systemes - Projet ReMaPAvailable at INIST (FR), Document Supply Service, under ...

Processor efficient parallel solution of linear systems of equations

Villard, G.
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Grenoble (France). Lab. de Modelisation et de Calcul
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Lab. de Modelisation et de Calcul
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Lab. de Modelisation et Calcul (LMC)

January 1998

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1998 ...

ARCHE Un langage parallele a objets fortement types

Benveniste, Marc
Issarny, Valerie
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1992

Programme 1 : architectures paralleles, bases de donnees, reseaux et systemes distribuesAvailable at...

Programmation par objets et parallelisme de donnees dans Paladin

Guidec, Frederic
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1994

Programme 1 - Architectures paralleles, bases de donnees, reseaux et systemes distribues. Projet Pam...

Functional and asynchronous parallel programming

Julliand, J.
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1993

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12387 / INIST-CNRS - ...

L'experimentation d'algorithmes distribues sur machines paralleles avec ECHIDNA

Jezequel, Jean-Marc
Jard, Claude
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1991

Programme 1 : architectures paralleles, bases de donnees, reseaux et systemes distribuesSIGLEAvailab...

Exemple de programmation parallele avec les processus legers : l'algorithme des fourmis

Farhat, Jocelyne
Demeure, Isabelle
Ecole Nationale Superieure des Telecommunications, 75 - Paris (France). Dept. Informatique

January 1994

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12548 / INIST-CNRS - ...

Parcours parallele d'arbres minimax

Roucairol, Catherine
Cung, Van-Dat
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1991

Programme 1 : architectures paralleles, bases de donnees, reseaux et systemes distribuesAvailable at...

Briques de base pour la realisation d'architectures paralleles specialisees

Charot, Francois
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1993

Programme 1 - Architectures paralleles, bases de donnees, reseaux et systemes distribues. Projet API...

Quelques exemples d'algorithmes paralleles pour machine SIMD et MIMD a memoire partagee

Marrakchi, Mounir
Robert, Yves
Informatique et Mathematiques de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM3)
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM 3)
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM 3)

January 1986

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22495, issue : a.1986 n....

Compilation of a specialized functional language for massively parallel computers

Fradet, Pascal
Mallet, Julien
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2000

Theme 2 - Genie logiciel et calcul symbolique - Projet LandeSIGLEAvailable from INIST (FR), Document...

Une contribution a l'etude du parallelisme ou en Prolog sur les machines sans memoire commune

Resin Geyer, Claudio

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 81796 / INIST-CNRS -...

Parallel logic programming systems

Abstract

Extracted data

Parallel logic programming systems

Abstract

Extracted data

Related items

Related items