Précédent : Animations scientifiques Remonter :
Projet
ADP Suivant : Abstract
- Thèses
- 1
- L. BOISSEAU,
Evaluation de performances de multiplex de diffusion de
données multimedia dans un réseau numérique (DAB, DVB),
thèse de doctorat, Ifsic / université de Rennes 1, octobre
1996.
- 2
- E. FROMENTIN,
Détection de propriétés instables dans les exécutions
réparties, application au déverminage des programmes
répartis, thèse de doctorat, Ifsic / université de
Rennes 1, novembre 1996.
- Articles
- 3
- O. BABAO\UGLU, 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.
- 4
- R. BALDONI,
J. 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, 1997, à paraître.
- 5
- R. BALDONI,
Y. MANABE,
M. RAYNAL,
S. AOYAGY,
``k-Arbiter: A Safe and General Scheme for h-out of-k Mutual
Exclusion'', Theoretical Computer Science 184, octobre
1997, à paraître.
- 6
- R. BALDONI,
A. MOSTEFAOUI,
M. RAYNAL, ``Causal
Delivery of Messages with Real-Time Data in Unreliable
Networks'', Journal of Real-time Systems 10, 3, mai
1996, p. 245-262.
- 7
- R. BALDONI,
R. PRAKASH,
M. RAYNAL,
M. SINGHAL,
``Efficient delta-causal broadcasting'', Journal of
Computer Systems, 1996, à paraître.
- 8
- A. KSHEMKALYANI,
M. RAYNAL,
M. SINGHAL, ``An
introduction to Snapshot Algorithms in Distributed Computing'',
Journal of Distributed Systems Engineering 2, 4,
décembre 1995, p. 224-233.
- 9
- M. MIZUNO,
M. NEILSEN,
M. RAYNAL, ``An
Optimistic Protocol for a Linearizable Distributed Shared
Memory System'', Parallel Processing Letters 6, 2,
1996, p. 265-278.
- 10
- M. RAYNAL,
A. SCHIPER, ``From
Group Communication to Transactions in Distributed Systems'',
Communications of the ACM 39, 4, avril 1996,
p. 84-92.
- 11
- M. RAYNAL,
M. SINGHAL,
``Logical Time: Capturing Causality in Distributed Systems'',
IEEE Computer 29, 2, février 1996, p. 49-57.
- 12
- O. THEEL,
B. FLEISCH, ``Design
and Analysis of Highly Available and Scalable Coherence
Protocols for Distributed Shared Memory Systems using
Stochastic Modeling'', IEEE Trans. on Parallel and
Distributed Systems 7, 9, septembre 1996,
p. 915-930.
- 13
- O. THEEL,
B. FLEISCH, ``The
Boundary-Restricted Coherence Protocol for Scalable and Highly
Available Distributed Shared Memory Systems'', The Computer
Journal, 1996, à paraître.
- Communications à
congrès
- 14
- M. AHAMAD,
G. THIA-KIME, M. RAYNAL, ``From Serializable to Causal
Transactions'', in: Proc. of the 15th ACM Symposium on
Principles of Distributed Computing, Short communication,
p. 310-311, Philadelphia, PA, mai 1996.
- 15
- R. BALDONI,
J. 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), Shangai,
mars 1997.
- 16
- R. BALDONI,
J. HéLARY,
M. RAYNAL,
``Recording in Asynchronous Computations'', in: Proc. of
the 15th ACM Symposium on Principles of Distributed Computing,
Short communication, p. 55-56, Philadelphia, PA, mai
1996.
- 17
- R. BALDONI,
Y. MANABE,
M. RAYNAL,
S. AOYAGY,
``Quorum-Based Solutions to the h-out of-k Mutual
Exclusion Problem'', in: Proc of the 4th Int. Workshop on
Parallel Systems and Algorithms (PASA4), World Scientific
Pub. (E. Maelhe Ed.), Germany, avril 1996.
- 18
- R. BALDONI,
A. MOSTEFAOUI,
M. RAYNAL, ``Causal
Multicast in Unreliable Networks for Multimedia Applications'',
in: Proc of the 15th IEEE Int. Phoenix Conference on
Computers and Communications, p. 51-57, Phoenix, AZ,
mars 1996.
- 19
- R. BALDONI,
R. PRAKASH,
M. RAYNAL,
M. SINGHAL,
``Broadcast with Time and Causality Constraints for Multimedia
Applications'', in: Proc of the 22nd Euromicro
Conference, IEEE, p. 617-624, Prague, septembre
1996.
- 20
- R. BALDONI,
R. PRAKASH,
M. RAYNAL,
M. SINGHAL,
``Efficient Delta-Causal Broadcasting for Multimedia
Applications'', in: Proc. of the 15th ACM Symposium on
Principles of Distributed Computing, Short communication,
p. 89-90, Philadelphia, PA, mai 1996.
- 21
- B. COUSIN,
O. DURAND,
``Quadratic Shaping for Dynamic Bandwidth Allocation'', in:
Proc. of the 1st workshop on ATM Traffic Management,
Paris, décembre 1995.
- 22
- B. COUSIN,
J. ZHOU,
``Dual-Video-Scheme Videoconferencing'', in: Proc. of the
Int. Conf. on Multimedia Technology and Management,
Hong-Kong, décembre 1996.
- 23
- B. COUSIN,
J. ZHOU,
``Translation Gateway for Videoconferencing Systems'', in:
Proc. of the 3rd International Conference Communicating by
Image and Multimedia (ImageCom'96), Bordeaux, mai
1996.
- 24
- M. HURFIN,
M. MIZUNO,
M. RAYNAL,
M. SINGHAL,
``Efficient Distributed Detection of Conjunction of Local
Predicates in Asynchronous Computations'', in: Proc. of the
8th Int. IEEE Symposium on Parallel and Distributed
Processing, p. 589-593, New-Orleans, octobre
1996.
- 25
- M. HURFIN,
M. MIZUNO, ``A
Complete Set of Satisfaction Rules for Property Detection in
Distributed Computations'', in: Proc. of the 9th Int.
Conference on Parallel and Distributed Computing Systems
(PDCS'96), ISCA, p. 156-163, Dijon, septembre
1996.
- 26
- M. HURFIN,
M. RAYNAL,
``Detecting Diamond Decklaces in Labelled Directed Acyclic
Graphs (A Problem from Distributed Debugging)'', in: Proc
of the 22nd int. workshop on Graph Theoretic Concepts in
Computer Science, Springer-Verlag LNCS, Commo, Italie,
juin 1996.
- 27
- C. LIEBIG,
H. PAGNIA,
F. SCHWAPPACHER,
O. THEEL, ``A
Quality-of-Service Approach for Mobile Users of Replicated Data
in Distributed Systems'', in: Proc. of the 10th European
Simulation Multiconference, ESM96, SCS, p. 842-851,
Budapest, Hongrie, juin 1996.
- 28
- A. MOSTEFAOUI,
M. RAYNAL,
``Efficient Message Logging for Uncoordinated Checkpointing
Protocols'', in: Proc of the 2nd European Dependable
Computing Conference (EDCC2), Springer-Verlag LNCS 1150,
p. 353-364, Taormina, Italie, octobre 1996.
- 29
- A. MOSTEFAOUI,
``Bounded Timestamps for Causal Ordering Protocols'', in:
Proc. of the 9th Int. Conference on Parallel and Distributed
Computing Systems (PDCS'96), ISCA, p. 119-125, Dijon,
septembre 1996.
- 30
- H. PAGNIA,
C. LIEBIG,
O. THEEL, ``Mutual
Trust between Customers and Providers of Distributed
Services'', in: Proc. of the International Conference on
Networks, IASTED, p. 87-90, Orlando, FL, janvier
1996.
- 31
- N. PLOUZEAU,
G. THIA-KIME, ``Critères de cohérence dans
les systèmes distribués : état de l'art et un nouveau
critère'', in: Actes des Journées Systèmes et Applications
Répartis - CTI, Cnet, p. 53-62, Paris, février
1996.
- 32
- R. PRAKASH,
M. RAYNAL,
M. SINGHAL, ``An
Efficient Causal Ordering Algorithm for Mobile Computing
Environment'', in: Proc. of the 15th IEEE Int. Conf. on
Distributed Computing Systems, p. 744-751, Hong-Kong,
mai 1996.
- 33
- M. RAYNAL,
A. SCHIPER, ``A
Suite of Formal Definitions for Consistency Criteria in
Distributed Shared Memories'', in: Proc. of the 9th Int.
Conference on Parallel and Distributed Computing Systems
(PDCS'96), ISCA, p. 125-131, Dijon, septembre
1996.
- 34
- M. RAYNAL,
G. THIA-KIME, ``Weakening Transactions to Fit
the Need of Cooperative Applications'', in: Proc of the
Int. Conf. on Information, Systems, Analysis and Synthesis
(ISAS96), IIIS, p. 531-538, Orlando, juin 1996.
- 35
- M. RAYNAL, ``An
Informal Introduction to Distributed Algorithms'', in: Proc
of the Int. Conf. on Distributed systems (WoSid 96),
Salvador de Bahia, Brésil, mai 1996. Conférencier invité.
- 36
- O. THEEL,
B. FLEISCH,
``Analysis of a Fault-Tolerant Coherence Protocol for
Distributed Shared Memory Systems Under Heavy Write Load'',
in: Proc. of the Pacific Rim Intern Symposium on
Fault-Tolerant Systems, Newport Beach, CA, IEEE,
p. 146-151, décembre 1995.
- 37
- O. THEEL,
H. PAGNIA, ``Bounded
Dynamic Data Allocation in Distributed Systems'', in: Proc.
of the 3rd Intern. Conference on High Performance Computing
(HiPC), IEEE and ACM, Trivandrum, India, décembre
1996.
- 38
- O. THEEL,
M. RAYNAL, ``Static
and Dynamic Adaptation of Transactional Consistency'', in:
Proc. of the 30th Hawaii Int. Conference on Systems Sciences
(HICSS30), Hawaii, janvier 1997.
- 39
- G. THIA-KIME, ``Sérialisabilité causale : un
critère intermédiaire entre la sérialisabilité et la cohérence
causale'', in: Actes des Journées de recherche sur la
Mémoire Partagée Répartie (MPR'96), CNRS, p. 43-50,
Bordeaux, mai 1996.
- 40
- M. TUFAIL,
B. COUSIN, ``ABR
Congestion Control Schemes and the Multicast Problem'', in:
NDSU ATM Workshop, p. 27-37, North Dakota, USA, août
1996.
- Rapports de
recherche
- 41
- M. AHAMAD,
M. RAYNAL,
G. THIA-KIME, ``An Adaptive Architecture for
Causally Consistent Distributed Services'', rapport de
recherche n°1039, Irisa, juillet 1996.
http://www.irisa.fr/bibli/pi/1039/1039.html
- 42
- R. BALDONI,
J. HéLARY,
M. RAYNAL,
``Mutually Consistent Recording in Asynchronous Computations'',
rapport de recherche n°981, Irisa, janvier 1996.
http://www.irisa.fr/bibli/pi/981/981.html
- 43
- B. COUSIN,
G. VIHO, ``Masquage
de la perte de synchronisation pour les applications
multimédias réparties'', rapport de recherche n°2743,
Inria, décembre 1995.
http://www.inria.fr/RRRT/RR-2743.html
- 44
- B. COUSIN,
J. ZHOU,
``Multi-video-scheme videoconferencing applications'',
rapport de recherche n°978, Inria, décembre 1995.
http://www.irisa.fr/bibli/pi/pi978.html
- 45
- A. MOSTEFAOUI,
O. THEEL,
``Reduction of Timestamp Sizes for Causal Event Ordering'',
rapport de recherche n°1062, Irisa, novembre 1996.
http://www.irisa.fr/bibli/pi/1062/1062.html