Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

110 résultats
Page :
triés par
Image document

On-line model-checking for finite linear temporal logic specifications

 Claude Jard , Thierry Jéron
[Research Report] RR-1041, INRIA. 1989
Rapport inria-00075517v1
Image document

Prime numbers as a tool to design distributed algorithms

 Michel Raynal
[Research Report] RR-1001, INRIA. 1989
Rapport inria-00075558v1
Image document

Un compilateur Estelle multi-processeurs pour l'expérimentation d'algorithmes distribués sur machines parallèles

 Claude Jard , Jean-Marc Jézéquel
[Rapport de recherche] RR-0993, INRIA. 1989
Rapport inria-00075566v1
Image document

Une introduction a quelques techniques du controle distribué à travers un exemple

 Noël Plouzeau , Michel Raynal , Jean-Pierre Verjus
[Rapport de recherche] RR-0522, INRIA. 1986
Rapport inria-00076032v1
Image document

A distributed algorithm for mutual exclusion in an arbitrary network

 Jean-Michel Hélary , Noël Plouzeau , Michel Raynal
[Research Report] RR-0496, INRIA. 1986
Rapport inria-00076058v1
Image document

On-the-Fly Analysis of Distributed Computations

 Eddy Fromentin , Claude Jard , Guy-Vincent Jourdan , Michel Raynal
[Research Report] RR-2595, INRIA. 1995
Rapport inria-00074088v1
Image document

How to find his way in the jungle of consistency criteria for distributed objects memories (or how to escape from Minos'labyrinth)

 Michel Raynal , Masaaki Mizuno
[Research Report] RR-1962, INRIA. 1993
Rapport inria-00074711v1

Early Stopping in Global Data Computation

 Carole Delporte-Gallet , Hugues Fauconnier , Jean-Michel Helary , Michel Raynal
IEEE Transactions on Parallel and Distributed Systems, 2003, 14(9), pp.909-921
Article dans une revue hal-00130802v1
Image document

Synchronization loss and concealment mechanisms in distributed multimedia application

 Richard Castanet , Bernard Cousin , César Viho
Franco-Israelian Workshop on Distributed Algorithms and Systems, Michel Raynal, Oct 1994, Saint-Malo, France. pp.1-10
Communication dans un congrès hal-01001338v1
Image document

Efficient Message Logging for Uncoordinated Checkpointing Protocols

 Achour Mostefaoui , Michel Raynal
[Research Report] RR-2972, INRIA. 1996
Rapport inria-00073726v1
Image document

Primary Component Asynchronous Group Membership as an Instance of a Generic Agreement Framework

 Fabiola Greve , Michel Hurfin , Michel Raynal , Frédéric Tronel
[Research Report] RR-3856, INRIA. 2000
Rapport inria-00072800v1
Image document

On Modeling Consistent Checkpoints and the Domino Effect in Distributed Systems

 Roberto Baldoni , Jean-Michel Hélary , Achour Mostefaoui , Michel Raynal
[Research Report] RR-2569, INRIA. 1995
Rapport inria-00074112v1
Image document

On-the-fly replay : a practical paradigm and its implementation for distributed debugging

 O. Gerstel , Michel Hurfin , Noël Plouzeau , Michel Raynal , S. Zaks
[Research Report] RR-1984, INRIA. 1993
Rapport inria-00074688v1
Image document

Detecting Diamond Necklaces in Labeled Dags (A Problem from Distributed Debugging)

 Michel Hurfin , Michel Raynal
[Research Report] RR-2838, INRIA. 1996
Rapport inria-00073852v1
Image document

From Serializable to Causal Transactions for Collaborative Applications

 Michel Raynal , G. Thia-Kime , M. Ahamad
[Research Report] RR-2802, INRIA. 1996
Rapport inria-00073888v1
Image document

Causal Deliveries in Unreliable Networks With Real-Time Delivery Constraints

 Roberto Baldoni , Achour Mostefaoui , Michel Raynal
[Research Report] RR-2427, INRIA. 1994
Rapport inria-00074248v1
Image document

Semantics of Recovery Lines for Backward Recovery in Distributed Systems

 Jerzy Brzezinski , Jean-Michel Hélary , Michel Raynal
[Research Report] RR-2468, INRIA. 1995
Rapport inria-00074207v1
Image document

An Implementation of Global Flush Primitives Using Counters

 M. Ahuja , Michel Raynal
[Research Report] RR-2395, INRIA. 1994
Rapport inria-00074280v1
Image document

Evaluation des performances d'un noyau de simulation répartie

 Philippe Ingels , Carlos Maziero
[Rapport de recherche] RR-1751, INRIA. 1992
Rapport inria-00076991v1
Image document

Synchronization and concurrency measures for distributed computations

 Michel Raynal , Masaaki Mizuno , Mitchell L. Neilsen
[Research Report] RR-1539, INRIA. 1991
Rapport inria-00075023v1
Image document

About logical clocks for distributed systems

 Michel Raynal
[Research Report] RR-1534, INRIA. 1991
Rapport inria-00075028v1
Image document

A O(log2n) fault-tolerant distributed mutual exclusion algorithm based on open-cube structure

 Jean-Michel Hélary , Achour Mostefaoui
[Research Report] RR-2041, INRIA. 1993
Rapport inria-00074630v1
Image document

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

 André Couvert , René Pedrono , Michel Raynal
[Research Report] RR-1280, INRIA. 1990
Rapport inria-00075279v1
Image document

Partage d'objets dans les systèmes distribués. Principes des ramasse-miettes

 André Couvert , Aomar Maddi , René Pedrono
[Rapport de recherche] RR-0963, INRIA. 1989
Rapport inria-00075596v1
Image document

Spécification et validation d'un protocole de communication adapté au temps réel

 Philippe F.R. Belmans , Omar Drissi-Kaitouni
[Rapport de recherche] RR-0594, INRIA. 1986
Rapport inria-00075960v1
Image document

Calculs d'états globaux remarquables dans un système réparti

 Jean-Michel Hélary , Noël Plouzeau , Michel Raynal
[Rapport de recherche] RR-0816, INRIA. 1988
Rapport inria-00075735v1
Image document

Un algorithme distribué d'affectation d'identités distinctes aux sites d'un système réparti anonyme

 Jean-Michel Hélary , Michel Raynal
[Rapport de recherche] RR-0806, INRIA. 1988
Rapport inria-00075745v1
Image document

A multi-processor Estelle to C compiler to experiment distributed algorithms on parallel machines

 Claude Jard , Jean-Marc Jézéquel
9th IFIP International Workshop on Protocol Specification, Testing and Verification, University of Twente, 1989, The Netherlands, Netherlands
Communication dans un congrès hal-00765072v1
Image document

The causal ordering abstraction and a simple way to implement it

 Michel Raynal , André Schiper
[Research Report] RR-1132, INRIA. 1989
Rapport inria-00075427v1
Image document

Vers une problématique de l'algorithmique répartie

 Jean-Michel Hélary , Michel Raynal
[Rapport de recherche] RR-1044, INRIA. 1989
Rapport inria-00075514v1
Page :