3. ICDCS 1982: Miami/Ft. Lauderdale, Florida, USA

Database Systems

• Colette Rolland, M. Vitali: Transactions Modelling In Distributed Environments. 2-6
• A.-C. Liu, Shi-Kuo Chang: Site Selection in Distributed Query Processing. 7-12
• Clement T. Yu, Y. C. Lin: Some Esitmation Problems in Distributed Query Processing. 13-20

Scheduling and Control in Distributed Operating Systems

• John K. Ousterhout: Scheduling Techniques for Concurrebt Systems. 22-30
• E. Douglas Jensen: Decentralized Executive Control of Computers. 31-35
• Amnon B. Barak: Dynamic Process control for distributed computing. 36-40

Microprocessor Architectures

• Edward C. Bronson, Leah J. Siegel: A Distributed parallel computation station model for system, environment and threat simulation. 42-48
• A. E. Filip: A distributed signal processing architecture. 49-55
• Prashant S. Sawkar, Timothy J. Forquer, E. J. Schernecke, Hungwen Li: A Multi-port memory organization for use in distributed computing systems. 56-62

Fault Tolerance Methods

• M. Leszak, H. Breitwieser: A Fault-Tolerant Scheme for distributed transaction commitment. 64-70
• G. Barigazzi, Augusto Ciuffoletti, Lorenzo Strigini: A Distributed algorithm for post-failure load redistribution. 71-76
• G. Caumont, Jean-Claude Laprie, D. R. Powell: RHEA: A Fault and damage-tolerant hierarchical communication support system for local area computing in aggressive environments. 77-84

Database Management Systems

• J. J. Lin, M. T. Liu: Software Design of a local data network for very large distributed databases. 86-91
• Béatrice Del Vecchio, Arlette Ferrier: PHLOX, Database management systems for micro-computers. 92-97
• Paul A. D. de Maine, C. G. Davis: JOBLIST-A general data structure for communication, manipulating and managing information in a distributed environment. 98-104

Distributed Operating Systems

• Eli Opper, Miroslaw Malek: Resource Allocation for a class of problem structures in multistage interconnection network-based system. 106-113
• David Lee Tuomenoksa, Howard Jay Siegel: Analysis of multiple-queue task scheduling algorithms for multiple-SIMD machines. 114-121
• Steven I. Kartashev, Svetlana P. Kartashev: Distributed dynamic hardware operating system for multiport reconfigurable memory. 122-127
• Jean-Serge Banino, Jean-Charles Fabre: Distributed coupled actors: A Chorus proposal for reliability. 128-134

Bus Oriented Multiprocessor Systems

• M. Stern: The DELTA 2 - A Distributed computer. 136-145
• A. Gupta, Hoo-Min D. Toong: Enhanced concurrency in M-N multiprocessor systems. 146-151
• J. W. Thomas, J. N. Patel, M. D. Vojta, D. Bhatt: Standard Bus Architectures. 152-157

Design of Fault Tolerant Systems

• D. P. Agrawal, B. K. Agrawal, G. C. Pathak: Graceful Fault tolerance in large networks of microcomputers. 158-162
• Jean-Michel Ayache, Jean-Pierre Courtiat, Michel Diaz: Self-Checking software in distributed systems. 163-170
• Andrew D. Hurt, J. Robert Heath: The Design of a Fault-Tolerant Computing Element for Distributed Data Processors. 171-176

Database Machines

• Lubomir Bic, Robert L. Hartmann, J. Todhunter: The Active Graph Database Machine. 178-186
• C. V. Ramamoorthy, S. L. Ganesh, Siyi Terry Dong, C.-H. Jen, Wei-Tek Tsai: The Design of "Low-End" Machines for Data Management in Distributed Systems. 187-195
• Yasushi Kiyoki, Michio Isoda, K. Kojima, Katsumi Tanaka, A. Minematsu, Hideo Aiso: Performance Analysis for Parallel Processing Schemes of Relational Operations and a Relational Database Machine Architecture with Optimal Scheme Selection Mechanism. 196-205

Network Operating Systems

• I. Gertner: A Report on Process Management in a Guest Distributed System. 206-211
• Gordon S. Blair, David Hutchison, W. D. Shepherd: MIMAS-A Network Operating System for Strathnet. 212-217
• A. Ferravanta, M. Martelli, F. Tarini, P. Zini: Virtual Memory Service in Local Area Network. 218-225

Microprocessor Networks

• Francesco Gregoretti: An Experimental Real Time Kernel for a Multimicroprocessor Prototype. 226-231
• T. B. Genduso, Stanley Y. W. Su: An analytical model of the MICRONET distributed database management system. 232-237
• Silvano Rivoira, Angelo Serra: A Multimicro Architecture and its Distributed Operating System for Real Time Control. 238-248

Replicated Databases

• Yutaka Matsushita, Makoto Yoshida, Atsushi Wakino, L. T. Beng: Allocation Schemes of multiple copies of data in distributed database systems. 250-256
• John J. Metzner: A Proposed Parity Structure for large remotely-located duplicate data files. 257-262
• Daniel Barbará, Hector Garcia-Molina: How Expensive is Data Replication? An Example. 263-268
• Wesley W. Chu, Joseph Hellerstein, Min-Tsung Lan: The Exclusive-Writer Protocol: A Low Cost Approach for Updating Replicated Files in Distributed Real Time Systems. 269-278

Design of Distributed Computing Systems

• Stephen S. Yau, Sol M. Shatz: On Communication in the Design of Software Components of Distributed Computer Systems. 280-287
• Raymond J. A. Buhr, S. Michell: Object-Oriented Structured Design of Layered Protocol Systems. 288-293
• Marc Shapiro: An Experiment in Distributed Program Design, Using Control Enrichment. 294-300

Network Topology

• Dhiraj K. Pradhan: On a Class of Fault-Tolerant Multiprocessor Network Architectures. 302-311
• Karl W. Doty: Large Regular Interconnection Networks. 312-317
• K. V. S. Bhat: Fault Diagnosis in Hypercube Connected Array of Processors. 318-322

Distributed Computing Testbeds

• Helmut K. Berg, M. G. Smith: A Distributed System Experimentation Facility. 324-329
• D. Bhatt, M. Schroeder: A comprehensive Approach to Instrumentation for Experimentation in a Distributed Computing Environment. 330-340
• Victor R. Lesser, Daniel D. Corkill, Jasmina Pavlin, Lawrence S. Lefkowitz, Eva Hudlicka, R. Brooks, S. Reed: A High-Level simulation Testbed for cooperative distributed problem solving. 341-350
• J. A. Gadsden: ADNET: An Experiment in Computer Networking for the Royal Navy. 351-356

Mutual Exclusion and Synchronization

• George J. Milne: Abstraction and Nondeterminism in Concurrent Systems. 358-364
• I. Suzuki, T. Kasami: An Optimality Theory for Mutual Exclusion Algorithms in Computer Networks. 365-370
• H. S. Lin, M. T. Liu: Priority Driven Communication Protocol Design. 371-378

Distributed Software Tools & Methods

• Bo-Shoe Chen, Raymond T. Yeh: Formal Specification and Verification of Distributed Systems. 380-387
• Cauligi S. Raghavendra, Mario Gerla, Algirdas Avizienis: Reliability optimization in the design of distributed systems. 388-393
• Ronald Curtis, Larry D. Wittie: BUGNET: A Debugging system for parallel programming environments. 394-400

Distributed Testbeds for Real Time Systems

• T. G. Williams, W. C. McDonald, M. W. Beasley, G. W. Cox: A Hardware Architecture for a Flexible Distributed Computing Testbed. 404-409
• N. Vosbury, C. Bryant: System Software for Experiments in Distributed Computing on Distributed Testbed. 410-415
• J. T. Ellis, R. W. Smith: ADL/ADS-A tool for describing, constructing, conducting, and Evaluating DDP Experiments. 416-421
• C. W. Crouch: AOS-A Tool For Designing Distributed Real-Time Operating Systems. 422-428

Concurrency Control Techniques

• Krithi Ramamritham: On the Termination of Transactions in the Delta System. 430-437
• Cecil T. Hua, Bharat K. Bhargava: Classes of Serializable Histories and Synchronization Algorithms in Distributed Database Systems. 438-446
• Farouk Kamoun, M. Ben Djerad, Gérard Le Lann: Queueing Analysis of the ordering issue in a distributed database concurrency control mechanism: A General Case. 447-453

Communication Networks

• M. Paulle: Some Comparative Measurements of Computer Interconnection. 456-460
• Jean-Louis Grangé: A Mass Transport Service on High Transmission Rate Satellite Circuits - Some Design Considerations. 461-466
• S. Leventis, George D. Papadopoulos: Further simulation results on the performance of a new double-loop computer network. 467-472

Distributed Systems-Practices and Experiences

• S. F. Liu, R. W. Parker, K. K. Okikawa: A Real-Time distributed computer network experiment for BMD terminal defense. 474
• Cory Devor: Experiences with Distributed Software Design in DDTS. 475-485
• G. Hamlin, J. E. Georgte: Experiences with Distributing Graphic Software between processors. 486-492
• R. G. Schluter, J. C. Shih, T. L. Machleit: Effect of resource allocation on distributed system response-a case study. 493-494

Deadlock Detection

• J. R. Jagannathan, R. Vasudevan: A Distributed Deadlock Detection and REsolution Scheme: Performance Study. 496-501
• Wen-Te K. Lin, Jerry Nolte: Communication Delay and Two Phase Locking. 502-507
• Bharat K. Bhargava: Performance Evaluation of the Optimistic Approach to Distributed Database Systems and Its Comparison to Locking. 508-517
• K. Hao, R. T. Yeh: Detection of Inherent Deadlocks in Distributed Programs. 518-524

High Level Languages for Distributed Processing

• L. W. Ericson: DPL-82: A language for distributed processing. 526-531
• Richard J. LeBlanc, Arthur B. Maccabe: The design of a programming language based on connectivity networks. 532-541
• J. M. Adamo: PASCAL + CSP, Merging PASCAL and CSP in a parallel processing oriented language. 542-547
• John A. Miller, Richard J. LeBlanc: Distributed Compilation: A Case Study. 548-554

Multistage Network Performance

• Trevor N. Mudge, B. A. Makrucki: An Approximate Queueing Model for Packet Switched Multistage Interconnection Networks. 556-562
• J. E. Wirsching, T. Kishi: Minimization of Path Lengths in Single Stage Connection Networks. 563-571
• J. M. Frankovich: A Bandwidth Analysis of Baseline Networks. 572-579

Distributed Simulation

• T. Christopher, M. Evens, R. R. Gargeya, T. Leonhardt: Structure of a Distributed Simulation System. 584-589
• J. Castillo, S. D. Smith: Dynamic Routing in WISPAC: A Continuous System Simulation Machine. 590-595
• Jean Bézivin, H. Imbert: Adapting a Simulation Language to a Distributed Environment. 596-604

Network Evaluation

• Laxmi N. Bhuyan, Dharma P. Agrawal: VLSI Performance of Multistage Interconnection Network Using 4*4 Switches. 606-613
• Robert J. McMillen, Howard Jay Siegel: A comparison of cube type and data manipulator type networks. 614-621
• Pin-Yee Chen, Pen-Chung Yew, Duncan H. Lawrie: Performance of packet switching in buffered single-stage shuffle-exchange networks. 622-628

Data Flow Architectures

• J. Robert Heath, George Broomell, Andrew D. Hurt: A distributed computer architecture for real-time, data driven applications. 630-638
• Hiroaki Nishikawa, Katsuhiko Asada, Hiroaki Terada: A Decentralized controlled multi-processor system based on the data-driven scheme. 639-644
• A. Hazra: A description method and a classification scheme for data flow architectures. 645-652

Communication Protocol Modeling

• P. Estraillier, Claude Girault: Petri Net Specification of a New Protocol for Controlling a Distributed System Organization. 654-659
• M. Tamer Özsu, Bruce W. Weide: Modeling of distributed database concurrency control Mechanisms using an extended petri net formalism. 660-665
• Steven P. Levitan: Algorithms for a Broadcast Protocol Multiprocessor. 666-672

Software Transportability

• G. Ruiz-Huerta: The Programmable Compiler. 674-679
• Maurelio Boari, Stefano Crespi-Reghizzi, Alberto Dasprá, Antonio Natali: MML: A programming line for multiple-microprocessors systems. 680-688
• R. J. Munn, J. M. Stewart: Portable Scientific Software, XTAL: An Example. 689-692

Performance Evaluation of Distributed Computer Systems

• A. J. Lemoine, L. Meier: A stochastic network model with applications to distributed computing systems. 694-698
• Robert J. Souza, Edward E. Balkovich: Validation of a performance model for a decentralized computer system. 699-704
• C. Weitzman: Performance Measures for Distributed Computing Systems. 705-709
• Paul Caspi, Nicolas Halbwachs: An Approach to Real Time Systems Modeling. 710-716

Data Flow Languages

• Richard Kennaway, M. Ronan Sleep: Applicative Objects as Processes. 718-723
• Jean-Luc Gaudiot, Milos D. Ercegovac: A scheme for handling arrays in data-flow systems. 724-729
• James R. McGraw, Stephen K. Skedzielewski: Streams and iteration in VAL: Additions to a data flow Language. 730-740

Communication Protocols

• S. Yshitake, M. Mhio, I. Ideguchi, M. Katsumata: Method for testing data communication products that implement standard protocols. 742-747
• Yaron I. Gold, William R. Franta: SOSAM for hidden nodes or an efficient collision-free access-protocol for stationary radio networks with less-than-full connectivity. 748-754
• Jacob Hagouel, M. Schwartz: A Distributed Failsafe Route Table Update Algorithm. 755-762

Local Area Networks

• G. Michel, J. Rouillard, G. Charles, D. Tranvaux: CICS 81: A VLSI-based local network for distributed process-control. 764-769
• W. T. Chen, H. C. Wang, J. W. Tsai, J. Y. Wei: TH-NET: A Microprocessor-Based Local Network. 770-775

Performance Evaluation of Multiprocessor Systems

• A. Singh, Z. Segall: Synthetic Workload Generation for Experimentation with Multiprocessors. 778-785
• G. H. Franzkowiak, R. W. Naro: An analytical model for evaluation of distributed multiprocessor systems with shared common resources. 786-791
• M. A. Marson: Bounds on Bus and Memory Interference in a class of Multiple Bus Multiprocessor Systems. 792-798

Parallel Processing

• Robert A. Whiteside, Peter G. Hibbard, Neil S. Ostlund: Systolic Algorithms for Monte Carlo Simulations. 800-804
• Robert G. Wedig, Michael J. Flynn: Concurrency Detection in Language-Oriented Processing Systems. 805-810
• Dale H. Grit, Rex L. Page: Eager evaluation of functional programs and a supporting interconnection structure. 811-816

Message Oriented Mechanisms

• Raymond J. A. Buhr D. A. Mackinnon: MAILROOM: A computer-based message system model for person-to-person and process-to-process communication. 818-823
• A. Koch, T. S. E. Maibaum: A message oriented language for system applications. 824-832
• Michel Banâtre, Guy Lapalme: ENCHERE: A Distributed Auction Bidding System. 833-839

Distributed Processing Operating Systems

• Sandra A. Mamrak, W. E. Ayen, Fawzi F. Gherfal, Dennis W. Leinbaugh: Performance Measurement and Exception Handling in Desperanto's Distributed Environment. 840-846
• Sandra A. Mamrak, Hong-Chin Kuo, D. Soni: Supporting Existing Tools in Distributed Processing Systems: The Conversion Problem. 847-855
• Sandra A. Mamrak, P. Maurath, J. Gomez, S. Janardan, C. Nicholas: Guest Layer in Distributed Processing Support on Local Operating Systems. 854-859

Applications of Parallelism

• Y. Chiang, L. S. Fu: A VLSI Architecture for Fast Context-Free Language Recognition. 864-869
• Masatoshi Kubo, E. Toshima, N. Mori, H. Hoshino, Kiyoshi Agusa, Yutaka Ohno: A parallel processor system dedicated to SIMD and its application to three-dimensional color graphics. 870-875
• J. Liu, Y. Zhang: Parallel Processing for MIMD Systems. 876-898