13. ICDCS 1993: Pittsburgh, PA, USA

Proceedings of the 13th International Conference on Distributed Computing Systems. May 25-28, 1993, Pittsburgh, Pennsylvania, USA. IEEE Computer Society Press, 1993, ISBN 0-8186-3770-6

Distributed File Systems

Darryl L. Willick, Derek L. Eager, Richard B. Bunt: Disk Cache Replacement Policies for Network Fileservers. 2-11 BibTeX
Lothar Borrmann, Soufiane Noureddine: A Subsystem for Swapping and Mapped File I/O on Top of CHORUS. 12-19 BibTeX
Kazuhiko Kato, Atsunobu Narita, Shigekazu Inohara, Takashi Masuda: Distributed Shared Repository: A Unified Approach to Distribution and Persistency. 20-29 BibTeX

Development Tools and Services

Herman C. Rao: Distributed Application Framework for Large Scale Distributed Systems. 31-38 BibTeX
Robert Tolksdorf: Laura: A Coordination Language for Open Distributed Systems. 39-46 BibTeX
Hiroshi Nishikawa, Peter Steenkiste: A General Architecture for Load Balancing in a Distributed-Memory Environment. 47-54 BibTeX

Distributed System Theory

Keith Shafer, Mohan Ahuja: Distributed Modeling and Implementation of High Performance Communication Architectures. 56-65 BibTeX
K. Ravindran, A. Thenmozhi: Extraction of Logical Concurrency in Distributed Applications. 66-73 BibTeX
Shing-Tsaan Huang, Jehn-Ruey Jiang, Yu-Chen Kuo: K-Coteries for Fault-Tolerant K Entries to a Critical Section. 74-81 BibTeX

Distributed System Architectures

Sanjay R. Radia, Jan K. Pachl: Coherence in Naming in Distributed Computing Environments. 83-92 BibTeX
Dinesh C. Kulkarni, Arindam Banerji, Michael R. Casey, David L. Cohn: Structuring Distributed Shared Memory with the pi Architecture. 93-100 BibTeX
Christine Hofmeister, James M. Purtilo: Dynamic Reconfiguration in Distributed Systems: Adapting Software Modules for Replacement. 101-110 BibTeX

Distributed Directory Services

Jean-Chrysostome Bolot, Hossam Afifi: Evaluating Caching Schemes for the X.500 Directory System. 112-119 BibTeX
Joann J. Ordille, Barton P. Miller: Distributed Active Catalogs and Meta-Data Caching in Descriptive Name Services. 120-129 BibTeX
M. Frans Kaashoek, Andrew S. Tanenbaum, Kees Verstoep: Using Group Communication to Implement a Fault-Tolerant Directory Service. 130-139 BibTeX

Protocol Engineering

Teruo Higashino, Kozo Okano, Hiroshi Imajo, Kenichi Taniguchi: Deriving Protocol Specifications from Service Specifications in Extended FSM Models. 141-148 BibTeX
Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali: A Formal Assessment of Synchronous Testability for Communicating Systems. 149-156 BibTeX
Abderrazak Ghedamsi, Gregor von Bochmann, Rachida Dssouli: Diagnosis of Single Transition Faults in Communicating Finite State Machines. 157-166 BibTeX

Control Protocols for Distributed Databases

Kurt Rothermel: An Open Commit Protocol Preserving Consistency in the Presence of Commission Failures. 168-177 BibTeX
Akhil Kumar, Michael Rabinovich, Rakesh K. Sinha: A Performance Study of General Grid Structures for Replicated Data. 178-185 BibTeX
Frank Tuijnman, Hamideh Afsarmanesh: Sharing Complex Objects in a Distributed PEER Environment. 186-194 BibTeX

Cooperative Work

Alain Karsenty, Michel Beaudouin-Lafon: An Algorithm for Distributed Groupware Applications. 195-202 BibTeX
Gerhard Weiß: Collective Learning of Action Sequences. 203-209 BibTeX
Flavio De Paoli, Francesco Tisato: Development of a Collaborative Application in CSDL. 210-217 BibTeX

Fault Performance

K. Ravindran, Gurdip Singh, P. Gupta: Reconfiguration of Spanning Trees in Networks in the Presence of Node Failures. 219-226 BibTeX
Oliver E. Theel: General Structured Voting: A Flexible Framework for Modelling Cooperations. 227-236 BibTeX
Nitin H. Vaidya, Dhiraj K. Pradhan: Degradable Agreement in the Presence of Byzantine Faults. 237-244 BibTeX

Distributed Shared Memory

Andrew W. Wilson Jr., Richard P. LaRowe Jr., Marc J. Teller: Hardware Assist for Distributed Shared Memory. 246-255 BibTeX
L. Gunaseelan, Richard J. LeBlanc: Event Ordering in a Shared Memory Distributed System. 256-263 BibTeX
Brian N. Bershad: Practical Considerations for Non-Blocking Concurrent Objects. 264-273 BibTeX

Distributed System Services

H. M. Gladney: Inter-Machine Protocols for Electronic Libraries. 275-282 BibTeX
B. Clifford Neuman: Proxy-Based Authorization and Accounting for Distributed Systems. 283-291 BibTeX
Arup Acharya, B. R. Badrinath: Delivering Multicast Messages in Networks with Mobile Hosts. 292-299 BibTeX

Performance Studies

Erhard Rahm: Evaluation of Closely Coupled Systems for High Performance Database Processing. 301-310 BibTeX
Andrzej Duda: Analysis of Multicast-Based Object Replication Strategies in Distributed Systems. 311-318 BibTeX
John A. Chandy, A. L. Narasimha Reddy: Failure Evaluation of Disk Array Organizations. 319-326 BibTeX

High Speed Networks

Darrell D. E. Long, Carol Osterbrock, Luis-Felipe Cabrera: Providing Performance Guarantees in an FDDI Network. 328-336 BibTeX
Shirish S. Sathaye, William S. Kish, Jay K. Strosnider: Responsive Aperiodic Services in High-Speed Networks. 337-346 BibTeX
Sanjay Kamat, Wei Zhao: Real-Time Schedulability of Two Token Ring Protocols. 347-354 BibTeX

Distributed Algorithms

Ming-Syan Chen, Philip S. Yu, Kun-Lung Wu: Decentralized Consensus Protocols with Multi-Port Communication. 356-365 BibTeX
Gary L. Peterson, Byungho Yi: Average Case Behavior of Election Algorithms for Unidirectional Rings. 366-373 BibTeX
Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal: Termination Detection in a Very General Distributed Computing Model. 374-381 BibTeX

Distributed Programming Languages

Sathis Menon, Partha Dasgupta, Richard J. LeBlanc: Asynchronous Event Handling in Distributed Object-Based Systems. 383-390 BibTeX
Ajei S. Gopal, Kenneth J. Perry: Composition of Concurrent Programs. 391-398 BibTeX
Sabine Finke, Peter Jahn, Olaf Langmack, Klaus-Peter Löhr, Irina Piens, Thomas Wolff: Distribution and Inheritance in the HERON Approach to Heterogeneous Computing. 399-408 BibTeX

Real-Time Issues

K. H. Kim, Eltefaat Shokri: Minimal-Delay Decentralized Maintenance of Processor-Group Membership in TDMA-Bus LAN Systems. 410-419 BibTeX
Victor Fay Wolfe, Susan B. Davidson, Insup Lee: Deadlock Prevention in the RTC Programming System for Distributed Real-Time Applications. 420-427 BibTeX
Ben Kao, Hector Garcia-Molina: Deadline Assignment in a Distributed Soft Real-Time System. 428-437 BibTeX

Heterogeneous and Multidatabase Systems

Jiansan Chen, Omran A. Bukhres, Ahmed K. Elmagarmid: IPL: A Multidatabase Transaction Specification Language. 439-448 BibTeX
Calton Pu, Wenwey Hseush, Gail E. Kaiser, Kun-Lung Wu, Philip S. Yu: Distributed Divergence Control for Epsilon Serializability. 449-456 BibTeX
Iwen E. Kang, Thomas F. Keefe: Supporting Reliable and Atomic Transaction Management in Multidatabase Systems. 457-464 BibTeX

Analytical Modeling

Varsha Mainkar, Kishor S. Trivedi: Approximate Analysis of Priority Scheduling Systems Using Stochastic Reward Nets. 466-473 BibTeX
Debanjan Saha, Sampath Rangarajan, Satish K. Tripathi: Average Message Overhead of Replica Control Protocols. 474-481 BibTeX
Hwa-Chun Lin, C. S. Raghavendra: A State-Aggregation Method for Analyzing Dynamic Load-Balancing Policies. 482-489 BibTeX

Objects in Distributed Systems

Mark C. Little, Daniel L. McCue, Santosh K. Shrivastava: Maintaining Information about Persistent Replicated Objects in a Distributed System. 491-498 BibTeX
Mark D. Wood: Replicated RPC Using Amoeba Closed Group Communications. 499-507 BibTeX
Bruce Millard, Partha Dasgupta, Sanjay G. Rao, Ravindra Kuramkote: Run-Time Support and Storage Management for Memory-Mapped Persistent Objects. 508-515 BibTeX

Intelligent Scheduling for Distributed Systems

Chang-Jia Wang, Phillip Krueger, Ming T. Liu: Intelligent Job Selection for Distributed Scheduling. 517-524 BibTeX
Kemal Efe, Margaret A. Schaar: Performance of Co-Scheduling on a Network of Workstations. 525-531 BibTeX
Tzilla Elrad, Kumar Nambi: Scheduling Cooperative Work: Viewing Distributed Systems as Both CSP and SCL. 532-539 BibTeX

Group Communication Protocols

Luís Rodrigues, Paulo Veríssimo, José Rufino: A Low-level Processor Group Membership Protocol for LANS. 541-550 BibTeX
Yair Amir, Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal, P. Ciarfella: Fast Message Ordering and Membership Using a Logical Token-Passing Ring. 551-560 BibTeX
André Schiper, Alain Sandoz: Uniform Reliable Multicast in a Virtually Synchronous Environment. 561-568 BibTeX