Projet Adp
Précédent : Diffusion des résultats
Remonter : Projet ADP, Algorithmes distribués et
- Ouvrages et articles de référence
de l'équipe
- 1
- O. BABAOGLU, E.
FROMENTIN, M.
RAYNAL,
« A Unified Framework for Expressing and Detecting Run-Time
Properties of Distributed Computations »,
Journal of Systems and Software, Numéro spécial sur
Software Engineering for Distributed Computing 33 , 3,
juin 1996, p. 287-298.
- 2
- R. BALDONI, J. M.
HÉLARY, A.
MOSTEFAOUI, M.
RAYNAL,
« A communication-induced checkpointing protocol that ensures
the rollback-dependency trackability property »,
in: Proc. of the 27th IEEE Symposium on Fault-Tolerant
Computing Systems (FTCS) , p. 68-77,
Seattle, WA, juin 1997.
- 3
- J. BRZEZINSKI, J. M.
HÉLARY, M.
RAYNAL, M.
SINGHAL,
« Deadlock models and a general algorithm for distributed
deadlock detection, »,
Journal of Parallel and Distributed Computing 31 , 2,
1995, p. 112-125.
- 4
- J. M. HÉLARY, A.
MOSTEFAOUI, M.
RAYNAL,
« A general scheme for token and tree based distributed mutual
exclusion algorithm »,
IEEE Transactions on Parallel and Distributed Systems
5 , 11, November 1994, p. 1185-1196.
- 5
- M. HURFIN, N.
PLOUZEAU, M.
RAYNAL,
« Detecting Atomic Sequences of Predicates in Distributed
Computations »,
in: Proc. of the ACM Conference on Parallel and Distributed
Debugging , p. 32-42,
San Diego, Californie, May 1993. Reprinted in SIGPLAN Notices,
vol. 28,12, December 1993.
- 6
- M. RAYNAL, A.
SCHIPER, S.
TOUEG,
« The Causal Ordering Abstraction and a Simple Way to implement
it »,
Information Processing Letters 39 , September 1991, p.
343-351.
- 7
- M. RAYNAL, M.
SINGHAL,
« Logical Time: Capturing Causality in Distributed Systems
»,
IEEE Computer 29 , 2, février 1996, p. 49-57.
- 8
- A. SCHIPER, M.
RAYNAL,
« From group communication to transactions in distributed
systems »,
Communications of the ACM 39 , 4, april 1996, p.
84-90.
- Thèses et habilitations à diriger
des recherches
- 9
- G.
THIA-KIME,
Critères de cohérence pour données partagées à support
réparti ,
thèse de doctorat, Université de Rennes 1, octobre 1997.
- Articles
- 10
- R. BALDONI, J. M.
HÉLARY, A.
MOSTEFAOUI, M.
RAYNAL,
« Consistent Checkpointing in Message Passing Distributed
Systems »,
International Journal of Systems Science, Numéro spécial
sur Distributed Systems 28 , 11, 1997, p. 1145-1161.
- 11
- R. BALDONI, J. M.
HéLARY, M.
RAYNAL,
« Consistent records in asynchronous computations »,
Acta Informatica , 1998,
à paraître.
- 12
- R. BALDONI, Y.
MANABE, M.
RAYNAL,
« k-Arbiter: A Safe and General Scheme for h-out of-k Mutual
Exclusion »,
Theoretical Computer Science , 1998,
à paraître.
- 13
- R. BALDONI, R.
PRAKASH, M.
SINGHAL, M.
RAYNAL,
« Efficient delta-causal broadcasting »,
Journal of Computer Systems Science and Engineering 13
, 1, janvier 1998.
- 14
- E. FROMENTIN, M.
RAYNAL,
« Shared Global States in Distributed Computations »,
Journal of Computer and System Sciences 55 , 3,
1997.
- 15
- V. GARG, M.
RAYNAL,
« Normality: a Consistency Condition for Concurrent Objects
»,
Parallel Processing Letters , 1998,
à paraître.
- 16
- R. GUERRAOUI, M.
RAYNAL, A.
SCHIPER,
« De la validation atomique au consensus: une approche
synthétique »,
Technique et Science Informatiques TSI (Numéro spécial sur
les bases de données) , 1998,
à paraître.
- 17
- J. M. HÉLARY, M.
HURFIN,
« Solving Agreement Problems with Failures Detectors : A Survey
»,
Annales des télécommunications , à paraître.
- 18
- J. M. HÉLARY, A.
MOSTEFAOUI, M.
RAYNAL,
« Points de contrôle cohérents dans les systèmes répartis:
concepts et protocoles »,
Technique et Science Informatiques (TSI) , 1998,
à paraître.
- 19
- M. HURFIN, M.
RAYNAL,
« On-the-fly detection of a class of words-based patterns in
labelled dags »,
Applied Mathematics and Computer Science 7 , 1, 1997,
p. 205-216.
- 20
- M. RAYNAL, A.
SCHIPER,
« A suite of definitions for consistency criteria in
distributed shared memories »,
Annales des Télécommunications , à paraître.
- 21
- M. RAYNAL,
« Non-Blocking Atomic Commitment in Distributed Systems: A
tutorial based on a generic protocol »,
Journal of Computer Systems Science and Engineering ,
1998,
à paraître.
- 22
- M. SINGHAL, R.
PRAKASH, M.
RAYNAL,
« An adaptive causal ordering algorithm suited to mobile
computing environments »,
Journal of Parallel and Distributed Computing 41 ,
mars 1997, p. 190-204.
- Communications à des manifestations
scientifiques
- 23
- M. AHAMAD, M.
RAYNAL,
« Exploiting Write Semantics in Implementing Partially
Replicated Causal Objects »,
in: Proc. 6th EUROMICRO Conference on Parallel and
Distributed Processing (PDP'98) ,
Madrid, janvier 1998.
- 24
- C. BAE, G.
THIA-KIME,
« Implementing train applications based on the distributed
shared memory paradigm »,
in: Proc. of the 14th IFIP/IFAC Int. Conf. on Distributed
Computer Control Systems (DCCS'97) , IFIP, p. 191-196,
Séoul, juillet 1997.
- 25
- R. BALDONI, J. M.
HÉLARY, A.
MOSTEFAOUI, M.
RAYNAL,
« Consistent State Restoration in Shared Memory Systems »,
in: Proc. of the Int. IEEE Conference on Advances in
Parallel and Distributed Computing (APDC'97) , p.
330-337,
Shangai, mars 1997.
- 26
- B. COUSIN, M.
TUFAIL,
« Enhanced Weighted Fair Queuing scheme ensuring accurate
inter-packets spacing »,
in: Proc. of 2nd worshop on Traffic Management and
Synthesis of ATM Networks (WATM'97) , IFIP,
Montréal, Canada, septembre 1997.
- 27
- J. M. HÉLARY, A.
MOSTEFAOUI, M.
RAYNAL,
« Cycle prevention in distributed checkpointing »,
in: Proc. Int Conf. on Principles of Distributed Systems
(OPODIS'97) ,
Chantilly, France, décembre 1997. Article invité.
- 28
- J. M. HÉLARY, A.
MOSTEFAOUI, R. H. B.
NETZER, M.
RAYNAL,
« Preventing useless checkpoints in distributed computations
»,
in: Proc. of hte 16th IEEE Symposium on Reliable
Distributed Systems (SRDS) , p. 183-190,
Duham, octobre 1997.
- 29
- J. M. HÉLARY, A.
MOSTEFAOUI, M.
RAYNAL,
« Virtual precedence in asynchronous systems: concept and
applications »,
in: Proc. of the 11th Int. Workshop on Distributed
Algorithms (WDAG'97) , LNCS 1320, p. 170-185,
Saarbrucken, septembre 1997.
- 30
- M. HURFIN, F.
TRONEL, M.
RAYNAL,
« A Practical Building Block For Solving Agreement Problems in
Asynchronous Distributed Systems »,
in: Proc. of the IEEE International Performance, Computing,
and Communications Conference (IPCCC'98) ,
Phoenix, Arizona, février 1998.
- 31
- M. HURFIN, F.
TRONEL,
« A Solution to Atomic Commitment Based on an Extended
Consensus Protocol »,
in: Proc. the Sixth IEEE Workshop on Future Trends of
Distributed Computing Systems , p. 98-103,
Tunis, Tunisie, octobre 1997.
- 32
- M. RAYNAL, G.
THIA-KIME,
M. AHAMAD,
« From serializable to causal transactions for collaborative
applications »,
in: Proc. of the 23rd EUROMICRO Conference , p.
314-321,
Budapest, septembre 1997.
- 33
- M. RAYNAL,
« A case study of agreement problems in distributed systems
»,
in: Proc. 2d Int. IEEE Workshop on High Assurance Systems
Engineering (HASE) , p. 156-164,
Whashington DC, août 1997.
- 34
- M. RAYNAL,
« Real-time dependable decisions in timed asynchronous
distributed systems »,
in: Proc. of the 3rd Int. IEEE Workshop on Object-Oriented
Real-Time Distributed Systems (WORDS 97) , p. 283-290,
New Port Beach, CA, février 1997.
- 35
- G.
THIA-KIME,
« Consensus : une brique de base dans les systèmes répartis
»,
in: Actes des Rencontres doctorales (SPI'97) ,
Rennes, mai 1997.
- 36
- M. TUFAIL, B.
COUSIN,
« An Extended Weighted Fair Queuing (EWFQ) algorithm for
broadband applications inculding multicast traffic »,
in: Proc. Broadband Networking Technologies part of Voice,
Video, and Data Communications , SPIE-The International
Society for Optical Engineering,
Dallas, TX, novembre 1997.
- 37
- M. TUFAIL, B.
COUSIN,
« Proposing a new queue service scheme for ABR multicast flow
»,
in: Proc. of the IEEE Parallel and Distributed Computing
and Networks Conference (PDCN'97) , p. 15-18,
Singapore, août 1997.
- Rapports de
recherche
- 38
- N. BADACHE, M.
HURFIN, R.
MACêDO,
« Solving the Consensus Problem in a Mobile Environment »,
rapport de recherche No 1146, Irisa, novembre 1997.
- 39
- R. BALDONI, J. M.
HÉLARY,
M. RAYNAL,
« Rollback-Dependency Trackability: An Optimal Characterization
and its Protocol »,
rapport de recherche No 1107, Irisa, mai 1997.
- 40
- J. M.
HÉLARY,
A. MOSTEFAOUI, R. H. B.
NETZER, M.
RAYNAL,
« Communication-induced determination of consistent snapshots
»,
rapport de recherche No 1126, Irisa, septembre 1997.
- 41
- J. M.
HÉLARY,
R. H. B. NETZER, M.
RAYNAL,
« Consistency Issues in Distributed Systems »,
rapport de recherche No 1106, Irisa, mai 1997.
- 42
- M. HURFIN, M.
RAYNAL,
« Fast Asynchronous Consensus Based on a Weak Failure Detector
»,
rapport de recherche No 1118, Irisa, juillet 1997.
- Bibliographie
générale
- BFR96
- Özalp Babaoglu, Eddy Fromentin, and Michel Raynal.
A unified framework for the specification and run-time
detection of dynamic properties in distributed
computations.
The Journal of Systems and Software, 3(33):287-298,
1996.
Special issue on Software Engineering for Distributed
Computing.
- BHMR95
- J. Brzezinski, J.M. Hélary, A. Mostefaoui, and M.
Raynal.
Semantics of recovery lines for backward recovery in
distributed systems.
Annales des Télécommunications, 50(11-12):874-887,
1995.
- Bir97
- K.P. Birman.
Building secure reliable applications.
Manning Pub Co., page 591 pages., 1997.
- CG95
- Craig M. Chase and Vijay Kumar Garg.
Efficient detection of restricted classes of global
predicates.
In Jean-Michel Hélary and Michel Raynal, editors, 9th
International Workshop on Distributed Algorithms
(WDAG'95), pages 303-317. Springer-Verlag, LNCS 972,
1995.
- CHT96
- T. Chandra, V. Hadzilacos, and S. Toueg.
The weakest failure detector for solving consensus.
Journal of the ACM, 43(4):685-722, July 1996.
- CL85
- K.M. Chandy and L. Lamport.
Distributed snapshots: Determining global states of distributed
systems.
ACM TOCS, pages 63-75, February 1985.
- CT96
- T. Chandra and S. Toueg.
Unreliable failure detectors for reliable distributed
systems.
Journal of the ACM, 34(1):225-267, March 1996.
- EJW96
- E.N. Elnozahy, D.B. Johnson, and Y.M. Wang.
A survey of rollback-recovery protocols in message-passing
systems.
Technical Report CMU-CS-96-181, Carnegie-Mellon University,
1996.
- FC96
- C. Fetzer and F. Cristian.
Fail-awareness in timed asynchronous systems.
In Proc. of the fifteenth ACM Symposium on Principles of
Distributed Computing (PODC'96), Philadelphie, May
1996.
- FLP85
- M.J. Fischer, N. Lynch, and M.S. Paterson.
Impossibility of distributed consensus with one faulty
process.
Journal of the ACM, 32(2):374-382, April 1985.
- GW94
- Vijay Kumar Garg and Brian Waldecker.
Detection of weak unstable predicates in distributed
programs.
IEEE Trans. on Parallel and Distributed Systems,
5(3):299-307, 1994.
- NX95
- R.H.B. Netzer and J. Xu.
Necessary and sufficient conditions for consistent global
snapshots.
IEEE Transactions on Parallel and Distributed Systems,
6(2):165-169, 1995.
- Ran75
- B. Randell.
System structure for software fault-tolerance.
IEEE Transactions on Software Engineering,
SE1(2):220-232, 1975.
- SM94
- Reinhard Schwarz and Friedemann Mattern.
Detecting causal relationships in distributed computations : In
search of the holy grail.
Distributed Computing, 7(3):149-174, 1994.
- Wan97
- Y.M. Wang.
Consistent global checkpoints that contain a given set of local
checkpoints.
IEEE Transactions on Computers, 46(4):456-468,
1997.