Une approche de compilation pour les programmes logiques exploitant le parallelisme 'et' et 'ou'

La reecriture concurrente

Viry, Patrick

January 1992

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

Programmation fonctionnelle et flots de donnees

Dussert, Nathalie
Ecole Nationale Superieure des Telecommunications, 75 - Paris (France). Dept. Informatique

January 1994

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

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...

Compilation de programmes data-paralleles pour un reseau de stations de travail

Cuvillier, Guy
Utard, Gil
Centre National de la Recherche Scientifique (CNRS), 69 - Lyon (France). Lab. de l'Informatique du Parallelisme
Ecole Normale Superieure de Lyon, 69 (France). Lab. de l'Informatique du Parallelisme
Lyon-1 Univ., 69 (France). Lab. de l'Informatique du Parallelisme
Institut Informatique et Mathematiques Appliquees de Grenoble (IMAG), 69 - Lyon (France). Lab. de l'Informatique du Parallelisme

January 1994

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

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

Perez, Christian
Centre National de la Recherche Scientifique (CNRS), 69 - Lyon (France). Lab. de l'Informatique du Parallelisme
Ecole Normale Superieure de Lyon, 69 (France). Lab. de l'Informatique du Parallelisme
Lyon-1 Univ., 69 (France). Lab. de l'Informatique du Parallelisme

January 1996

Available at INIST (FR), Document Supply Service, under shelf-number : RP 14220 / INIST-CNRS - Insti...

Langages a objets paralleles : programmations et semantiques

Caromel, Denis

January 1996

Available from INIST (FR), Document Supply Service, under shelf-number : TM 580 / INIST-CNRS - Insti...

Analyse semantique des programmes en langage C en vue de leur parallelisation

David, Pierre

January 1991

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

Langages explicites a parallelisme de donnees

Marquet, Philippe

January 1992

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

Compilation et verification de programmes LOTOS

Garavel, Hubert

January 1989

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

Comparaison entre la transformation et l'extraction de programmes logiques

Bouverot, Anne

January 1991

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

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 -...

Generation de code et analyse interprocedurale au sein d'un environnement de programmation parallele

Dehbonei, Babak

January 1990

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

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 - ...

Synthese logique sur reseaux programmables

Bouchet, Laurent
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1992

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

Reseaux de Petri et parallelisme

Beaufils, Frederic
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)

January 1989

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

La reecriture concurrente

Viry, Patrick

January 1992

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

Programmation fonctionnelle et flots de donnees

Dussert, Nathalie
Ecole Nationale Superieure des Telecommunications, 75 - Paris (France). Dept. Informatique

January 1994

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

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...

Compilation de programmes data-paralleles pour un reseau de stations de travail

Cuvillier, Guy
Utard, Gil
Centre National de la Recherche Scientifique (CNRS), 69 - Lyon (France). Lab. de l'Informatique du Parallelisme
Ecole Normale Superieure de Lyon, 69 (France). Lab. de l'Informatique du Parallelisme
Lyon-1 Univ., 69 (France). Lab. de l'Informatique du Parallelisme
Institut Informatique et Mathematiques Appliquees de Grenoble (IMAG), 69 - Lyon (France). Lab. de l'Informatique du Parallelisme

January 1994

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

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

Perez, Christian
Centre National de la Recherche Scientifique (CNRS), 69 - Lyon (France). Lab. de l'Informatique du Parallelisme
Ecole Normale Superieure de Lyon, 69 (France). Lab. de l'Informatique du Parallelisme
Lyon-1 Univ., 69 (France). Lab. de l'Informatique du Parallelisme

January 1996

Available at INIST (FR), Document Supply Service, under shelf-number : RP 14220 / INIST-CNRS - Insti...

Langages a objets paralleles : programmations et semantiques

Caromel, Denis

January 1996

Available from INIST (FR), Document Supply Service, under shelf-number : TM 580 / INIST-CNRS - Insti...

Analyse semantique des programmes en langage C en vue de leur parallelisation

David, Pierre

January 1991

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

Langages explicites a parallelisme de donnees

Marquet, Philippe

January 1992

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

Compilation et verification de programmes LOTOS

Garavel, Hubert

January 1989

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

Comparaison entre la transformation et l'extraction de programmes logiques

Bouverot, Anne

January 1991

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

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 -...

Generation de code et analyse interprocedurale au sein d'un environnement de programmation parallele

Dehbonei, Babak

January 1990

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

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 - ...

Synthese logique sur reseaux programmables

Bouchet, Laurent
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1992

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

Reseaux de Petri et parallelisme

Beaufils, Frederic
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)

January 1989

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

La reecriture concurrente

Viry, Patrick

January 1992

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

Programmation fonctionnelle et flots de donnees

Dussert, Nathalie
Ecole Nationale Superieure des Telecommunications, 75 - Paris (France). Dept. Informatique

January 1994

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

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...

Une approche de compilation pour les programmes logiques exploitant le parallelisme 'et' et 'ou'

Abstract

Extracted data

Une approche de compilation pour les programmes logiques exploitant le parallelisme 'et' et 'ou'

Abstract

Extracted data

Related items

Related items