Distributed reactive machines

Generation de plans de reprise de service pour les reseaux de distribution d'EDF

Cordier, Marie-Odile
Jehl, Olivier
Krivine, Jean-Paul
Thiebaux, Sylvie
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)
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 1996

Theme 3 - Interaction homme-machine, images, donnees, connaissances. Projet RepcoSIGLEAvailable at I...

Le probleme de tournees de vehicules Etude et resolution approchee

Rego, Cesar
Roucairol, Catherine
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1994

Programme 1 : architectures paralleles, bases de donnees, reseaux et systemes distribuesAvailable at...

La programmation en Junior

Boussinot, Frederic
Hazard, Laurent
Susini, Jean-Ferdy
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2000

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

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

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

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

The Junior reactive kernel

Hazard, Laurent
Susini, Jean-Ferdy
Boussinot, Frederic
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1999

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

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

Utilisation de processus legers pour l'execution de programmes a parallelisme de donnees : etude experimentale

Perez, Christian
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1996

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

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

Reseaux rearrangeables a commutateurs a lamelles

Darrot, Eric
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2000

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

Strenghtening distributed protocols to handle tougher failures

Baldoni, Roberto
Helary, Jean-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 2002

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

Peer-to-peer distributed shared memory ?

Antoniu, Gabriel
Bouge, Luc
Jan, Mathieu
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 ParisSIGLEAvailable from INIST (FR), Document Supply Service,...

Generation of distributed parallel Java programs

Launay, Pascale
Pazat, Jean-Louis
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 CAPSSIGLEAvailable from INIST (FR), Document Supply Service, ...

Analyse des langages et modeles de la mobilite

Boudol, Gerard
Germain, Florence
Lacoste, Marc
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2000

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

Generation de plans de reprise de service pour les reseaux de distribution d'EDF

Cordier, Marie-Odile
Jehl, Olivier
Krivine, Jean-Paul
Thiebaux, Sylvie
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)
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 1996

Theme 3 - Interaction homme-machine, images, donnees, connaissances. Projet RepcoSIGLEAvailable at I...

Le probleme de tournees de vehicules Etude et resolution approchee

Rego, Cesar
Roucairol, Catherine
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1994

Programme 1 : architectures paralleles, bases de donnees, reseaux et systemes distribuesAvailable at...

La programmation en Junior

Boussinot, Frederic
Hazard, Laurent
Susini, Jean-Ferdy
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2000

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

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

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

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

The Junior reactive kernel

Hazard, Laurent
Susini, Jean-Ferdy
Boussinot, Frederic
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1999

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

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

Utilisation de processus legers pour l'execution de programmes a parallelisme de donnees : etude experimentale

Perez, Christian
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1996

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

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

Reseaux rearrangeables a commutateurs a lamelles

Darrot, Eric
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2000

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

Strenghtening distributed protocols to handle tougher failures

Baldoni, Roberto
Helary, Jean-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 2002

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

Peer-to-peer distributed shared memory ?

Antoniu, Gabriel
Bouge, Luc
Jan, Mathieu
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 ParisSIGLEAvailable from INIST (FR), Document Supply Service,...

Generation of distributed parallel Java programs

Launay, Pascale
Pazat, Jean-Louis
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 CAPSSIGLEAvailable from INIST (FR), Document Supply Service, ...

Analyse des langages et modeles de la mobilite

Boudol, Gerard
Germain, Florence
Lacoste, Marc
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2000

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

Generation de plans de reprise de service pour les reseaux de distribution d'EDF

Cordier, Marie-Odile
Jehl, Olivier
Krivine, Jean-Paul
Thiebaux, Sylvie
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)
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 1996

Theme 3 - Interaction homme-machine, images, donnees, connaissances. Projet RepcoSIGLEAvailable at I...

Le probleme de tournees de vehicules Etude et resolution approchee

Rego, Cesar
Roucairol, Catherine
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1994

Programme 1 : architectures paralleles, bases de donnees, reseaux et systemes distribuesAvailable at...

La programmation en Junior

Boussinot, Frederic
Hazard, Laurent
Susini, Jean-Ferdy
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2000

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

Distributed reactive machines

Abstract

Extracted data

Distributed reactive machines

Abstract

Extracted data

Related items

Related items