Semantique fonctionnelle de microprocesseurs au niveau instruction machine

Les machines tournantes industrielles

Association Technique pour les Economies d'Energie, 94 - Arcueil (France)
Agence Francaise pour la Maitrise de l'Energie (AFME), 75 - Paris (France)

January 1987

SIGLECNRS RP 400 (1007) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Etude d'accompagnement de la machine a fil pilote

Georgelin, Denis
Fabre, Emmanuel
Vialart, Jean-Claude
Photowatt International, 14 - Caen (France)
Agence Francaise pour la Maitrise de l'Energie (AFME), 75 - Paris (France)

January 1985

CNRS RP 400 (977) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

La machine algebrique, parallele, concurrente, et fiable de SABRE

Viemont, Yann

January 1986

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

La construction d'interfaces homme-machine

Coutaz, Joelle
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. de Genie Informatique de Grenoble (LGIG)

January 1986

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

Les microprocesseurs dans les techniques de securite

Holscher, H.
Rader, J.
Rheinland, T uv
Institut National de Recherche et de Securite (INRS), 75 - Paris (France)

January 1986

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

La solfegette, le solfege assiste par microprocesseur

Association pour la Promotion de la Technologie (PROMOTECH Bretagne), 22 - Lannion (France)
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)

January 1988

CNRS AR 12634 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Conception descendante appliquee aux microprocesseurs VLSI

Bertrand, Francois
Institut National Polytechnique de Grenoble, 38 - Saint-Martin-d'Heres (France)

January 1985

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

Soutien a la productique et developpement de microprocesseurs et capteurs

Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)

January 1986

CNRS AR 11107 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Un automate d'unification pour la machine OPALE

Ianeselli, Jean-Christophe
Berger Sabbatel, Gilles
Informatique et Mathematiques de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM3)

January 1984

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

Specification d'un reseau de microprocesseurs par affinements successifs

Shapiro
Centre National de la Recherche Scientifique, Laboratoire d'Automatique et d'Analyse des Systemes Toulouse (FRANCE)

January 1979

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

Technologie de la microelectronique

Vincent, G.
Centre National d'Etudes des Telecommunications (CNET), 38 - Meylan (France). Div. Recherches Physiques et Technologiques

January 1987

SIGLECNRS RP 253 (67) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Commande situationnelle pour la conduite des ateliers de production

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

January 1988

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

Mise en oeuvre des microprocesseurs

Barthelemy, M.
Brisson, J.C.
Dacosta, V.
Fabre, R.
Gallice, P.
Lecomte, J.L.
Mackowiak
Sarquiz, M
Matichard, G.
CEA, CEN Saclay, 91 - Gif-sur-Yvette (France)

January 1981

Available from CEN Saclay, Service de Documentation, 91191 Gif-sur-Yvette Cedex (France) / INIST-CNR...

Proprietes algebriques de l'ensemble des processus communicants reguliers

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

January 1985

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

Microprogrammation, architectures, langages a objets : N_AS

Codani, Jean-Jacques

January 1988

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

Les machines tournantes industrielles

Association Technique pour les Economies d'Energie, 94 - Arcueil (France)
Agence Francaise pour la Maitrise de l'Energie (AFME), 75 - Paris (France)

January 1987

SIGLECNRS RP 400 (1007) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Etude d'accompagnement de la machine a fil pilote

Georgelin, Denis
Fabre, Emmanuel
Vialart, Jean-Claude
Photowatt International, 14 - Caen (France)
Agence Francaise pour la Maitrise de l'Energie (AFME), 75 - Paris (France)

January 1985

CNRS RP 400 (977) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

La machine algebrique, parallele, concurrente, et fiable de SABRE

Viemont, Yann

January 1986

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

La construction d'interfaces homme-machine

Coutaz, Joelle
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. de Genie Informatique de Grenoble (LGIG)

January 1986

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

Les microprocesseurs dans les techniques de securite

Holscher, H.
Rader, J.
Rheinland, T uv
Institut National de Recherche et de Securite (INRS), 75 - Paris (France)

January 1986

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

La solfegette, le solfege assiste par microprocesseur

Association pour la Promotion de la Technologie (PROMOTECH Bretagne), 22 - Lannion (France)
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)

January 1988

CNRS AR 12634 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Conception descendante appliquee aux microprocesseurs VLSI

Bertrand, Francois
Institut National Polytechnique de Grenoble, 38 - Saint-Martin-d'Heres (France)

January 1985

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

Soutien a la productique et developpement de microprocesseurs et capteurs

Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)

January 1986

CNRS AR 11107 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Un automate d'unification pour la machine OPALE

Ianeselli, Jean-Christophe
Berger Sabbatel, Gilles
Informatique et Mathematiques de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM3)

January 1984

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

Specification d'un reseau de microprocesseurs par affinements successifs

Shapiro
Centre National de la Recherche Scientifique, Laboratoire d'Automatique et d'Analyse des Systemes Toulouse (FRANCE)

January 1979

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

Technologie de la microelectronique

Vincent, G.
Centre National d'Etudes des Telecommunications (CNET), 38 - Meylan (France). Div. Recherches Physiques et Technologiques

January 1987

SIGLECNRS RP 253 (67) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Commande situationnelle pour la conduite des ateliers de production

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

January 1988

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

Mise en oeuvre des microprocesseurs

Barthelemy, M.
Brisson, J.C.
Dacosta, V.
Fabre, R.
Gallice, P.
Lecomte, J.L.
Mackowiak
Sarquiz, M
Matichard, G.
CEA, CEN Saclay, 91 - Gif-sur-Yvette (France)

January 1981

Available from CEN Saclay, Service de Documentation, 91191 Gif-sur-Yvette Cedex (France) / INIST-CNR...

Proprietes algebriques de l'ensemble des processus communicants reguliers

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

January 1985

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

Microprogrammation, architectures, langages a objets : N_AS

Codani, Jean-Jacques

January 1988

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

Les machines tournantes industrielles

Association Technique pour les Economies d'Energie, 94 - Arcueil (France)
Agence Francaise pour la Maitrise de l'Energie (AFME), 75 - Paris (France)

January 1987

SIGLECNRS RP 400 (1007) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Etude d'accompagnement de la machine a fil pilote

Georgelin, Denis
Fabre, Emmanuel
Vialart, Jean-Claude
Photowatt International, 14 - Caen (France)
Agence Francaise pour la Maitrise de l'Energie (AFME), 75 - Paris (France)

January 1985

CNRS RP 400 (977) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

La machine algebrique, parallele, concurrente, et fiable de SABRE

Viemont, Yann

January 1986

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

Semantique fonctionnelle de microprocesseurs au niveau instruction machine

Abstract

Extracted data

Semantique fonctionnelle de microprocesseurs au niveau instruction machine

Abstract

Extracted data

Related items

Related items