2 options
Workshop on Self-Stabilizing Systems. 19th IEEE International Conference on Distributed Computing Systems : proceedings : May 31-June 4, 1999, Austin, Texas / sponsored by IEEE Computer Society, Technical Committee on Distributed Processing ; edited by Anish Arora.
Connect to full text Available online
View online- Format:
- Book
- Conference/Event
- Conference Name:
- International Conference on Distributed Computing Systems (19th : 1999 : Austin, Tex.)
- Language:
- English
- Subjects (All):
- Computer algorithms--Congresses.
- Computer algorithms.
- Computer networks--Congresses.
- Computer networks.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- v, 111 pages : illustrations
- Other Title:
- Self-stabilizing systems
- IEEE International Conference on Distributed Computing Systems
- Self-Stabilizing Systems, 1999, proceedings, 19th IEEE International Conference on Distributed Computing Systems Workshop on.
- Place of Publication:
- Los Alamitos, Calif. : IEEE Computer Society, [1999]
- System Details:
- Mode of access: World Wide Web.
- text file
- Contents:
- The FDDI MAC Meets Self-Stabilization / A. Costello, G. Varghese 1
- Stabilization of Maximal Metric Trees / M. Gouda, M. Schneider 10
- Scalable Self-Stabilization / S. Ghosh, X. He 18
- Parallel Composition of Stabilizing Algorithms / S. Dolev, T. Herman 25
- A Case-Study in Component-based Mechanical Verification of Fault-tolerant Programs / S. Kulkarni, J. Rushby, N. Shankar 33
- An Exercise in Proving Convergence through Transfer Functions / O. Theel, F. Gartner 41
- The Alternator / M. Gouda, F. Haddix 48
- Phase Synchronization on Asynchronous Uniform Rings with Odd Size / S. Huang, T. Liu 54
- Finite-State Self-Stabilizing Protocols in Message-Passing Systems / R. Howell, M. Nesterenko, M. Mizuno 62
- Self-Stabilizing Census with Cut-through Constraint / J. Beauquier, A. Datta, S. Tixeuil 70
- State-Optimal Snap-Stabilizing PIF in Tree Networks / A. Bui, A. Datta, F. Petit, V. Villain 78
- Self-Stabilizing Clock Synchronization in a Hierarchical Network / A. Ciuffoletti 86
- Self-Stabilizing Max-Heap / L. Alima 94
- Self-Stabilizing Load Distribution for Replicated Servers on a Per-Access Basis / F. Gartner, H. Pagnia 102.
- Notes:
- "IEEE Computer Society Order Number PR00228"--T.p. verso.
- Includes bibliographical references and author index.
- ISBN:
- 0769502288
- 9780769502281
- 0769502296
- 9780769502298
- OCLC:
- 41969412
- Access Restriction:
- Restricted for use by site license.
- Online:
- Table of contents
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.