Table of Contents

• Linking consistency with object/thread semantics: an approach to robust computationRaymond C. Chen, Partha Dasgupta. 121-128 [doi]
• Fault-tolerant distributed systems based on broadcast communicationP. Michael Melliar-Smith, Louise E. Moser. 129-134 [doi]
• On reliability modelling of fault-tolerant distributed systemsPhilip M. Thambidurai, You-Keun Park, Kishor S. Trivedi. 136-142 [doi]
• Fault-tolerant extensions of complete multipartite networksAbdel Aziz Farrag, Robert J. Dawson. 143-150 [doi]
• Application of Petri net models for the evaluation of fault-tolerant techniques in distributed systemsYuan-Bao Shieh, Dipak Ghosal, Prasad R. Chintamaneni, Satish K. Tripathi. 151-159 [doi]
• CONCERT: a high-level-language approach to heterogeneous distributed systemsShaula A. Yemini, Germán S. Goldszmidt, Alexander D. Stoyenko, Yi-Hsiu Wei, Langdon W. Beeck. 162-171 [doi]
• The Camelot library: A C language extension for programming a general purpose distributed transaction systemJoshua J. Bloch. 172-180 [doi]
• Marionette: a system for parallel distributed programming using a master/slave modelMark Paul Sullivan, David P. Anderson. 181-188 [doi]
• Static allocation of periodic tasks with precedence constraints in distributed real-time systemsDar-Tzen Peng, Kang G. Shin. 190-198 [doi]
• A protocol for timed atomic commitmentSusan B. Davidson, Insup Lee, Victor Fay Wolfe. 199-206 [doi]
• Verifying finite state real-time discrete event processesJonathan S. Ostroff. 207-216 [doi]
• Generating a fault tolerant global clock in a high speed distributed systemYoram Ofek. 218-226 [doi]
• Fault tolerance in a very large database system: a strawman analysisAmit P. Sheth. 227-236 [doi]
• An application of group testing to the file comparison problemTom Madej. 237-243 [doi]
• Initializing hypercubesHoward P. Katseff. 246-253 [doi]
• Programming the twisted-cube architecturesKemal Efe. 254-262 [doi]
• A new approach to hypercube network analysisBo Jin, Lan Jin. 263-268 [doi]
• A shared dataspace model of concurrency-language and programming implicationsGruia-Catalin Roman, H. Conrad Cunningham. 270-279 [doi]
• Analysis of communicating processes for non-progressWuxu Peng, S. Purushothaman. 280-287 [doi]
• A probabilistic approach to distributed clock synchronizationFlaviu Cristian. 288-296 [doi]
• Adaptive load sharing in heterogeneous systemsRavi Mirchandaney, Don Towsley, John A. Stankovic. 298-306 [doi]
• Minimizing control overheads in adaptive load sharingKemal Efe, Bojan Groselj. 307-315 [doi]
• Efficient algorithms for resource allocation in distributed and parallel query processing environmentsPeng Liu, Yasushi Kiyoki, Takashi Masuda. 316-323 [doi]
• A service execution mechanism for a distributed environmentCraig E. Wills. 326-334 [doi]
• Transparent distributed object management under completely decentralized controlHorst F. Wedde, Bogdan Korel, Willie G. Brown, Shengdong Chen. 335-342 [doi]
• Performance of a decentralized knowledge base systemCraig Lee, Lubomir Bic. 343-352 [doi]
• Message ordering in a multicast environmentHector Garcia-Molina, Annemarie Spauster. 354-361 [doi]
• Some graph partitioning problems and algorithms related to routing in large computer networksA. Bouloutas, Prabandham M. Gopal. 362-370 [doi]
• Intelligent routersC. Daniel Wolfson, Ellen M. Voorhees, Maura M. Flatley. 371-376 [doi]
• Evaluation of concurrent poolsDavid Kotz, Carla Schlatter Ellis. 378-385 [doi]
• A time-out based resilient token transfer algorithm for mutual exclusion in computer networksShojiro Nishio, Kin F. Li, Eric G. Manning. 386-393 [doi]
• Distributed query processing in CronusStephen T. Vinter, Nilkanth Phadnis, Richard Floyd. 414-422 [doi]
• A model for concurrent checkpointing and recovery using transactionsPei-Jyun Leu, Bharat K. Bhargava. 423-430 [doi]
• A high performance virtual token-passing multiple-access method for multiple-bus local networksVikram V. Karmarkar, Jon G. Kuhl. 432-439 [doi]
• Performance analysis of synchronous packet networks with priority queueing disciplinesAudrey M. Viterbi. 440-447 [doi]
• Capacity testing a HYPERchannel-based local area networkW. Bruce Watson. 448-454 [doi]
• A flexible algorithm for replicated directory managementSunil K. Sarin, Richard Floyd, Nilkanth Phadnis. 456-464 [doi]
• The reliability of regeneration-based replica control protocolsDarrell D. E. Long, John L. Carroll, Kris Stewart. 465-473 [doi]
• Replicated transactionsTony P. Ng, Shepherd S. B. Shi. 474-480 [doi]
• Collecting unused processing capacity: an analysis of transient distributed systemsLeonard Kleinrock, Willard Korfhage. 482-489 [doi]
• Performance modeling of the modified mesh-connected parallel computerChia-Jiu Wang, Victor P. Nelson, Chwan-Hwa John Wu. 490-497 [doi]
• An analysis of distributed shared memory algorithmsRichard E. Kessler, Miron Livny. 498-505 [doi]
• Reliable distributed sorting through the application-oriented fault tolerance paradigmBruce M. McMillin, Lionel M. Ni. 508-515 [doi]
• On the design of resilient protocols for spanning tree problemsI. Arieh Cimet, C. Cheng, Srikanta P. R. Kumar. 516-523 [doi]
• Fault-tolerant analysis and algorithms for a proposed augmented binary tree architectureBijendra N. Jain, Ravi Mittal, Rakesh K. Patney. 524-531 [doi]
• Fast Ring: a distributed architecture and protocol for local area distributed processingSrinivas Koppolu, Suchai Thanawastien, Robert R. Henry. 534-541 [doi]
• HPC/VORX: a local area multicomputer systemRobert D. Gaglianello, Bethany S. Robinson, T. L. Lindstrom, E. E. Sampieri. 542-549 [doi]
• Implementing location independent invocationAndrew P. Black, Yeshayahu Artsy. 550-559 [doi]
• Distributed diagnosis of Byzantine processors and linksJoel C. Adams, K. V. S. Ramarao. 562-569 [doi]
• Implementation of the conversion scheme in loosely coupled distributed computer systemsSeung-Min Yang, K. H. Kim. 570-578 [doi]
• Missing-partition dynamic voting scheme for replicated database systemsChing-Liang Huang, Victor O. K. Li. 579-586 [doi]
• An environment for prototyping distributed applicationsJames M. Purtilo, Pankaj Jalote. 588-594 [doi]
• A toolkit for automated support of Ada tasking analysisSol M. Shatz, Khanh Mai, D. Moorthi, J. Woodward. 595-602 [doi]
• An approach to verification of communication in distributed computing system softwareStephen S. Yau, Kris W. I. Chen. 603-610 [doi]
• Immediate ordered service in distributed systemsPhil Kearns, B. Koodalattupuram. 611-618 [doi]