12. ICDCS 1992: Yokohama, Japan

Proceedings of the 12th International Conference on Distributed Computing Systems. June 9-12, 1992, Yokohama, Japan. IEEE Computer Society Press, 1992, ISBN 0-8186-2865-0

Communication Architectures

Keith Shafer, Mohan Ahuja: Process-Channel_agent-Process Model of Asynchronous Distributed Communication. 4-11 BibTeX
Christopher J. Glass, Lionel M. Ni: Adaptive Routing in Mesh-Connected Networks. 12-19 BibTeX
Ashwini K. Nanda, Doug DeGroot, Daniel L. Stenger: Scheduling Directed Task Graphs on Multiprocessors Using Simulated Annealing. 20-27 BibTeX

Task Scheduling

Chansu Yu, Chita R. Das: Multitasking in Multistage Interconnection Network Machines. 30-37 BibTeX
Bing-rung Tsai, Kang G. Shin: Communication-Oriented Assignment of Task Modules in Hypercube Multicomputers. 38-45 BibTeX
Srinivas Ramanathan, P. Venkat Rangan, Harrick M. Vin, Thomas Kaeppner: Optimal Communication Architectures for Multimedia Conferencing in Distributed Systems. 46-53 BibTeX

Transaction Models

Sharad Mehrotra, Rajeev Rastogi, Henry F. Korth, Abraham Silberschatz: A Transaction Model for Multidatabase Systems. 56-63 BibTeX
Leana Golubchik, Alexander Thomasian: Token Allocation in Distributed Systems. 64-71 BibTeX
Raj Kumar Batra, Marek Rusinkiewicz, Dimitrios Georgakopoulos: A Decentralized Deadlock-Free Concurrency Control Method for Multidatabase Transactions. 72-79 BibTeX

Protocol Specification

Junguk L. Kim, Jyh-Charn Liu, Ying Hao: An All-Sharing Load Balancing Protocol in Distributed Systems on the CSMA/CD Local Area Network. 82-89 BibTeX
Takeshi Yoneda, Joung-Hoon Lim, Tatsuo Sato, Yutaka Matsushita: A New Communication Tool: Time Dependent Multimedia Document. 90-97 BibTeX
Avraham Leff, Philip S. Yu: A Comparison of Regression-Based Load Sharing Strategies for Distributed Database Environments. 98-107 BibTeX

Synchronization

Debra A. Hensgen, Philip A. Wilsey: MINITABS: Early Experiences with a New Paradigm for Programming SIMD Computers. 110-117 BibTeX
Hong Xu, Philip K. McKinley, Lionel M. Ni: Efficient Implementation of Barrier Synchronization in Wormhole-Routed Hypercube Multicomputers. 118-125 BibTeX
Tai-Kuo Woo, Richard E. Newman-Wolfe: Huffman Trees as a Basis for a Dynamic Mutual Exclusion Algorithm for Distributed Systems. 126-133 BibTeX

Concurrency Control

Özgür Ulusoy, Geneva G. Belford: Real-Time Lock-Based Concurrency Control in Distributed Database Systems. 136-143 BibTeX
Sang Hyuk Son, Spiros Kouloumbis: Replication Control for Distributed Real-Time Database Systems. 144-151 BibTeX
S. Ben-Hassen, Marek Rusinkiewicz: On Serializability of Distributed Nested Transactions. 152-159 BibTeX
Peter A. Franaszek, Jayant R. Haritsa, John T. Robinson, Alexander Thomasian: Distributed Concurrency Control with Limited Wait-Depth. 160-167 BibTeX

Communication Protocols

Fumio Teraoka, Kimberly C. Claffy, Mario Tokoro: Design, Implementation, and Evaluation of Virtual Internet Protocol. 170-177 BibTeX
Akihito Nakamura, Makoto Takizawa: Priority-Based Total and Semi-Total Ordering Broadcast Protocols. 178-185 BibTeX
Jörg Liebeherr, Ian F. Akyildiz: A Highly Adaptive Media Access Protocol for Dual Bus Metropolitan Area Networks. 186-193 BibTeX
K. Ravindran, M. Sankhla: Multicast Models and Routing Algorithms for High Speed Multi-Service Networks. 194-201 BibTeX

Fault Tolerant Interconnection Networks

Imadeldin O. Mahgoub: Reliability of Cluster-Based Multiprocessor Systems. 204-209 BibTeX
Tarek A. El-Ghazawi, Abdou Youssef: A Unified Approach to Fault-Tolerant Routing. 210-217 BibTeX
Kemal Efe: Reconfigurable Cube Architecture for Parallel Computation. 218-225 BibTeX
N. K. Sharma, Fadi N. Sibai, Abdullah A. Abonamah: A Simulation Analysis of Faults and Conflicts in a Multicast-Connected Multi-Path Cube-Based Network. 226-233 BibTeX

Protocol Testing

Reinhard Gotzhein: On Conformance in the Context of Open Systems. 236-243 BibTeX
Abderrazak Ghedamsi, Gregor von Bochmann: Test Result Analysis and Diagnostics for Finite State Machines. 244-251 BibTeX
Chang-Jia Wang, Ming T. Liu: Axiomatic Test Sequence Generation for Extended Finite State Machines. 252-259 BibTeX
Riccardo Sisto, Luigi Ciminiera, Adriano Valenzano: Probabilistic Characterization of Algebraic Protocol Specifications. 260-268 BibTeX

Performance Evaluation

Wei-lun Kao, Ravishankar K. Iyer: A User-Oriented Synthetic Workload Generator. 270-277 BibTeX
Halsur V. Sreekantaswamy, Samuel T. Chanson, Alan S. Wagner: Performance Prediction Modeling of Multicomputers. 278-285 BibTeX
S. P. Cheng, Sivarama P. Dandamudi: Performance Analysis of a Hierarchical Task Queue Organization for Parallel Systems. 286-293 BibTeX
Ahmed N. Tantawy, Asser N. Tantawi, Dimitrios N. Serpanos: An Adaptive Scheduling Scheme for Dynamic Service Time Allocation on a Shared Resource. 294-300 BibTeX

Database Reliability

Jai Menon, Dick Mattson: Performance of Disk Arrays in Transaction Processing Environments. 302-309 BibTeX
C. Mohan, Inderpal Narang: Data Base Recovery in Shared Disks and Client-Server Architectures. 310-317 BibTeX
Thomas J. E. Schwarz, Walter A. Burkhard: RAID Organization and Performance. 318-325 BibTeX

Protocol Conversion

Mohammad Peyravian, Chin-Tau A. Lea: An Algorithmic Method for Protocol Conversion. 328-335 BibTeX
Phil Kearns, Tracy Camp, Mohan Ahuja: An Implementation of Flush Channels Based on a Verification Methodology. 336-343 BibTeX
Yow-Wei Yao, Ming T. Liu: Constructing Protocol Converters from Service Specifications. 344-351 BibTeX

Modelling

Alfred Taudes: How to Migrate Processes in Distributed Computing Systems: A Markov Team Approach. 354-361 BibTeX
Hwa-Chun Lin, C. S. Raghavendra: An Analysis of the Join the Shortest Queue (JSQ) Policy. 362-366 BibTeX
Guenter Klas: Net Level Aggregation Using Nonlinear Optimization for the Solution of Hierarchical Generalized Stochastic Petri Nets. 367-374 BibTeX

Software Engineering Applied

Lubomir Bic, John M. A. Roy, Mark Nagel: Exploiting Iteration-Level Parallelism in Dataflow Programs. 376-381 BibTeX
Christopher Black, Sol M. Shatz, S. Upp: TQL: A Tasking Query Language for Concurrent Program Analysis. 382-389 BibTeX
David D. H. Lin, Behrooz Shirazi, Krishna M. Kavi: An Efficient Data Interface for Heterogeneous Distributed Environments. 390-397 BibTeX

File Replication

Chengwen Liu, Clement T. Yu: Validation and Performance Evaluation of the Partition and Replicate Algorithm. 400-407 BibTeX
Raj Tewari, Nabil R. Adam: Distributed File Allocation with Consistency Constraints. 408-415 BibTeX
Shigeru Chiba, Kazuhiko Kato, Takeshi Masuda: Exploiting a Weak Consistency to Implement Distributed Tuple Space. 416-423 BibTeX

Decentralized Protocols

Ming-Syan Chen, Kun-Lung Wu, Philip S. Yu: Efficient Decentralized Consensus Protocols in a Distributed Computing System. 426-433 BibTeX
Hong Va Leong, Divyakant Agrawal: Type-Specific Coherence Protocols for Distributed Shared Memory. 434-441 BibTeX
James M. Conrad, Dharma P. Agrawal: Distributed, Scalable, and Static Parallel Arc Consistency Algorithms on Private Memory Machines. 442-449 BibTeX

Real-Time Issues

Riccardo Bettati, Jane W.-S. Liu: End-to-End Scheduling to Meet Deadlines in Distributed Systems. 452-459 BibTeX
Hermann Kopetz: Sparse Time versus Dense Time in Distributed Real-Time Systems. 460-467 BibTeX
Gopal Agrawal, Biao Chen, Wei Zhao, Sadegh Davari: Guaranteeing Synchronous Message Deadlines with the Timed Token Protocol. 468-475 BibTeX

Software Engineering Theory

Horst Wedde, Bogdan Korel, Dorota M. Huizinga: Formal Analysis of Waiting Times for Distributed Real-time Processes. 478-485 BibTeX
Jean-Michel Couvreur, Nissim Francez, Mohamed G. Gouda: Asynchronous Unison (Extended Abstract). 486-493 BibTeX
Gruia-Catalin Roman, C. Donald Wilcox, Jerome Y. Plun: On Deriving Distributed Programs from Formal Specifications of Functional Requirements and Architectural Constraints. 494-501 BibTeX

System Design

Girish Welling, B. R. Badrinath: An Architecture of a Threaded Many-to-Many Remote Procedure Call. 504-511 BibTeX
Peter Druschel, Larry L. Peterson, Norman C. Hutchinson: Beyond Micro-Kernel Design: Decoupling Modularlty and Protection in Lipto. 512-520 BibTeX
Matt Blaze, Rafael Alonso: Dynamic Hierarchical Caching for Large-Scale Distributed File Systems. 521-528 BibTeX
Marvin Theimer, David A. Nichols, Douglas B. Terry: Delegation Through Access Control Programs. 529-536 BibTeX

Computer-Supported Cooperative Work

Toyoko Ohmori, Kazutoshi Maeno, Shiro Sakata, Hideyuki Fukuoka, Kazuo Watabe: Distributed Cooperative Control for Sharing Applications Based on Multiparty and Multimedia Desktop Conferencing System: MERMAID. 538-546 BibTeX
Leandro Navarro, Wolfgang Prinz, Tom Rodden: Open CSCW Systems: Will ODP Help? 547-554 BibTeX
David P. Anderson, Pamela Chan: Comet: A Toolkit for Multiuser Audio/Video Applications. 555-562 BibTeX
Paul M. Murray: Leveraged Computing: A Task Distribution Protocol. 563-570 BibTeX

Naming

Stuart Sechrest, Michael McClennen: Blending Hierarchical and Attribute-Based File Naming. 572-580 BibTeX
Nobuhisa Fujinami, Yasuhiko Yokote: Naming and Addressing of Objects Without Unique Identifiers. 581-588 BibTeX
Pradeep Kumar Sinha, Mamoru Maekawa, Kentaro Shimizu: Improving the Reliability of Name Resolution Mechanism in Distributed Operating Systems. 589-596 BibTeX

Distributed Cooperative Control

K. Ravindran, B. Prasad: Communication Structures and Paradigms for Distributed Conferencing Applications. 598-605 BibTeX
Rajendra Yavatkar: MCP: A Protocol for Coordination and Temporal Synchronization in Multimedia Collaborative Applications. 606-613 BibTeX
Makoto Yokoo, Edmund H. Durfee, Toru Ishida, Kazuhiro Kuwabara: Distributed Constraint Satisfaction for Formalizing Distributed Problem Solving. 614-621 BibTeX

Fault Tolerant Algorithms

Su-Chu Hsu, Shing-Tsaan Huang: Analyzing Self-Stabilization with Finite-State Machine Model. 624-631 BibTeX
Youran Lan: Fault-Tolerant Multi-Destination Routing in Hypercube Multicomputers. 632-639 BibTeX
Gagan Agrawal, Pankaj Jalote: An Efficient Protocol for Voting In Distributed Systems. 640-647 BibTeX

Coteries

Toshihide Ibaraki, Hiroshi Nagamochi, Tiko Kameda: Optimal Coteries for Rings and Related Networks. 650-656 BibTeX
Mitchell L. Neilsen, Masaaki Mizuno, Michel Raynal: A General Method to Define Quorums. 657-664 BibTeX
Amane Nakajima: Using a Finite Projective Plane with a Duality for Decentralized Consensus Protocols. 665-672 BibTeX

Distributed Artificial Intelligence

Omar Amyay, Guy Juanole, Stella Zwecker: An Epistemic Logic Based Synthesis of Communication Services and Protocols. 674-681 BibTeX
Mostafa Haghjoo, Mike P. Papazoglou: TrActorS: A Transactional Actor System for Distributed Query Processing. 682-689 BibTeX
Mark P. Pearson, Partha Dasgupta: A Distributed Lisp Programming System: Implementation and Usage. 690-697 BibTeX

Synchronization Algorithms

Michel Raynal, Masaaki Mizuno, Mitchell L. Neilsen: Synchronization and Concurrency Measures for Distributed Computations. 700-707 BibTeX
Rivka Ladin, Barbara Liskov: Garbage Collection of a Distributed Heap. 708-715 BibTeX
Yih-Kuen Tsay, Rajive Bagrodia: A Real-Time Algorithm for Fair Interprocess Synchronization. 716-723 BibTeX