Table of Contents

• Transactions Modelling In Distributed EnvironmentsColette Rolland, M. Vitali. 2-6
• Site Selection in Distributed Query ProcessingA.-C. Liu, Shi-Kuo Chang. 7-12
• Some Esitmation Problems in Distributed Query ProcessingClement T. Yu, Y.-C. Lin. 13-20
• Scheduling Techniques for Concurrebt SystemsJohn K. Ousterhout. 22-30
• Decentralized Executive Control of ComputersE. Douglas Jensen. 31-35
• Dynamic Process control for distributed computingAmnon B. Barak. 36-40
• A Distributed parallel computation station model for system, environment and threat simulationEdward C. Bronson, Leah J. Siegel. 42-48
• A distributed signal processing architectureA. E. Filip. 49-55
• A Multi-port memory organization for use in distributed computing systemsPrashant S. Sawkar, Timothy J. Forquer, E. J. Schernecke, Hungwen Li. 56-62
• A Fault-Tolerant Scheme for distributed transaction commitmentM. Leszak, H. Breitwieser. 64-70
• A Distributed algorithm for post-failure load redistributionG. Barigazzi, Augusto Ciuffoletti, Lorenzo Strigini. 71-76
• RHEA: A Fault and damage-tolerant hierarchical communication support system for local area computing in aggressive environmentsG. Caumont, Jean-Claude Laprie, D. R. Powell. 77-84
• Software Design of a local data network for very large distributed databasesJ. J. Lin, M. T. Liu. 86-91
• PHLOX, Database management systems for micro-computersBéatrice Del Vecchio, Arlette Ferrier. 92-97
• JOBLIST-A general data structure for communication, manipulating and managing information in a distributed environmentPaul A. D. de Maine, C. G. Davis. 98-104
• Resource Allocation for a class of problem structures in multistage interconnection network-based systemEli Opper, Miroslaw Malek. 106-113
• Analysis of multiple-queue task scheduling algorithms for multiple-SIMD machinesDavid Lee Tuomenoksa, Howard Jay Siegel. 114-121
• Distributed dynamic hardware operating system for multiport reconfigurable memorySteven I. Kartashev, Svetlana P. Kartashev. 122-127
• Distributed coupled actors: A Chorus proposal for reliabilityJean-Serge Banino, Jean-Charles Fabre. 128-134
• The DELTA 2 - A Distributed computerM. Stern. 136-145
• Enhanced concurrency in M-N multiprocessor systemsA. Gupta, Hoo-Min D. Toong. 146-151
• Standard Bus ArchitecturesJ. W. Thomas, J. N. Patel, M. D. Vojta, D. Bhatt. 152-157
• Graceful Fault tolerance in large networks of microcomputersD. P. Agrawal, B. K. Agrawal, G. C. Pathak. 158-162
• Self-Checking software in distributed systemsJean-Michel Ayache, Jean-Pierre Courtiat, Michel Diaz. 163-170
• The Design of a Fault-Tolerant Computing Element for Distributed Data ProcessorsAndrew D. Hurt, J. Robert Heath. 171-176
• The Active Graph Database MachineLubomir Bic, Robert L. Hartmann, J. Todhunter. 178-186
• The Design of Low-End Machines for Data Management in Distributed SystemsC. V. Ramamoorthy, S. L. Ganesh, Siyi Terry Dong, C.-H. Jen, Wei-Tek Tsai. 187-195
• Performance Analysis for Parallel Processing Schemes of Relational Operations and a Relational Database Machine Architecture with Optimal Scheme Selection MechanismYasushi Kiyoki, Michio Isoda, K. Kojima, Katsumi Tanaka, A. Minematsu, Hideo Aiso. 196-205
• A Report on Process Management in a Guest Distributed SystemI. Gertner. 206-211
• MIMAS-A Network Operating System for StrathnetGordon S. Blair, David Hutchison, W. D. Shepherd. 212-217
• Virtual Memory Service in Local Area NetworkA. Ferravanta, M. Martelli, F. Tarini, P. Zini. 218-225
• An Experimental Real Time Kernel for a Multimicroprocessor PrototypeFrancesco Gregoretti. 226-231
• An analytical model of the MICRONET distributed database management systemT. B. Genduso, Stanley Y. W. Su. 232-237
• A Multimicro Architecture and its Distributed Operating System for Real Time ControlSilvano Rivoira, Angelo Serra. 238-248
• Allocation Schemes of multiple copies of data in distributed database systemsYutaka Matsushita, Makoto Yoshida, Atsushi Wakino, L. T. Beng. 250-256
• A Proposed Parity Structure for large remotely-located duplicate data filesJohn J. Metzner. 257-262
• How Expensive is Data Replication? An ExampleDaniel Barbará, Hector Garcia-Molina. 263-268
• The Exclusive-Writer Protocol: A Low Cost Approach for Updating Replicated Files in Distributed Real Time SystemsWesley W. Chu, Joseph Hellerstein, Min-Tsung Lan. 269-278
• On Communication in the Design of Software Components of Distributed Computer SystemsStephen S. Yau, Sol M. Shatz. 280-287
• Object-Oriented Structured Design of Layered Protocol SystemsRaymond J. A. Buhr, S. Michell. 288-293
• An Experiment in Distributed Program Design, Using Control EnrichmentMarc Shapiro. 294-300
• On a Class of Fault-Tolerant Multiprocessor Network ArchitecturesDhiraj K. Pradhan. 302-311
• Large Regular Interconnection NetworksKarl W. Doty. 312-317
• Fault Diagnosis in Hypercube Connected Array of ProcessorsK. V. S. Bhat. 318-322
• A Distributed System Experimentation FacilityHelmut K. Berg, M. G. Smith. 324-329
• A comprehensive Approach to Instrumentation for Experimentation in a Distributed Computing EnvironmentD. Bhatt, M. Schroeder. 330-340
• A High-Level simulation Testbed for cooperative distributed problem solvingVictor R. Lesser, Daniel D. Corkill, Jasmina Pavlin, Lawrence S. Lefkowitz, Eva Hudlicka, R. Brooks, S. Reed. 341-350
• ADNET: An Experiment in Computer Networking for the Royal NavyJ. A. Gadsden. 351-356
• Abstraction and Nondeterminism in Concurrent SystemsGeorge J. Milne. 358-364
• An Optimality Theory for Mutual Exclusion Algorithms in Computer NetworksI. Suzuki, T. Kasami. 365-370
• Priority Driven Communication Protocol DesignH. S. Lin, M. T. Liu. 371-378
• Formal Specification and Verification of Distributed SystemsBo-Shoe Chen, Raymond T. Yeh. 380-387
• Reliability optimization in the design of distributed systemsCauligi S. Raghavendra, Mario Gerla, Algirdas Avizienis. 388-393
• BUGNET: A Debugging system for parallel programming environmentsRonald Curtis, Larry D. Wittie. 394-400
• A Hardware Architecture for a Flexible Distributed Computing TestbedT. G. Williams, W. C. McDonald, M. W. Beasley, G. W. Cox. 404-409
• System Software for Experiments in Distributed Computing on Distributed TestbedN. Vosbury, C. Bryant. 410-415
• ADL/ADS-A tool for describing, constructing, conducting, and Evaluating DDP ExperimentsJ. T. Ellis, R. W. Smith. 416-421
• AOS-A Tool For Designing Distributed Real-Time Operating SystemsC. W. Crouch. 422-428
• On the Termination of Transactions in the Delta SystemKrithi Ramamritham. 430-437
• Classes of Serializable Histories and Synchronization Algorithms in Distributed Database SystemsCecil T. Hua, Bharat K. Bhargava. 438-446
• Queueing Analysis of the ordering issue in a distributed database concurrency control mechanism: A General CaseFarouk Kamoun, M. Ben Djerad, Gérard Le Lann. 447-453
• Some Comparative Measurements of Computer InterconnectionM. Paulle. 456-460
• A Mass Transport Service on High Transmission Rate Satellite Circuits - Some Design ConsiderationsJean-Louis Grangé. 461-466
• Further simulation results on the performance of a new double-loop computer networkS. Leventis, George D. Papadopoulos. 467-472
• A Real-Time distributed computer network experiment for BMD terminal defenseS. F. Liu, R. W. Parker, K. K. Okikawa. 474
• Experiences with Distributed Software Design in DDTSCory Devor. 475-485
• Experiences with Distributing Graphic Software between processorsG. Hamlin, J. E. Georgte. 486-492
• Effect of resource allocation on distributed system response-a case studyR. G. Schluter, J. C. Shih, T. L. Machleit. 493-494
• A Distributed Deadlock Detection and REsolution Scheme: Performance StudyJ. R. Jagannathan, R. Vasudevan. 496-501
• Communication Delay and Two Phase LockingWen-Te K. Lin, Jerry Nolte. 502-507
• Performance Evaluation of the Optimistic Approach to Distributed Database Systems and Its Comparison to LockingBharat K. Bhargava. 508-517
• Detection of Inherent Deadlocks in Distributed ProgramsK. Hao, R. T. Yeh. 518-524
• DPL-82: A language for distributed processingL. W. Ericson. 526-531
• The design of a programming language based on connectivity networksRichard J. LeBlanc, Arthur B. Maccabe. 532-541
• PASCAL + CSP, Merging PASCAL and CSP in a parallel processing oriented languageJ. M. Adamo. 542-547
• Distributed Compilation: A Case StudyJohn A. Miller, Richard J. LeBlanc. 548-554
• An Approximate Queueing Model for Packet Switched Multistage Interconnection NetworksTrevor N. Mudge, B. A. Makrucki. 556-562
• Minimization of Path Lengths in Single Stage Connection NetworksJ. E. Wirsching, T. Kishi. 563-571
• A Bandwidth Analysis of Baseline NetworksJ. M. Frankovich. 572-579
• Structure of a Distributed Simulation SystemT. Christopher, M. Evens, R. R. Gargeya, T. Leonhardt. 584-589
• Dynamic Routing in WISPAC: A Continuous System Simulation MachineJ. Castillo, S. D. Smith. 590-595
• Adapting a Simulation Language to a Distributed EnvironmentJean Bézivin, H. Imbert. 596-604
• VLSI Performance of Multistage Interconnection Network Using 4*4 SwitchesLaxmi N. Bhuyan, Dharma P. Agrawal. 606-613
• A comparison of cube type and data manipulator type networksRobert J. McMillen, Howard Jay Siegel. 614-621
• Performance of packet switching in buffered single-stage shuffle-exchange networksPin-Yee Chen, Pen-Chung Yew, Duncan H. Lawrie. 622-628
• A distributed computer architecture for real-time, data driven applicationsJ. Robert Heath, George Broomell, Andrew D. Hurt. 630-638
• A Decentralized controlled multi-processor system based on the data-driven schemeHiroaki Nishikawa, Katsuhiko Asada, Hiroaki Terada. 639-644
• A description method and a classification scheme for data flow architecturesA. Hazra. 645-652
• Petri Net Specification of a New Protocol for Controlling a Distributed System OrganizationP. Estraillier, Claude Girault. 654-659
• Modeling of distributed database concurrency control Mechanisms using an extended petri net formalismM. Tamer Özsu, Bruce W. Weide. 660-665
• Algorithms for a Broadcast Protocol MultiprocessorSteven P. Levitan. 666-672
• The Programmable CompilerG. Ruiz-Huerta. 674-679
• MML: A programming line for multiple-microprocessors systemsMaurelio Boari, Stefano Crespi-Reghizzi, Alberto Dasprá, Antonio Natali. 680-688
• Portable Scientific Software, XTAL: An ExampleR. J. Munn, J. M. Stewart. 689-692
• A stochastic network model with applications to distributed computing systemsA. J. Lemoine, L. Meier. 694-698
• Validation of a performance model for a decentralized computer systemRobert J. Souza, Edward E. Balkovich. 699-704
• Performance Measures for Distributed Computing SystemsC. Weitzman. 705-709
• An Approach to Real Time Systems ModelingPaul Caspi, Nicolas Halbwachs. 710-716
• Applicative Objects as ProcessesRichard Kennaway, M. Ronan Sleep. 718-723
• A scheme for handling arrays in data-flow systemsJean-Luc Gaudiot, Milos D. Ercegovac. 724-729
• Streams and iteration in VAL: Additions to a data flow LanguageJames R. McGraw, Stephen K. Skedzielewski. 730-740
• Method for testing data communication products that implement standard protocolsS. Yshitake, M. Mhio, I. Ideguchi, M. Katsumata. 742-747
• SOSAM for hidden nodes or an efficient collision-free access-protocol for stationary radio networks with less-than-full connectivityYaron I. Gold, William R. Franta. 748-754
• A Distributed Failsafe Route Table Update AlgorithmJacob Hagouel, M. Schwartz. 755-762
• CICS 81: A VLSI-based local network for distributed process-controlG. Michel, J. Rouillard, G. Charles, D. Tranvaux. 764-769
• TH-NET: A Microprocessor-Based Local NetworkW. T. Chen, H. C. Wang, J. W. Tsai, J. Y. Wei. 770-775
• Synthetic Workload Generation for Experimentation with MultiprocessorsA. Singh, Z. Segall. 778-785
• An analytical model for evaluation of distributed multiprocessor systems with shared common resourcesG. H. Franzkowiak, R. W. Naro. 786-791
• Bounds on Bus and Memory Interference in a class of Multiple Bus Multiprocessor SystemsM. A. Marson. 792-798
• Systolic Algorithms for Monte Carlo SimulationsRobert A. Whiteside, Peter G. Hibbard, Neil S. Ostlund. 800-804
• Concurrency Detection in Language-Oriented Processing SystemsRobert G. Wedig, Michael J. Flynn. 805-810
• Eager evaluation of functional programs and a supporting interconnection structureDale H. Grit, Rex L. Page. 811-816
• MAILROOM: A computer-based message system model for person-to-person and process-to-process communicationRaymond J. A. Buhr D. A. Mackinnon. 818-823
• A message oriented language for system applicationsA. Koch, T. S. E. Maibaum. 824-832
• ENCHERE: A Distributed Auction Bidding SystemMichel Banâtre, Guy Lapalme. 833-839
• Performance Measurement and Exception Handling in Desperanto s Distributed EnvironmentSandra A. Mamrak, W. E. Ayen, Fawzi F. Gherfal, Dennis W. Leinbaugh. 840-846
• Supporting Existing Tools in Distributed Processing Systems: The Conversion ProblemSandra A. Mamrak, Hong-Chin Kuo, D. Soni. 847-855
• Guest Layer in Distributed Processing Support on Local Operating SystemsSandra A. Mamrak, P. Maurath, J. Gómez, S. Janardan, C. Nicholas. 854-859
• A VLSI Architecture for Fast Context-Free Language RecognitionY. Chiang, L. S. Fu. 864-869
• A parallel processor system dedicated to SIMD and its application to three-dimensional color graphicsMasatoshi Kubo, E. Toshima, N. Mori, H. Hoshino, Kiyoshi Agusa, Yutaka Ohno. 870-875
• Parallel Processing for MIMD SystemsJ. Liu, Y. Zhang. 876-898