%A R. Smith %T The contract net protocol: high-level communication and control in a distributed problem solver %J Proceedings of the First International Conference on Distributed Computing Systems %C ??? %D ??? %K icdcs icdcs1 %P 185-192 %A H. Zimmermann %A J.-S. Banino %A A. Caristan %A M. Guillemont %A G. Morisset %T Basic concepts for the support of distributed systems: the Chorus approach %J Proceedings of the Second International Conference on Distributed Computing Systems %C New York %D April 1981 %K icdcs icdcs2 %P 60-66 %A R.M. Bryant %A R. Finkel %T A stable distributed scheduling algorithm %J Proceedings of the Second International Conference on Distributed Computing Systems %C New York %D April 1981 %K icdcs icdcs2 %P 314-323 %A A.M. van\ Tilborg %A L.D. Wittie %T Wave scheduling: distributed allocation of task forces in network computers %J Proceedings of the Second International Conference on Distributed Computing Systems %C New York %D April 1981 %K icdcs icdcs2 %P 337-347 %A J.K. Ousterhout %T Scheduling techniques for concurrent systems %J Proceedings of the Third International Conference on Distributed Computing Systems %C ??? %D 1982 %K icdcs icdcs3 %P 22-30 %A S.A. Mamrak %A P. Maurath %A J. Gomez %A S. Janardan %A C. Nicholas %T Guest layering distributed processing support on local operating systems %J Proceedings of the Third International Conference on Distributed Computing Systems %C ??? %D 1982 %K icdcs icdcs3 %P 854-859 %A J.L Gaudot %A M.D. Ercegovac %T Performance analysis of a data-flow computer with variable resolution actors %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 2-9 %A Masatoshi Kuro %A Tatsuyo Kohmoto %A Yutaka Ohno %T A data flow machine with optimization driven graph reduction mechanism %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 10-14 %A Vason P. Srini %T Node reassignment in a dataflow system %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 15-27 %A Virgina Mary Lo %T Heuristic algorithms for task assignment in distributed systems %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 30-39 %A Camille C. Price %A S. Krishnaprasad %T Software allocation models for distributed computing systems %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 40-48 %A John A. Stankovic %A Inderjit S. Sidhu %T An adaptive bidding algorithm for processes, clusters and distributed groups %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 49-59 %A B.N. Malm %A G.M. Flachs %T Algorithm modeling on distributed systems %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 62-68 %A Kam-Wing Ng %A Wai-kit Li %T GDPL - a generalized distributed programming language %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 69-78 %A V.R. Prasad %T Interference-freedom in proofs of CSP programs %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 79-86 %A Armen Gabrelian %A Douglas B. Tyler %T Optimal object allocation in distributed computer systems %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 88-95 %A Krithivasan Ramamritham %A John A. Stankovic %T Dynamic task scheduling in distributed hard real-time systems %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 96-107 %A Jonathan Silverman %T Communications in a distributed computer testbed %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 108-116 %A C.M. Woodside %A D.W. Craig %T Function allocation in a tightly coupled signal processing multiprocessor %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 118-125 %A Henk J. Sips %T Task distribution on clustered parallel- or multiprocessor systems %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 126-130 %A Steven M. Jacobs %A Larry V. Johnson %A Odette Khedr %T A technique for systems architecture analysis and design applied to the Satellite Ground System (SGS) %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 131-140 %A J.C. Valadier %A D.R. Powell %T On CSMA protocols allowing bounded channel access times %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 146-153 %A R.W. Watson %A S. Mamrak %T Special or general purpose end-to-end transport mechanisms in distributed systems: one view %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 154-165 %A Tai-Ming Parng %A Shing-Choing Chang %T Logical design of high level protocols for local area network %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 166-172 %A Masaharu Imai %A Yuuji Tatezumi %A Yuuji Yoshida %A Teruo Fukumura %T The architecture and efficiency of DON: a combinatorial problem oriented multicomputer system %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 174-182 %A Ossama I. El-Dessouki %A Nevin Darwish %T Distributed search of game trees %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 183-191 %A David A. Carlson %T Parallel processing of tree-like computations %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 192-200 %A K. Garg %T An approach to performance specification of communication protocols using timed Petri nets %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 202-212 %A Alexander Thomasian %A Paul Bay %T Analysis of an integrated queueing model of a computer communication network %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 213-222 %A Tatsuya Suda %T Performance of a tree network with collision avoidance switches %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 223-231 %A Joseph F. Springer %T The architecture and operation of a multiple microcomputer signal processing system %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 234-242 %A Fredrick Gey %A Deane Merrill %A John McCarthy %A Harvard Holmes %T Distributed SEEDIS: an information system using local and long distance networks %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 243-247 %A Eric J. Berglund %A David R. Cheriton %T Amaze: a distributed multi-player game program using the distributed V kernel %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 248-253 %A Robert R. Seban %A Howard Jay Siegel %T Theoretical modeling and analysis of special purpose interconnection networks %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 256-265 %A Dharma P. Agrawal %A Ja-Song Leu %T Dynamic accessibility testing and path length optimization of multistage interconnection networks %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 266-277 %A George Broomell %A J. Robert Heath %T An integrated-circuit crossbar switching system design %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 278-287 %A David R. Cheriton %A Timothy P. Mann %T Uniform access to distributed name interpretation in the V system %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 290-297 %A Ronald Curtis %A Larry Wittie %T Naming in distributed language systems %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 298-302 %A Edward T. Smith %T Debugging tools for message-based, communicating processes %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 303-310 %A Mark C. Paulk %T The ARC network: case study of a local area network %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 312-318 %A Thomas J. LeBlanc %A Robert P. Cook %T Broadcast communication in StarMod %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 319-325 %A Ariel J. Frank %A Larry D. Wittie %A Arthur J. Bernstein %T Group communication on netcomputers %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 326-335 %A Hector Garcia-Molina %A Daniel Barbara %T Optimizing the reliability provided by voting mechanisms %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 340-346 %A Gael N. Buckley %A Avi Silberschatz %T A failure tolerant centralized mutual exclusion algorithm %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 347-356 %A Srinivas V. Makam %A Algirdas Avizienis %T An event-synchronized system architecture for integrated hardware and software fault-tolerance %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 357-365 %A Chin-Wan Chung %A Keki B. Irani %T A semi-join strategy for distributed query optimization %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 368-377 %A Arie Segev %T Optimizing fragmented 2-way joins %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 378-388 %A Yaakov L. Varol %A Susan V. Vrbsky %T Distributed query processing allowing for redundant data %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 389-396 %A Tammy Chan %A Devesh Bhatt %A Walter Heimerdinger %A Larry Kinney %A Marvin Lum %T A high-performance. multi-link, multi-protocol data link controller for an experimental distributed computer testbed %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 398-405 %A Andre M. van\ Tilborg %T Guardian: decentralized control of an embedded multimicroprocessor %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 406-413 %A N.D. Gammage %A L.M. Casey %T The software architecture of a distributed processing system %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 414-420 %K XMS %A M. Fridrich %A W. Older %T HELIX: the architecture of a distributed file system %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 422-431 %A Jeffrey Mogul %T Representing information about files %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 432-439 %A I.M. MacLeod %T Data consistency in sensor-based distributed computer control systems %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 440-446 %A V.P. Kumar %A S.M. Reddy %T A class of graphs for fault-tolerant processor interconnections %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 448-460 %A C.S. Raghavendra %A D.S. Parker %T Reliability analysis of an interconnection system %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 461-471 %A Rajesh Kumar %A E. Gail Gray %T A fault-tolerant one-dimensional cellular structure %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 472-483 %A Chuan-Li Zhu %A Pen-Chung Yew %T A synchronization scheme and its applications for large multiprocessor systems %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 486-493 %A Warren Smith %A Paul Decitre %T An evaluation method for analysis of the weighted voting algorithm for maintaining replicated data %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 494-502 %A Gus A. Galatianos %A Wang-Chuan Tsai %T Performance evaluation of database update synchronization on Ethernet environments %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 503-512 %A R.M. Yanney %A J.P. Hayes %T Distributed recovery in fault-tolerant multiprocessor networks %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 514-525 %A K.H. Kim %T Distributed execution of recovery blocks: an approach to uniform treatment of hardware and software faults %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 526-532 %A Kurt Geihs %T Design considerations for a fault-tolerant distributed processor system %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 533-543 %A Mukul K. Sinha %A N. Natarajan %T A distributed deadlock detection algorithm based on tiemstamps %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 546-556 %A K. Rothermel %A B. Walter %T A kernel for transaction oriented communication in distributed database systems %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 557-565 %A Brett D. Fleisch %T Meta-activities: towards coherent distributed jobs %J Proceedings of the Fourth International Conference on Distributed Computing Systems %C San Francisco, California %D May 1984 %K icdcs icdcs4 %P 566-578 %A R.D. Gaglianello %A H.P. Katseff %T Meglos: an operating system for a multiprocessor environment %J Proceedings of the Fifth International Conference on Distributed Computing Systems %C ??? %D May 1985 %K icdcs icdcs5 %P 35-42 %A C.K. Mohan %A L.D. Wittie %T Local reconfiguration of management trees in large networks %J Proceedings of the Fifth International Conference on Distributed Computing Systems %C ??? %D May 1985 %K icdcs icdcs5 %P 386-393 %A L. Wittie %A R. Curtis %T Time management for debugging distributed systems %J Proceedings of the Fifth International Conference on Distributed Computing Systems %C ??? %D May 1985 %K icdcs icdcs5 %P 549-551 %A Vladimir S. Cherkassky %T Performance of non-rectangular multistage interconnection networks %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 2-7 %A Roy M. Jenevein %A Bernard L. Menezes %T KYKLOS: low tide high flow %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 8-15 %A Yuen-Wah Ma %A Bhagirath Narahari %T Optimal mappings among interconnection networks for performance evaluation %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 16-25 %A James F. Kurose %A Rahul Simha %T A microeconomic approach to optional file allocation %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 28-35 %A Daniel Barbara %A Hector Garcia-Molina %A Annemarie Spauster %T Policies for dynamic vote reassignment %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 37-44 %A Barnard L. Menezes %A Roy M. Jenevein %A Miroslaw Malek %T Reliability analysis of the KYKLOS interconnection network %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 46-53 %A A. Varma %A C.S. Raghavendra %T Fault-tolerant routing of permutations in extra-stage networks %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 54-61 %A A. Ghafoor %A T.R. Bashkow %A I. Ghafoor %T Fault-tolerance and diagnosability of bisectional interconnection networks %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 62-69 %A Menkae Jeng %A Howard Jay Siegel %T A fault-tolerant multistage interconnection network for multiprocessor systems using dynamic redundancy %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 70-77 %A Karl Kleissner %A Markus Stumptner %T Performance of concurrency control algorithms in distributed databases with tight coupling of multi-processors at each node %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 80-87 %A Amit P. Sheth %A Ming T. Liu %T Integrating locking and optimistic concurrency control in distributed database systems %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 89-99 %A T.V. Lakshman %A A.K. Agrawala %T Communication structure of decentralized commit protocols %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 100-107 %A Susumu Horiguchi %A Yoshiharu Shigei %T A parallel sorting algorithm for a linearly connected multiprocessor system %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 111-118 %A R. Marshall %T The creation, dispersal and execution of concurrent modules in a distributed system: methodological considerations %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 119-127 %A Walter H. Kohler %A Bao-Chyuan Jenq %T Performance evaluation of integrated concurrency control and recovery algorithms using a distributed transaction processing testbed %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 130-139 %A Mukesh Singhal %A A.K. Agrawala %T A concurrency control algorithm and its performance for replicated database systems %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 140-147 %A Philip S. Yu %A Douglas Cornell %A Daniel M. Dias %A Alexander Thomasian %T On coupling partitioned database systems %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 148-157 %A K.S. Stevens %A S.V. Robison %A A.L. Davis %T The Post Office - communication support for distributed ensemble architectures %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 160-166 %A J. Dean Brock %A Amos R. Omondi %A David A. Plaisted %T A multiprocessor architecture for medium-grain parallelism %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 167-174 %A A. Ruvinski %A J.L. Pokoski %T Polystructural, reconfigurable, and fault-tolerant computers %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 175-182 %A Brent Welch %A John Ousterhout %T Prefix tables: a simple mechanism for locating files in a distributed system %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 184-189 %A David R. Cheriton %T Problem-oriented shared memory: a decentralization approach to distributed system design %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 190-197 %A Marc Shapiro %T Structure and encapsulation in distributed systems: the proxy principle %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 198-204 %A S. Thanawastien %A D. Blass %T A CSMA/CD-token ring hybrid architecture for local area networks %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 206-215 %A Chi-Yin Huang Hsu %A Jane W.-S. Liu %T Dynamic load balancing algorithms in homogeneous distributed systems %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 216-223 %A C.C. Lee %T Performance analysis of packet broadcast network with priority-free capture schemes %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 224-231 %A Thomas L. Casavant %A Jon G. Kuhl %T A formal model of distributed decision-making and its application to distributed load balancing %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 232-239 %A Stephen Vinter %A Krithi Ramamritham %A David Stemple %T Recoverable actions in Gutenberg %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 242-249 %A Richard E. Schantz %A Robert H. Thomas %A Girome Bono %T The architecture of the Cronus distributed operating system %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 250-259 %A Robert Hagmann %T Process server: sharing processing power in a workstation environment %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 260-267 %A Robert J. Souza %A Steven P. Miller %T Unix and remote procedure calls: a peaceful coexistence ? %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 268-277 %A James M. Butler %A A. Yaviz Oruc %T EUCLID: an architectural multiprocessor simulator %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 280-287 %A Peter E. Green %A Ronald J. Juels %T The jigsaw puzzle: a distributed performance test %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 288-295 %A Paul R. Ponville %A Lois L. Delcambre %A Steve P. Landry %T Describing distributed environments %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 296-302 %A Frank Feather %A Daniel Siewiorek %A Zary Segall %T Validation of a fault-tolerant multiprocessor: synthetic workload implementation %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 303-312 %A Beverly A. Sanders %T An incentive compatible flow control algorithm for fair rate allocation in computer/communication networks %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 314-320 %A Satish K. Tripathi %A Shing-Tsaan Huang %T Distributed resource scheduling for a large scale network of processors: HCSN %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 321-328 %A Frank C.H. Lin %A Robert M. Keller %T Gradient model: a demand-driven load balancing scheme %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 329-336 %A Ahmed K. Ezzat %A R. Daniel Bergeron %A John L. Pokoshi %T Task allocation heuristics for distributed computing systems %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 337-346 %A William J. Barr %T The work manager - a full featured gateway system %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 348-354 %A K. Ravindran %A Samuel T. Chanson %T Process alias-based structuring techniques for distributed computing systems %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 355-363 %A Riccardo Gusella %A Stefano Zatti %T An election algorithm for a distributed clock synchronization program %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 364-371 %A J.A. Stankovic %A D. Towsley %T Dynamic reallocation in a highly integrated real-time distributed system %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 374-381 %A Madalene Spezialetti %A Phil Kearns %T Efficient distributed snapshots %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 382-388 %A Luis Felipe Cabrera %A Stuart Sechrest %A Ramon Caceres %T The administration of distributed computations in a networked environment %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 389-397 %A Ariel Orda %A Raphael Rom %T Packet duplication and elimination in distributed networks %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 401-404 %A Michael P. Zeleznik %T A portable, network-transparent communication system for message-based applications %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 405-412 %A Guy T. Almes %T The impact of language and system on remote procedure call design %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 414-421 %K V-system Cheriton %A Rajive Bagrodia %T A distributed algorithm to implement the generalized alternative command of CSP %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 422-427 %A Richard H. Carver %A Kuo-Chung Tai %T Reproducible testing of concurrent programs based on shared variables %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 428-433 %A K. Geihs %A M. Seifert %T Automated validation of a co-operation protocol for distributed systems %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 436-443 %A Giorgos Papapanaqiotakis %A Pierre Azena %A Brigitte Pradin-Chezalviel %T On a Prolog environment for protocol analysis %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 444-451 %A W.M. Zuberek %T Modified D-timed Petri nets, timeouts, and modelling of communication protocols %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 452-457 %A Stanley Lee %A Suzanne Sluizer %T On executable specifications of finite state protocol errors %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 458-465 %A J.E. Grass %A R.H. Campbell %T Mediators: a synchronization mechanism %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 468-477 %A Jean-Pierre Banatre %A Michel Banatre %A Florimond Ployette %T The concept of multi-function: a general structuring tool for distributed operating system %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 478-485 %A Robert F, Guruitz %A Michael A. Dean %A Richard E. Schantz %T Programming support in the Cronus distributed operating system %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 486-493 %A Thomas P. Murtagh %T Eliminating proofs of non-interference from Levin-Gries CSP program proofs %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 494-499 %A Douglas B. Terry %T Structure-free name management for evolving distributed environments %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 502-508 %A Douglas Comer %A Thomas P. Murtagh %T The Tilde file naming scheme %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 509-514 %A Alan B. Sheltzer %A Robert Lindell %A Gerald J. Popek %T Name server locality and cache design in a distributed operating system %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 515-522 %A Douglas E. Comer %A Larry L. Peterson %T A model of name resolution in distributed systems %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 523-530 %A Sang Hyuk Son %A Ashok K. Agrawala %T An algorithm for database reconstruction in distributed environments %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 531-539 %A Anthony V. Ma %A Geneva G. Belford %T A failure and recovery detection protocol for optimistic partitioned operation in distributed database systems %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 540-547 %A Jason Gait %T Highly available enhanced response file service in network computers %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 548-554 %A Andrew S. Tanenbaum %A Sape J. Mullender %A Robbert van\ Renesse %T Using sparse capabilities in a distributed operating system %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 558-563 %K amoeba %A S. Hariri %A C.S. Raghavendra %A V.K. Prasanna Kumar %T Reliability analysis in distributed systems %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 564-571 %A Bosheng Zhou %A Raymond T. Yeh %A Peter A. Ng %T Principle of deadlock detection in Ada programs %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 572-579 %A Pankaj Jalote %T Using broadcasting for multiprocess recovery %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 582-589 %A E. Nett %A J. Kaiser %A R. Kroger %T Providing recoverability in a transaction oriented distributed operating system %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 590-597 %A Satoshi Hasegawa %A Jane W.S. Liu %T A reliable token-driven process synchronization algorithm %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 598-604 %A Jehan-Francois Paris %T Voting with witnesses: a consistency scheme for replicated files %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 606-612 %A C.V. Ramamoorthy %A Jaideep Srivastava %A Wei-tek Tsai %T A distributed clustering algorithm for large computer networks %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 613-620 %A Bharat Bhargava %A Zuwang Ruan %T Site recovery in replicated distributed database systems %J Proceedings of the Sixth International Conference on Distributed Computing Systems %C Cambridge, Massachusetts %D May 1986 %K icdcs icdcs6 %P 621-627