Synchronous distributed algorithms : a proof system

Designing real-time dependable distributed systems

Le Lann, Gerard
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1991

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

Algorithms and tools for (distributed) heterogeneous computing : a prospective report

Mehaut, J.F.
Robert, Y.
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

January 1999

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

Performance des algorithmes branch and bound paralleles a strategie meilleur d'abord

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

January 1992

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

Synchronous distributed algoriths : a proof system

Adam, Michel
Hélary, Jean-Michel

January 1990

Simulating synchronism on asynchronous networks allows to design synchronous distributed algorithms....

Probalistic analysis of some distributed algorithms

Schott, Rene
Louchard, Guy
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Vandoeuvre-les-Nancy (France). Unite de Recherche de Lorraine

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 ...

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

Implementation and evaluation of distributed synchronization on a distributed memory parallel machine

Couvert, Andre
Pedrono, Rene
Rayal, Michel
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 ...

Systematic building of a distributed recursive algorithm Example : the shortest path algorithm

Florin, Gerard
Gomez, Roberto
Lavallee, Ivan
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1993

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

Analyse et choix d'algorithmes decentralises pour la synchronisation des horloges physiques dans les systemes temps reel et repartis

Bouzelat, A.
Mammeri, Z.
Thomesse, J.P.
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1991

Paru dans : Proceedings workshop on artificial intelligence, logic programming, parallel computing a...

Mutually consistent recording in asynchronous computations

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

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

Elements for a course on the design of distributed algorithms

Plouzeau, Noel
Raynal, Michel
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
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)

January 1992

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

Determiner un etat global dans un systeme reparti

Raynal, Michel
Mostefaoui, Achour
Helary, Jean-Michel
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)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1993

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

Synchronization and concurrency measures for distributed computations

Raynal, Michel
Mizuno, Masaaki
Neilsen, Mitchell L.
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
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)

January 1991

IRISA - Publication interne no 610, 20 p., octobre 1991SIGLEAvailable at INIST (FR), Document Supply...

Sequential consistency in distributed systems : theory and implementation

Mizuno, M.
Raynal, M.
Zhou, J.Z.
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)
Rennes-1 Univ., 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 1994

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

Algorithmic issues for (distributed) heterogeneous computing platforms Extended abstract

Boudet, Vincent
Rastello, Fabrice
Robert, Yves
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

January 1999

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

Designing real-time dependable distributed systems

Le Lann, Gerard
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1991

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

Algorithms and tools for (distributed) heterogeneous computing : a prospective report

Mehaut, J.F.
Robert, Y.
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

January 1999

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

Performance des algorithmes branch and bound paralleles a strategie meilleur d'abord

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

January 1992

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

Synchronous distributed algoriths : a proof system

Adam, Michel
Hélary, Jean-Michel

January 1990

Simulating synchronism on asynchronous networks allows to design synchronous distributed algorithms....

Probalistic analysis of some distributed algorithms

Schott, Rene
Louchard, Guy
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Vandoeuvre-les-Nancy (France). Unite de Recherche de Lorraine

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 ...

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

Implementation and evaluation of distributed synchronization on a distributed memory parallel machine

Couvert, Andre
Pedrono, Rene
Rayal, Michel
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 ...

Systematic building of a distributed recursive algorithm Example : the shortest path algorithm

Florin, Gerard
Gomez, Roberto
Lavallee, Ivan
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1993

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

Analyse et choix d'algorithmes decentralises pour la synchronisation des horloges physiques dans les systemes temps reel et repartis

Bouzelat, A.
Mammeri, Z.
Thomesse, J.P.
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1991

Paru dans : Proceedings workshop on artificial intelligence, logic programming, parallel computing a...

Mutually consistent recording in asynchronous computations

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

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

Elements for a course on the design of distributed algorithms

Plouzeau, Noel
Raynal, Michel
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
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)

January 1992

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

Determiner un etat global dans un systeme reparti

Raynal, Michel
Mostefaoui, Achour
Helary, Jean-Michel
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)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1993

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

Synchronization and concurrency measures for distributed computations

Raynal, Michel
Mizuno, Masaaki
Neilsen, Mitchell L.
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
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)

January 1991

IRISA - Publication interne no 610, 20 p., octobre 1991SIGLEAvailable at INIST (FR), Document Supply...

Sequential consistency in distributed systems : theory and implementation

Mizuno, M.
Raynal, M.
Zhou, J.Z.
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)
Rennes-1 Univ., 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 1994

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

Algorithmic issues for (distributed) heterogeneous computing platforms Extended abstract

Boudet, Vincent
Rastello, Fabrice
Robert, Yves
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

January 1999

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

Designing real-time dependable distributed systems

Le Lann, Gerard
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1991

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

Algorithms and tools for (distributed) heterogeneous computing : a prospective report

Mehaut, J.F.
Robert, Y.
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

January 1999

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

Performance des algorithmes branch and bound paralleles a strategie meilleur d'abord

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

January 1992

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

Synchronous distributed algorithms : a proof system

Abstract

Extracted data

Synchronous distributed algorithms : a proof system

Abstract

Extracted data

Related items

Related items