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
Christopher J. Glass, Lionel M. Ni: Adaptive Routing in Mesh-Connected Networks. 12-19
Ashwini K. Nanda, Doug DeGroot, Daniel L. Stenger: Scheduling Directed Task Graphs on Multiprocessors Using Simulated Annealing. 20-27

Task Scheduling

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

Transaction Models

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

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
Takeshi Yoneda, Joung-Hoon Lim, Tatsuo Sato, Yutaka Matsushita: A New Communication Tool: Time Dependent Multimedia Document. 90-97
Avraham Leff, Philip S. Yu: A Comparison of Regression-Based Load Sharing Strategies for Distributed Database Environments. 98-107

Synchronization

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

Concurrency Control

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

Communication Protocols

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

Fault Tolerant Interconnection Networks

Imadeldin O. Mahgoub: Reliability of Cluster-Based Multiprocessor Systems. 204-209
Tarek A. El-Ghazawi, Abdou Youssef: A Unified Approach to Fault-Tolerant Routing. 210-217
Kemal Efe: Reconfigurable Cube Architecture for Parallel Computation. 218-225
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

Protocol Testing

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

Performance Evaluation

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

Database Reliability

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

Protocol Conversion

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

Modelling

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

Software Engineering Applied

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

File Replication

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

Decentralized Protocols

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

Real-Time Issues

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

Software Engineering Theory

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

System Design

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

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
Leandro Navarro, Wolfgang Prinz, Tom Rodden: Open CSCW Systems: Will ODP Help? 547-554
David P. Anderson, Pamela Chan: Comet: A Toolkit for Multiuser Audio/Video Applications. 555-562
Paul M. Murray: Leveraged Computing: A Task Distribution Protocol. 563-570

Naming

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

Distributed Cooperative Control

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

Fault Tolerant Algorithms

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

Coteries

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

Distributed Artificial Intelligence

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

Synchronization Algorithms

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

Last update Fri May 24 02:50:41 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page