Semantique du parallelisme et logique temporelle. Application au langage FP2

Langages explicites a parallelisme de donnees

Marquet, Philippe

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 80998 / 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 - ...

Le parallelisme a echange de messages : quelques langages et outils

Berthome, Pascal
Patron, M.
CEA Centre d'Etudes de Limeil-Valenton, 94 - Villeneuve-Saint-Georges (France). Dept. de Mathematiques Appliquees

January 1994

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

Langages fonctionnels et parallelisme. Une realisation pour le systeme CAML

Dupont, Francis
Ecole Polytechnique, 91 - Palaiseau (France)

January 1990

SIGLEINIST T 74678 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Semantique de PARLOG, un langage logique parallele

Richard, Gilles
Rizk, Antoine
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1988

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Parallelisme et traitement automatique des langues. Application a l'analyse des enonces elliptiques

Wintergerst Sauvage, Caroline

January 1992

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

Manipulateurs paralleles: troisieme partie: applications

Merlet, Jean-Pierre
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1989

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Programmation parallele et programmation fonctionnelle : propositions pour un language

Cisneros Gascon, Maria del Pilar
Institut National Polytechnique de Grenoble, 38 - Saint-Martin-d'Heres (France)

January 1984

SIGLECNRS T 55061 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Fonctions et genericite dans un langage de programmation parallele

Hufflen, Jean-Michel
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1989

SIGLEINIST T 74922 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Comparaison des comportements des processus communicants : application au langage FP2

Roge, Sylvie
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1986

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

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

Parallelisme de donnees et filtrage non lineaire : analyse de performance

Cerou, Frederic
Bernier, Herve
Rakotozafy, Rivo
Le Gland, Francois
Campillo, Fabien
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1994

Programme 5 - Traitement du signal, automatique et productique. Projet MefistoSIGLEAvailable at INIS...

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

LOGARITHM, un langage logique parallele : son implementation sur Tranputers

Bodeveix, Jean-Paul

January 1989

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

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

Langages explicites a parallelisme de donnees

Marquet, Philippe

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 80998 / 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 - ...

Le parallelisme a echange de messages : quelques langages et outils

Berthome, Pascal
Patron, M.
CEA Centre d'Etudes de Limeil-Valenton, 94 - Villeneuve-Saint-Georges (France). Dept. de Mathematiques Appliquees

January 1994

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

Langages fonctionnels et parallelisme. Une realisation pour le systeme CAML

Dupont, Francis
Ecole Polytechnique, 91 - Palaiseau (France)

January 1990

SIGLEINIST T 74678 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Semantique de PARLOG, un langage logique parallele

Richard, Gilles
Rizk, Antoine
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1988

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Parallelisme et traitement automatique des langues. Application a l'analyse des enonces elliptiques

Wintergerst Sauvage, Caroline

January 1992

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

Manipulateurs paralleles: troisieme partie: applications

Merlet, Jean-Pierre
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1989

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Programmation parallele et programmation fonctionnelle : propositions pour un language

Cisneros Gascon, Maria del Pilar
Institut National Polytechnique de Grenoble, 38 - Saint-Martin-d'Heres (France)

January 1984

SIGLECNRS T 55061 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Fonctions et genericite dans un langage de programmation parallele

Hufflen, Jean-Michel
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1989

SIGLEINIST T 74922 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Comparaison des comportements des processus communicants : application au langage FP2

Roge, Sylvie
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1986

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

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

Parallelisme de donnees et filtrage non lineaire : analyse de performance

Cerou, Frederic
Bernier, Herve
Rakotozafy, Rivo
Le Gland, Francois
Campillo, Fabien
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1994

Programme 5 - Traitement du signal, automatique et productique. Projet MefistoSIGLEAvailable at INIS...

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

LOGARITHM, un langage logique parallele : son implementation sur Tranputers

Bodeveix, Jean-Paul

January 1989

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

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

Langages explicites a parallelisme de donnees

Marquet, Philippe

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 80998 / 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 - ...

Le parallelisme a echange de messages : quelques langages et outils

Berthome, Pascal
Patron, M.
CEA Centre d'Etudes de Limeil-Valenton, 94 - Villeneuve-Saint-Georges (France). Dept. de Mathematiques Appliquees

January 1994

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

Semantique du parallelisme et logique temporelle. Application au langage FP2

Abstract

Extracted data

Semantique du parallelisme et logique temporelle. Application au langage FP2

Abstract

Extracted data

Related items

Related items