Asynchronous deployment od synchronous transition systems

Regimes electriques transitoires des liaisons souterraines

Dorison, E.
Bourgeat, X.
Qako, N.
Electricite de France (EDF), 91 - Clamart (France). Direction des Etudes et Recherches (DER)
Electricite de France (EDF), 77 - Moret-sur-Loing (France). Dept. Cables Condensateurs Materiel d'Automatisme Materiaux (CIMA)

January 1997

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 26165 B, issue : a.199...

Using conditions to expedite consensus in synchronous distributed systems

Mostefaoui, Achour
Rajsbaum, Sergio
Raynal, Michel
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 2003

Theme 1 - Reseaux et systemes - Projet ADPSIGLEAvailable from INIST (FR), Document Supply Service, u...

Systeme d'information spontane (SIS) Problematique et premiers elements de solutions

Banatre, Michel
Weis, Frederic
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 1998

Theme 1 - Reseaux et systemes. Projet SolidorAvailable from INIST (FR), Document Supply Service, und...

Synchronous modeling and asynchronous deployment of mobile processes

Talpin, Jean-Pierre
Institut National de Recherche en Informatique et en Automatique (INRIA), 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)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2000

Theme 1 - Reseaux et systemes - Projet Ep - AtrSIGLEAvailable from INIST (FR), Document Supply Servi...

Distributing synchronous programs on a loosely synchronous, distributed architecture

Benveniste, Albert
Caspi, Paul
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 1999

Theme 1 - Reseaux et systemes - Projet AdpSIGLEAvailable from INIST (FR), Document Supply Service, u...

Masquage de la perte de synchronisation pour les applications multimedias reparties

Cousin, Bernard
Viho, Gagnon
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 1995

Programme 1 - Architectures paralleles, bases de donnees, reseaux et systemes distribues - Projet AD...

Enterprise software deployment Foundations & related technologies

Coupaye, T.
Estublier, J.
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. Logiciels, Systemes, Reseaux (LSR)
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Lab. Logiciels, Systemes, Reseaux (LSR)
Institut National Polytechnique de Grenoble (INPG), 38 - Saint-Martin-d'Heres (France). Lab. Logiciels, Systemes, Reseaux (LSR)

January 1999

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1999 ...

Distributed application configuration

Bellissard, Luc
Atallah, Slim Ben
Boyer, Fabienne
Riveill, Michel
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1997

Theme 1 - Reseaux et systemes. Projet SiracSIGLEAvailable from INIST (FR), Document Supply Service, ...

Decouverte automatique entre terminaux mobiles communicants

Troel, Arnaud
Weis, Frederic
Banatre, Michel
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 2003

Theme 1 - Reseaux et systemes - Projet ACESAvailable from INIST (FR), Document Supply Service, under...

Heterogeneous reactive systems modeling and correct-by-construction deployment

Benveniste, Albert
Carloni, Luca P.
Sangiovanni-Vincentelli, Alberto
Caspi, Paul
Institut National de Recherche en Informatique et en Automatique (INRIA), 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)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2003

Theme 1 - Reseaux et systemes - Projet S4SIGLEAvailable from INIST (FR), Document Supply Service, un...

Distributed monitoring of concurrent and asynchronous systems Extended version

Benveniste, Albert
Haar, Stefan
Jard, Claude
Fabre, Eric
Institut National de Recherche en Informatique et en Automatique (INRIA), 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)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2004

Systemes communicants - Projet DistriComSIGLEAvailable from INIST (FR), Document Supply Service, und...

Horloges de synchronisation pour systemes haute securite

Pascual, Nathalie

January 1992

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

Conception et mise en oeuvre d'un systeme d'entrees/sorties performant pour grappe

Utard, Gael
Morin, Christine
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 2004

Systemes communicants - Projet ParisAvailable from INIST (FR), Document Supply Service, under shelf-...

Les reseaux programmables 1.0

Festor, Olivier
Chrisment, Isabelle
Fleury, Eric
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 2000

Theme 1 - Reseaux et systemes - Projet RESEDASSIGLEAvailable from INIST (FR), Document Supply Servic...

Synchronisation des horloges : principes, protocole et proposition de deploiement sur le reseau de la DER

Vidrascu, A.
Langlois, S.
Electricite de France (EDF), 92 - Clamart (France). Dept. Ingenierie de la Communication en Informatique (ICI)
Electricite de France (EDF), 91 - Clamart (France). Direction des Etudes et Recherches (DER)

January 1996

Available at INIST (FR), Document Supply Service, under shelf-number : 26165 F, issue : a.1996 n.19 ...

Regimes electriques transitoires des liaisons souterraines

Dorison, E.
Bourgeat, X.
Qako, N.
Electricite de France (EDF), 91 - Clamart (France). Direction des Etudes et Recherches (DER)
Electricite de France (EDF), 77 - Moret-sur-Loing (France). Dept. Cables Condensateurs Materiel d'Automatisme Materiaux (CIMA)

January 1997

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 26165 B, issue : a.199...

Using conditions to expedite consensus in synchronous distributed systems

Mostefaoui, Achour
Rajsbaum, Sergio
Raynal, Michel
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 2003

Theme 1 - Reseaux et systemes - Projet ADPSIGLEAvailable from INIST (FR), Document Supply Service, u...

Systeme d'information spontane (SIS) Problematique et premiers elements de solutions

Banatre, Michel
Weis, Frederic
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 1998

Theme 1 - Reseaux et systemes. Projet SolidorAvailable from INIST (FR), Document Supply Service, und...

Synchronous modeling and asynchronous deployment of mobile processes

Talpin, Jean-Pierre
Institut National de Recherche en Informatique et en Automatique (INRIA), 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)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2000

Theme 1 - Reseaux et systemes - Projet Ep - AtrSIGLEAvailable from INIST (FR), Document Supply Servi...

Distributing synchronous programs on a loosely synchronous, distributed architecture

Benveniste, Albert
Caspi, Paul
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 1999

Theme 1 - Reseaux et systemes - Projet AdpSIGLEAvailable from INIST (FR), Document Supply Service, u...

Masquage de la perte de synchronisation pour les applications multimedias reparties

Cousin, Bernard
Viho, Gagnon
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 1995

Programme 1 - Architectures paralleles, bases de donnees, reseaux et systemes distribues - Projet AD...

Enterprise software deployment Foundations & related technologies

Coupaye, T.
Estublier, J.
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. Logiciels, Systemes, Reseaux (LSR)
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Lab. Logiciels, Systemes, Reseaux (LSR)
Institut National Polytechnique de Grenoble (INPG), 38 - Saint-Martin-d'Heres (France). Lab. Logiciels, Systemes, Reseaux (LSR)

January 1999

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1999 ...

Distributed application configuration

Bellissard, Luc
Atallah, Slim Ben
Boyer, Fabienne
Riveill, Michel
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1997

Theme 1 - Reseaux et systemes. Projet SiracSIGLEAvailable from INIST (FR), Document Supply Service, ...

Decouverte automatique entre terminaux mobiles communicants

Troel, Arnaud
Weis, Frederic
Banatre, Michel
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 2003

Theme 1 - Reseaux et systemes - Projet ACESAvailable from INIST (FR), Document Supply Service, under...

Heterogeneous reactive systems modeling and correct-by-construction deployment

Benveniste, Albert
Carloni, Luca P.
Sangiovanni-Vincentelli, Alberto
Caspi, Paul
Institut National de Recherche en Informatique et en Automatique (INRIA), 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)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2003

Theme 1 - Reseaux et systemes - Projet S4SIGLEAvailable from INIST (FR), Document Supply Service, un...

Distributed monitoring of concurrent and asynchronous systems Extended version

Benveniste, Albert
Haar, Stefan
Jard, Claude
Fabre, Eric
Institut National de Recherche en Informatique et en Automatique (INRIA), 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)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2004

Systemes communicants - Projet DistriComSIGLEAvailable from INIST (FR), Document Supply Service, und...

Horloges de synchronisation pour systemes haute securite

Pascual, Nathalie

January 1992

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

Conception et mise en oeuvre d'un systeme d'entrees/sorties performant pour grappe

Utard, Gael
Morin, Christine
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 2004

Systemes communicants - Projet ParisAvailable from INIST (FR), Document Supply Service, under shelf-...

Les reseaux programmables 1.0

Festor, Olivier
Chrisment, Isabelle
Fleury, Eric
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 2000

Theme 1 - Reseaux et systemes - Projet RESEDASSIGLEAvailable from INIST (FR), Document Supply Servic...

Synchronisation des horloges : principes, protocole et proposition de deploiement sur le reseau de la DER

Vidrascu, A.
Langlois, S.
Electricite de France (EDF), 92 - Clamart (France). Dept. Ingenierie de la Communication en Informatique (ICI)
Electricite de France (EDF), 91 - Clamart (France). Direction des Etudes et Recherches (DER)

January 1996

Available at INIST (FR), Document Supply Service, under shelf-number : 26165 F, issue : a.1996 n.19 ...

Regimes electriques transitoires des liaisons souterraines

Dorison, E.
Bourgeat, X.
Qako, N.
Electricite de France (EDF), 91 - Clamart (France). Direction des Etudes et Recherches (DER)
Electricite de France (EDF), 77 - Moret-sur-Loing (France). Dept. Cables Condensateurs Materiel d'Automatisme Materiaux (CIMA)

January 1997

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 26165 B, issue : a.199...

Using conditions to expedite consensus in synchronous distributed systems

Mostefaoui, Achour
Rajsbaum, Sergio
Raynal, Michel
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 2003

Theme 1 - Reseaux et systemes - Projet ADPSIGLEAvailable from INIST (FR), Document Supply Service, u...

Systeme d'information spontane (SIS) Problematique et premiers elements de solutions

Banatre, Michel
Weis, Frederic
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 1998

Theme 1 - Reseaux et systemes. Projet SolidorAvailable from INIST (FR), Document Supply Service, und...

Asynchronous deployment od synchronous transition systems

Abstract

Extracted data

Asynchronous deployment od synchronous transition systems

Abstract

Extracted data

Related items

Related items