Transformation FP2 \Functional Parallel Programming\ vers ADA

Semantique du parallelisme et logique temporelle. Application au langage FP2

Schnoebelen, Philippe
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1990

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

Algorithmes numeriques et parallelisation

Philippe, Bernard
Rennes-1 Univ., 35 (France). Inst. de Formation Superieure en Informatique et Communication
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 1989

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11645 / 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...

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

Specification FP2 d'un algorithme ADA implementant le rendez-vous n-aire

Roge, Sylvie
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Syseca Temps Reel, 92 - Saint Cloud (France)

January 1990

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

FP2: functional parallel programming based on term substitution

Jorrand, Philippe
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1984

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

Realisation d'un environnement de programmation permettant la transformation de programmes Fortran en programmes Parallel Fortran

Groupement d'Interet Public Scientifique Informatique, 78 - Le Chesnay (France)
Chambre de Commerce et d'Industrie de Nice et des Alpes Maritimes, 06 - Nice (France)
Centre d'Enseignement et de Recherche en Informatique Communication et Systemes (CERICS), 06 - Valbonne (France)
Association Amicale des Anciens Eleves de l'ENPC (AENPC), 75 - Paris (France)
CERMICS, 93 - Noisy le Grand (France)

January 1995

Available from INIST (FR), Document Supply Service, under shelf-number : AR 15718 / INIST-CNRS - Ins...

Functional programming and nondeterminism

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 12386 / INIST-CNRS - ...

Liens entre FP2 et d'autres formalismes

Meziere, Didier
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Syseca Temps Reel, 92 - Saint Cloud (France)

January 1990

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

AP"2L An asynchronous functional parallel programming language

Julliand, Jacques
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 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10578 / 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 - ...

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

A functional language for parallel programming

Julliand, Jacques
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 1990

Rapport interneSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10690 ...

F-acceleration et transformations diagonales

Wang, Shao-hua

January 1991

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

Semantique du parallelisme et logique temporelle. Application au langage FP2

Schnoebelen, Philippe
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1990

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

Algorithmes numeriques et parallelisation

Philippe, Bernard
Rennes-1 Univ., 35 (France). Inst. de Formation Superieure en Informatique et Communication
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 1989

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11645 / 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...

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

Specification FP2 d'un algorithme ADA implementant le rendez-vous n-aire

Roge, Sylvie
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Syseca Temps Reel, 92 - Saint Cloud (France)

January 1990

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

FP2: functional parallel programming based on term substitution

Jorrand, Philippe
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1984

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

Realisation d'un environnement de programmation permettant la transformation de programmes Fortran en programmes Parallel Fortran

Groupement d'Interet Public Scientifique Informatique, 78 - Le Chesnay (France)
Chambre de Commerce et d'Industrie de Nice et des Alpes Maritimes, 06 - Nice (France)
Centre d'Enseignement et de Recherche en Informatique Communication et Systemes (CERICS), 06 - Valbonne (France)
Association Amicale des Anciens Eleves de l'ENPC (AENPC), 75 - Paris (France)
CERMICS, 93 - Noisy le Grand (France)

January 1995

Available from INIST (FR), Document Supply Service, under shelf-number : AR 15718 / INIST-CNRS - Ins...

Functional programming and nondeterminism

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 12386 / INIST-CNRS - ...

Liens entre FP2 et d'autres formalismes

Meziere, Didier
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Syseca Temps Reel, 92 - Saint Cloud (France)

January 1990

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

AP"2L An asynchronous functional parallel programming language

Julliand, Jacques
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 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10578 / 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 - ...

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

A functional language for parallel programming

Julliand, Jacques
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 1990

Rapport interneSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10690 ...

F-acceleration et transformations diagonales

Wang, Shao-hua

January 1991

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

Semantique du parallelisme et logique temporelle. Application au langage FP2

Schnoebelen, Philippe
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1990

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

Algorithmes numeriques et parallelisation

Philippe, Bernard
Rennes-1 Univ., 35 (France). Inst. de Formation Superieure en Informatique et Communication
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 1989

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11645 / 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...

Transformation FP2 \Functional Parallel Programming\ vers ADA

Abstract

Extracted data

Transformation FP2 \Functional Parallel Programming\ vers ADA

Abstract

Extracted data

Related items

Related items