AP"2L An asynchronous functional parallel programming language

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

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

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

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

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

Transformation FP2 \Functional Parallel Programming\ vers ADA

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

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

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

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

Semantique axiomatique des langages a parallelisme de donnees Automatisation de la preuve de programmes

Mounier, Laurent
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 1993

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

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

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

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

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

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

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

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

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

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

Transformation FP2 \Functional Parallel Programming\ vers ADA

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

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

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

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

Semantique axiomatique des langages a parallelisme de donnees Automatisation de la preuve de programmes

Mounier, Laurent
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 1993

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

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

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

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

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

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

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

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

AP"2L An asynchronous functional parallel programming language

Abstract

Extracted data

AP"2L An asynchronous functional parallel programming language

Abstract

Extracted data

Related items

Related items

AP&quot;2L An asynchronous functional parallel programming language

Abstract

Extracted data

AP&quot;2L An asynchronous functional parallel programming language

Abstract

Extracted data

Related items

Related items

AP"2L An asynchronous functional parallel programming language

AP"2L An asynchronous functional parallel programming language