Parallelisation d'un systeme de regles de decodage acoustico-phonetique ecrit en Prolog

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

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

Modelisation du parallelisme et de la synchronisation

Atif, Karim
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1992

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

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

Decodage acoustico-phonetique multilingue: systeme a base de connaissances et etiquetage automatique de corpus de parole

Kabre, Harouna

January 1991

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

Un systeme declaratif de types pour Prolog

Nguyen Phuong, Lan
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1992

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

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

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

Etude et realisation d'un systeme d'authentification vocale

Mariani, J.J.
Boesch, R.
Gauvain, J.L.
Prouts, B.
Wacrenier, P.
Gangolf, J.J.
Matrouf, S.
VECSYS, 91 - Les Ulis (France)
Centre National de la Recherche Scientifique (CNRS), 91 - Orsay (France). Lab. d'Informatique pour la Mecanique et les Sciences pour l'Ingenieur (LIMSI)

January 1990

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

Etat de l'art des methodes de specification de systemes concurrents

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

January 1989

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

La proxemie acoustique dans l'habitat

Balay, Olivier
Centre National de la Recherche Scientifique (CNRS), 38 - Grenoble (France). Centre de Recherche sur l'Espace Sonore et l'Environnement Urbain
Ecole d'Architecture de Grenoble, 38 - Grenoble (France). Centre de Recherche sur l'Espace Sonore et l'Environnement Urbain
Plan Construction, 75 - Paris (France)

January 1986

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

Definition et evaluation d'une machine abstraite parallele pour un modele ou parallele multisequentiel de PROLOG

Bourzoufi, Abd Elhafid

January 1992

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

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

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

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

Modelisation du parallelisme et de la synchronisation

Atif, Karim
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1992

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

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

Decodage acoustico-phonetique multilingue: systeme a base de connaissances et etiquetage automatique de corpus de parole

Kabre, Harouna

January 1991

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

Un systeme declaratif de types pour Prolog

Nguyen Phuong, Lan
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1992

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

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

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

Etude et realisation d'un systeme d'authentification vocale

Mariani, J.J.
Boesch, R.
Gauvain, J.L.
Prouts, B.
Wacrenier, P.
Gangolf, J.J.
Matrouf, S.
VECSYS, 91 - Les Ulis (France)
Centre National de la Recherche Scientifique (CNRS), 91 - Orsay (France). Lab. d'Informatique pour la Mecanique et les Sciences pour l'Ingenieur (LIMSI)

January 1990

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

Etat de l'art des methodes de specification de systemes concurrents

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

January 1989

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

La proxemie acoustique dans l'habitat

Balay, Olivier
Centre National de la Recherche Scientifique (CNRS), 38 - Grenoble (France). Centre de Recherche sur l'Espace Sonore et l'Environnement Urbain
Ecole d'Architecture de Grenoble, 38 - Grenoble (France). Centre de Recherche sur l'Espace Sonore et l'Environnement Urbain
Plan Construction, 75 - Paris (France)

January 1986

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

Definition et evaluation d'une machine abstraite parallele pour un modele ou parallele multisequentiel de PROLOG

Bourzoufi, Abd Elhafid

January 1992

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

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

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

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

Modelisation du parallelisme et de la synchronisation

Atif, Karim
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1992

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

Parallelisation d'un systeme de regles de decodage acoustico-phonetique ecrit en Prolog

Abstract

Extracted data

Parallelisation d'un systeme de regles de decodage acoustico-phonetique ecrit en Prolog

Abstract

Extracted data

Related items

Related items