Ask
Search
My library

About
Statistics
Contact
Data Protection
Accessibility
Imprint
Changelog
Frontend: v1.31.3
Backend: v1.11.4

We use cookies to provide a better user experience.

Data Protection

Specification et implementation d'un mecanisme de communication de processus temps reel repartis

Creusot, Denis

Publication date

January 1985

Abstract

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

Extracted data

Related items

Realisation de l'outil Mec : specification fonctionnelle et architecture

Crubille, Paul

January 1989

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

Processus ponctuels, sous-processus et ensemble aleatoire

Dabouz, Farida

January 1984

SIGLET 54386 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Etude de certains processus de naissance

Wen, Zhi Ying

January 1986

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

Sur la mise en oeuvre directe d'une specification fonctionnelle des systemes temps reel

Demmou, Hamid

January 1984

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

Un outil pour le prototypage des systemes temps reel : le communicateur et son implementation

Ould-Kaddour, Nacera

January 1988

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

Les protocoles de communication dans un systeme d'exploitation reparti

Mzouri, Azzeddine

January 1988

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

Specification et validation de systemes de processus communicants

Marmonier, Marina

January 1989

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

Semantique algebrique d'un langage de programmation supportant le concept de processus communicants

Ouerghi, Mohamed Saied
Institut National Polytechnique de Lorraine, 54 - Vandoeuvre-les-Nancy (France)

January 1984

SIGLET 55406 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

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

Outil d'aide a la specification et a l'implementation de protocoles de transfert

Rieu, Christine

January 1989

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

Protocoles de communication et programmation par objets: l'exemple de SOS

Makpangou, Massac

January 1989

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

Communication dans les reseaux de processeurs et complexite des algorithmes

Cosnard, Michel
Daoudi, M.
Tourancheau, B.
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 1986

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

La communication dans un systeme reparti : construction du service de communication de CHORUS

Caristan, Alain

January 1984

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

Specification et programmation en LPG

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

January 1984

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

Application de la synthese de la parole a la communication entre un aveugle et un micro-ordinateur

Guilhot, J.P. (dir. these)
Gallo Bourgain, Blandine

January 1986

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

Realisation de l'outil Mec : specification fonctionnelle et architecture

Crubille, Paul

January 1989

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

Processus ponctuels, sous-processus et ensemble aleatoire

Dabouz, Farida

January 1984

SIGLET 54386 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Etude de certains processus de naissance

Wen, Zhi Ying

January 1986

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

Sur la mise en oeuvre directe d'une specification fonctionnelle des systemes temps reel

Demmou, Hamid

January 1984

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

Un outil pour le prototypage des systemes temps reel : le communicateur et son implementation

Ould-Kaddour, Nacera

January 1988

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

Les protocoles de communication dans un systeme d'exploitation reparti

Mzouri, Azzeddine

January 1988

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

Specification et validation de systemes de processus communicants

Marmonier, Marina

January 1989

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

Semantique algebrique d'un langage de programmation supportant le concept de processus communicants

Ouerghi, Mohamed Saied
Institut National Polytechnique de Lorraine, 54 - Vandoeuvre-les-Nancy (France)

January 1984

SIGLET 55406 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

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

Outil d'aide a la specification et a l'implementation de protocoles de transfert

Rieu, Christine

January 1989

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

Protocoles de communication et programmation par objets: l'exemple de SOS

Makpangou, Massac

January 1989

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

Communication dans les reseaux de processeurs et complexite des algorithmes

Cosnard, Michel
Daoudi, M.
Tourancheau, B.
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 1986

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

La communication dans un systeme reparti : construction du service de communication de CHORUS

Caristan, Alain

January 1984

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

Specification et programmation en LPG

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

January 1984

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

Application de la synthese de la parole a la communication entre un aveugle et un micro-ordinateur

Guilhot, J.P. (dir. these)
Gallo Bourgain, Blandine

January 1986

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

Realisation de l'outil Mec : specification fonctionnelle et architecture

Crubille, Paul

January 1989

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

Processus ponctuels, sous-processus et ensemble aleatoire

Dabouz, Farida

January 1984

SIGLET 54386 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Etude de certains processus de naissance

Wen, Zhi Ying

January 1986

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