Références

Articles et chapitres de livre

1

M. Ahuja, M. Raynal, ``An Implementation of Global Flush Primitives using Counters'', Parallel Processing Letters 5, 2, janvier 1995, p. 171--178.

2

O. Babaoglu, M. Raynal, ``Specification and Verification of Dynamic Properties in Distributed Computations'', Journal of Parallel and Distributed Computing 28, 2, 1995, p. 173--185.

3

R. Baldoni, B. Ciciani, ``A Class of High-Performance Maekawa-type Algorithms for Distributed Systems under Heavy Demand'', Distributed Computing 8, 4, 1995, p. 171--180.

4

R. Baldoni, A. Mostefaoui, M. Raynal, ``Causal Delivery of Messages with Real-Time Data in Unreliable Networks'', Journal of Real-time Systems, 1996, à paraître.

5

R. Baldoni, M. Raynal, ``A Graph-based Characterization of Communication Modes in Distributed Executions'', Foundation of Computing and Decision Sciences 20, 1, 1995, p. 3--20.

6

J. Brzezinsky, 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, 1, Novembre 1995.

7

J. Brzezinsky, J.-M. Hélary, M. Raynal, ``Distributed algorithms for static and dynamic termination detections'', Bulletin of Polish Academy of Sciences, 1995.

8

J. Brzezinsky, J.-M. Hélary, M. Raynal, ``Semantics of recovery lines for backward recovery in distributed systems'', Annales des Télécommunications, 1995, à paraître.

9

B. Cousin, ``Les méthodes d'accès des réseaux à haut débit'', Chapitre 8 du livre: Réseaux de communication et techniques formelles, Edition Hermès, 1995.

10

E. Fromentin, C. Jard, G. Jourdan, M. Raynal, ``On-the-fly Analysis of Distributed Computations'', Information Processing Letters 54, 1995, p. 267--274.

11

A. Kshemkalyani, M. Raynal, M. Singhal, ``An introduction to Snapshot Algorithms in Distributed Computing'', Journal of Distributed Systems Engineering, 1996, à paraître.

Communications à des congrès, colloques, etc.

12

O. Babaoglu, E. Fromentin, M. Raynal, ``Debugging distributed executions using language recognition'', in: Proc. of the 24th Int. Conf. on Parallel Processing (ICPP), Oconomowoc (WI), août 1995.

13

R. Baldoni, J. Brzezinski, J.-M. Hélary, A. Mostefaoui, M. Raynal, ``Modeling consistent checkpoints and the domino effect in large scale distributed systems'', in: Proc. of the 5th IEEE Int. Conf. on Future Trends of Distributed Computing Systems, Cheju, Corée, août 1995.

14

R. Baldoni, A. Mostefaoui, M. Raynal, ``Efficient Causally Ordered Communications for Multimedia Real-Time Applications'', in: Proc. of the 4th IEEE Int. Symposium on High Performance Distributed Computing (HPDC), Washington DC, août 1995.

15

R. Baldoni, A. Racciatti, B. Ciciani, ``Performance Evaluation of Distributed Concurrency Control Algorithms for Multidatabase Systems'', in: Proc. of the European Simulation Multiconference, Prague, juin 1995.

16

R. Baldoni, M. Raynal, ``Properties of communication modes in distributed systems'', in: Proc. of the 1st IEEE Conf. on Algorithms and Architectures for Parallel Processing ( ICA3P2 95), Brisbane (Australie), avril 1995.

17

R. Baldoni, ``A Symmetric Algorithm for Resource Allocation in Distributed Systems'', in: Proc. of the Int. Conf. on Parallel and Distibuted Computing, Kuwait City, mars 1995.

18

L. Boisseau, ``Service information modelling'', in: Proc. of the 10th Int. Conf. on Mathematical and Computer Modelling and Scientific Computing, Boston (USA), juillet 1995.

19

J. Brzezinski, J.-M. Hélary, M. Raynal, ``A general definition of deadlocks for distributed systems'', in: Proc. of the 1st IEEE Conf. on Algorithms and Architectures for Parallel Processing ( ICA3P2 95), Brisbane (Australie), avril 1995.

20

B. Cousin, ``Quadratic Shaping for Dynamic Bandwidth Allocation'', in: Proc. of the 1st workshop on ATM Traffic Management, Paris, septembre 1995.

21

E. Fromentin, V. Garg, A. Tomlinson, M. Raynal, ``Expressing and Detecting Control Flows Properties of Distributed Computations'', in: Proc. of the 7th Int. IEEE Symposium on Parallel and Distributed Processing, San Antonio, TX, octobre 1995.

22

E. Fromentin, C. Jard, G.-V. Jourdan, M. Raynal, ``Recognition of Patterns on Control Flows for Debugging Distributed Executions'', in: Proc. of the 2d Int. Workshop on Automated and Algorithmic Debugging (AADEBUG), Saint-Malo, mai 1995.

23

E. Fromentin, N. Plouzeau, M. Raynal, ``An Introduction to the Analysis and Debug of Distributed Computations'', in: Proc. of the 1st IEEE Conf. on Algorithms and Architectures for Parallel Processing ( ICA3P2 95), Brisbane (Australie), avril 1995.

24

E. Fromentin, M. Raynal, ``Characterizing and Detecting the set of Global States seen by all the Observers of a Distributed Computation'', in: Proc. of the 15th Int. IEEE Conf. on Distributed Comp. Systems, Vancouver, juin 1995.

25

M. Mizuno, M. Raynal, J. Zhou, ``Sequential Consistency in Distributed Systems'', in: Proc. of the Int. Workshop on Theory and Practice in Distributed Systems, K. Birman, F. Mattern, A. Schiper (réd.), LNCS 938 (Juillet 1995), Springer-Verlag, Dagstuhl, septembre 1994.

26

N. Plouzeau, M. Raynal, ``A look at replaying techniques for distributed executions'', in: Proc. of the 2d Int. Workshop on Automated and Algorithmic Debugging, Saint-Malo, mai 1995. papier invité.

27

M. Raynal, A. Schiper, ``From causal consistency to sequential consistency in shared memory systems'', in: Proc. of the 15th Int. Conf. on Foundations of Software Technology and Theoretical Computer Science (FST&TCS), LNCS, Springer-Verlag, Bangalore, India, décembre 1995.

28

M. Raynal, ``Analyzing and Debugging Distributed Executions'', in: Proc. of the Int. Conf. on Parallel and Distributed Computing, KU Press, Kuwait City, mars 1995. papier invité.

Rapports de recherche et publications internes

29

N. Badache, ``La mobilité dans les systèmes répartis'', rapport de recherche n°962, Irisa, novembre 1995.

30

R. Baldoni, J.-M. Hélary, A. Mostefaoui, M. Raynal, ``Consistent Checkpoints in Message Passing Distributed Systems'', rapport de recherche n°2564, Inria, mai 1995, Soumis à publication.

31

R. Baldoni, Y. Manabe, M. Raynal, ``k-arbiters: A Safe and General Scheme for h-ou of k Mutual Exclusion'', rapport de recherche n°2523, Inria, avril 1995, Soumis à publication.

32

R. Baldoni, S. Salza, ``Deadlock Detection in Multidatabase Systems: a Performance Analisys'', rapport de recherche n°949, Irisa, septembre 1995.

33

M. Hurfin, M. Mizuno, M. Raynal, M. Singhal, ``Efficient Distributed Detection of Conjunction of Local Predicates'', rapport de recherche n°967, Irisa, novembre 1995, Soumis à publication.

34

R. Prakash, M. Raynal, M. Singhal, ``An efficient causal ordering algorithm for mobile computing environments'', rapport de recherche n°955, Irisa, octobre 1995, Soumis à publication.