Parallelisation semantique : une approche denotationnelle non-standard pour la parallelisation de programmes imperatifs sequentiels

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

Parallelisation automatique: estimation des durees d'execution et allocation statique de processeurs

Tawbi, Nadia

January 1991

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

Algorithmes de jointure parallele et n-aire : application aux reseaux locaux et aux machines bases de donnees multiprocesseurs

Park, Chee-Hang

January 1987

CNRS TD Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Une machine abstraite pour la mise en oeuvre du parallelisme OU-ET en programmation logique

Robert, Philippe
Ecole Nationale Superieure de l'Aeronautique et de l'Espace de Toulouse, 31 (France)

January 1988

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

Algorithmique parallele pour les machines a memoire distribuee (applicationsaux algorithmes matriciels)

Tourancheau, Bernard
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1989

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

Methodologie pour la parallelisation de programmes scientifiques. Conception d'une carte a processeur parallele

Ungerer, Alexandre

January 1991

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

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

La methode du recuit simule: acceleration et parallelisation

Roussel-Ragot, Pierre

January 1990

SIGLEINIST T 77226 / 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

Parallelisme et distribution en LISP

Piquer, Jose
Ecole Polytechnique, 91 - Palaiseau (France)

January 1991

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

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

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

Introduction du parallelisme dans les langages a objets

Delebecque, Henri

January 1988

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

Algorithmique parallele et distribuee

LavalleE, Ivan
Lavault, Christian
Institut National de Recherche en Informatique et en Automatique (INRIA), Domaine de Voluceau-Rocquencourt, 78 - Le Chesnay (France)

January 1985

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

Un langage modulaire de specifications de programmes paralleles et sa compilation

Heibig, Amaury

January 1988

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

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

Parallelisation automatique: estimation des durees d'execution et allocation statique de processeurs

Tawbi, Nadia

January 1991

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

Algorithmes de jointure parallele et n-aire : application aux reseaux locaux et aux machines bases de donnees multiprocesseurs

Park, Chee-Hang

January 1987

CNRS TD Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Une machine abstraite pour la mise en oeuvre du parallelisme OU-ET en programmation logique

Robert, Philippe
Ecole Nationale Superieure de l'Aeronautique et de l'Espace de Toulouse, 31 (France)

January 1988

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

Algorithmique parallele pour les machines a memoire distribuee (applicationsaux algorithmes matriciels)

Tourancheau, Bernard
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1989

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

Methodologie pour la parallelisation de programmes scientifiques. Conception d'une carte a processeur parallele

Ungerer, Alexandre

January 1991

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

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

La methode du recuit simule: acceleration et parallelisation

Roussel-Ragot, Pierre

January 1990

SIGLEINIST T 77226 / 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

Parallelisme et distribution en LISP

Piquer, Jose
Ecole Polytechnique, 91 - Palaiseau (France)

January 1991

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

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

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

Introduction du parallelisme dans les langages a objets

Delebecque, Henri

January 1988

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

Algorithmique parallele et distribuee

LavalleE, Ivan
Lavault, Christian
Institut National de Recherche en Informatique et en Automatique (INRIA), Domaine de Voluceau-Rocquencourt, 78 - Le Chesnay (France)

January 1985

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

Un langage modulaire de specifications de programmes paralleles et sa compilation

Heibig, Amaury

January 1988

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

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

Parallelisation automatique: estimation des durees d'execution et allocation statique de processeurs

Tawbi, Nadia

January 1991

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

Algorithmes de jointure parallele et n-aire : application aux reseaux locaux et aux machines bases de donnees multiprocesseurs

Park, Chee-Hang

January 1987

CNRS TD Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Parallelisation semantique : une approche denotationnelle non-standard pour la parallelisation de programmes imperatifs sequentiels

Abstract

Extracted data

Parallelisation semantique : une approche denotationnelle non-standard pour la parallelisation de programmes imperatifs sequentiels

Abstract

Extracted data

Related items

Related items