Inevitable global states A concept to detect properties of distributed computations

Early stopping in global data computation

Delporte, Carole
Fauconnier, Hugues
Raynal, Michel
Helary, Jean-Michel
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 2002

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

Observation of Global Properties in Distributed Systems

Vijay K. Garg

January 1996

Observation of global properties of a distributed program is required in many applications such as d...

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

Local states in distributed computations A few relations and formulas

Fromentin, Eddy
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 1994

Programme 1 : architectures paralleles, bases de donnees, reseaux et systemes distribues. Projet Adp...

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

Sequence-based global predicates for distributed computations : definitions and detection algorithms

Babaoglu, Ozalp
Raynal, Michel
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 1993

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

Inevitable Global States: a Concept to Detect Unstable Properties of Distributed Computations in an Observer Independent Way

Fromentin, Eddy
Raynal, Michel

January 1994

When analyzing, testing or debugging a distributed program, an important question one has to answer ...

Expressing and detecting control flow properties of distributed computations

Garg, Vijay K.
Tomlinson, Alex
Raynal, Michel
Fromentin, Eddy
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 1994

Programme 1 - Architecture paralleles, bases de donnees, reseaux et systemes distribues. Projets Adp...

When all the observers of a distributed computation do agree

Fromentin, Eddy
Raynal, Michel
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...

Tracking immediate predecessors in distributed computations

Raynal, M.
Helary, J.M.
Anceaume, E.
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)
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 2000

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

Computing global functions in asynchronous distributed systems with process crashes

Raynal, Michel
Mostefaoui, Achour
Helary, Jean-Michel
Hurfin, Michel
Tronel, Frederic
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (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)
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 1999

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

Communication-based prevention of useless checkpoints in distributed computations

Helary, Jean-Michel
Mostefaoui, Archour
Raynal,= Michel
Netzer, Robert
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)
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)

January 1997

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

An alternate representation of distributed computations

Valot, Celine
Fortin, Dominique
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1993

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

Distributed simulation of parallel computers

Prylli, Loic
Tourancheau, Bernard
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1996

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

Measuring concurrency of regular distributed computations

Bareau, Cyrille
Caillaud, Benoit
Jard, Claude
Thoroval, Rene
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 1994

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

Early stopping in global data computation

Delporte, Carole
Fauconnier, Hugues
Raynal, Michel
Helary, Jean-Michel
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 2002

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

Observation of Global Properties in Distributed Systems

Vijay K. Garg

January 1996

Observation of global properties of a distributed program is required in many applications such as d...

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

Local states in distributed computations A few relations and formulas

Fromentin, Eddy
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 1994

Programme 1 : architectures paralleles, bases de donnees, reseaux et systemes distribues. Projet Adp...

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

Sequence-based global predicates for distributed computations : definitions and detection algorithms

Babaoglu, Ozalp
Raynal, Michel
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 1993

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

Inevitable Global States: a Concept to Detect Unstable Properties of Distributed Computations in an Observer Independent Way

Fromentin, Eddy
Raynal, Michel

January 1994

When analyzing, testing or debugging a distributed program, an important question one has to answer ...

Expressing and detecting control flow properties of distributed computations

Garg, Vijay K.
Tomlinson, Alex
Raynal, Michel
Fromentin, Eddy
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 1994

Programme 1 - Architecture paralleles, bases de donnees, reseaux et systemes distribues. Projets Adp...

When all the observers of a distributed computation do agree

Fromentin, Eddy
Raynal, Michel
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...

Tracking immediate predecessors in distributed computations

Raynal, M.
Helary, J.M.
Anceaume, E.
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)
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 2000

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

Computing global functions in asynchronous distributed systems with process crashes

Raynal, Michel
Mostefaoui, Achour
Helary, Jean-Michel
Hurfin, Michel
Tronel, Frederic
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (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)
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 1999

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

Communication-based prevention of useless checkpoints in distributed computations

Helary, Jean-Michel
Mostefaoui, Archour
Raynal,= Michel
Netzer, Robert
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)
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)

January 1997

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

An alternate representation of distributed computations

Valot, Celine
Fortin, Dominique
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1993

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

Distributed simulation of parallel computers

Prylli, Loic
Tourancheau, Bernard
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1996

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

Measuring concurrency of regular distributed computations

Bareau, Cyrille
Caillaud, Benoit
Jard, Claude
Thoroval, Rene
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 1994

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

Early stopping in global data computation

Delporte, Carole
Fauconnier, Hugues
Raynal, Michel
Helary, Jean-Michel
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 2002

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

Observation of Global Properties in Distributed Systems

Vijay K. Garg

January 1996

Observation of global properties of a distributed program is required in many applications such as d...

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

Inevitable global states A concept to detect properties of distributed computations

Abstract

Extracted data

Inevitable global states A concept to detect properties of distributed computations

Abstract

Extracted data

Related items

Related items