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

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

Analyse logique du raisonnement explicatif

Marquis, Pierre
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 1989

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

L'analyse technique pour battre le marche

Viviani, Jean-Laurent
Winter, Georges
Centre National de la Recherche Scientifique (CNRS), 93 - Villetaneuse (France). Centre de Recherches Interdisciplinaires et d'Etudes en Gestion (CRIEGE)
Paris-13 Univ., 93 - Villetaneuse (France). Centre de Recherches Interdisciplinaires et d'Etudes en Gestion (CRIEGE)

January 1995

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : DO 4412 / INIST-CNRS - I...

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

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 fonctionnelle d'une usine de traitement de talc et integration d'un outil de supervision

Berthaud, Daniel

January 1992

Available from INIST (FR), Document Supply Service, under shelf-number : T 84546 / INIST-CNRS - Inst...

Langages explicites a parallelisme de donnees

Marquet, Philippe

January 1992

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

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

Belmesk, Mounira
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1990

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

Conception d'un gerant d'objets et analyse de performances

Steffen, Hermann

January 1991

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

Analyse, representation et traitement du geste instrumental

Ramstein, Christophe
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1991

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

Analyse du mouvement par mise en correspondance d'indices visuels

Discours, Christophe
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1990

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

Gestion memoire automatique pour langages de programmation de haut niveau

Delacour, Vincent

January 1991

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

Analyse modale d'antennes imprimees sur substrat suspendu

Clequin, Rene

January 1991

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

Analyse harmonique sur les groupes et reconnaissance des formes

Fonga Tchinkante, Hubert
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1992

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

Analyse logique du raisonnement explicatif

Marquis, Pierre
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 1989

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

L'analyse technique pour battre le marche

Viviani, Jean-Laurent
Winter, Georges
Centre National de la Recherche Scientifique (CNRS), 93 - Villetaneuse (France). Centre de Recherches Interdisciplinaires et d'Etudes en Gestion (CRIEGE)
Paris-13 Univ., 93 - Villetaneuse (France). Centre de Recherches Interdisciplinaires et d'Etudes en Gestion (CRIEGE)

January 1995

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : DO 4412 / INIST-CNRS - I...

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

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 fonctionnelle d'une usine de traitement de talc et integration d'un outil de supervision

Berthaud, Daniel

January 1992

Available from INIST (FR), Document Supply Service, under shelf-number : T 84546 / INIST-CNRS - Inst...

Langages explicites a parallelisme de donnees

Marquet, Philippe

January 1992

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

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

Belmesk, Mounira
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1990

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

Conception d'un gerant d'objets et analyse de performances

Steffen, Hermann

January 1991

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

Analyse, representation et traitement du geste instrumental

Ramstein, Christophe
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1991

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

Analyse du mouvement par mise en correspondance d'indices visuels

Discours, Christophe
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1990

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

Gestion memoire automatique pour langages de programmation de haut niveau

Delacour, Vincent

January 1991

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

Analyse modale d'antennes imprimees sur substrat suspendu

Clequin, Rene

January 1991

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

Analyse harmonique sur les groupes et reconnaissance des formes

Fonga Tchinkante, Hubert
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1992

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

Analyse logique du raisonnement explicatif

Marquis, Pierre
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 1989

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

L'analyse technique pour battre le marche

Viviani, Jean-Laurent
Winter, Georges
Centre National de la Recherche Scientifique (CNRS), 93 - Villetaneuse (France). Centre de Recherches Interdisciplinaires et d'Etudes en Gestion (CRIEGE)
Paris-13 Univ., 93 - Villetaneuse (France). Centre de Recherches Interdisciplinaires et d'Etudes en Gestion (CRIEGE)

January 1995

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : DO 4412 / INIST-CNRS - I...

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

Abstract

Extracted data

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

Abstract

Extracted data

Related items

Related items