ICDCS A

55 papers

YearTitle / Authors
1981A Combined Communication Network design and File Allocation for Distributed Databases.
Keki B. Irani, Nicholas G. Khabbaz
1981A Distributed Algorithm for Organizing Mobile Radio Telecommunication Networks.
Dennis J. Baker, Anthony Ephremides
1981A Distributed Operating System for the Stony Brook Multicomputer.
Richard B. Kieburtz
1981A Fault-Tolerant Multiprocessor System with Rollback Recovery Capabilities.
A. M. Feridun, Kang G. Shin
1981A First Attempt at Translating CSP into CCS.
Matthew Hennessy, Wei Li, Gordon D. Plotkin
1981A Hierarchical Network of Processors for computed Tomography Computation on Large Data Bases.
Barry K. Gilbert, Rodney D. Beistad, Loren M. Krueger
1981A Highly Reliable Distributed Filestore Directory System.
Kenneth Lunn, Keith H. Bennett
1981A Local Distributed Microcomputer Network Based on an Optical Bus System with Decentralized Communication Control.
P. Birzele, H. Thinschmidt
1981A Non-Persistent CSMA-Abort Access Protocol for a Local Computer Network.
Guy Bernard
1981A Responsive Distributed Routing Algorithm for Computer Networks.
Jeffrey M. Jaffe, Franklin H. Moss
1981A Stable Distributed Scheduling Algorithm.
Raymond M. Bryant, Raphael A. Finkel
1981A Stochastic Model of an End-to-End Packet-Switched Connection with Optimistic Storage Allocation at the Receiver.
Stephen William Edge, A. J. Mayne
1981A Synchronization Calculus for Message Oriented Programming.
Paulo Roberto Freire Cunha, T. S. E. Maibaum
1981An Experimental Implementation of CSP.
Liuba Shrira, Nissim Francez
1981An Interactive Environment for Distributed Computing.
D. Owen, Allan Ramsay
1981Analyse Syntaxique en Environnement Parallele.
François Baccelli, Thierry Fleury
1981Analysis and Performance Evaluation of HYPERchannel Access Protocols.
Otto Spaniol
1981Architecture du Logiciel d'un Autocommutateur construit sur un Reseau.
M. Maisonneuve, J.-P. Lévy, J.-L. Konrat
1981Are Fairness Assumptions Fair?
Manfred Broy
1981Basic Concepts for the Support of Distributed Systems: The Chorus Approach.
Hubert Zimmermann, Jean-Serge Banino, Alain Caristan, Marc Guillemont, Gérard Morisset
1981Checkpointing and Error Recovery in distributed Systems.
John A. McDermid
1981Communication Through Message Passing or Shared Memory: A Formal Comparison.
Rocco De Nicola, Alberto Martelli, Ugo Montanari
1981Controle Repati Des Synchronisations Entre Processus.
D. Herman
1981DISLANG: A Distributed Programming Language/System.
C.-M. Li, M. T. Liu
1981Distributed Query Management for a Local Network Database System.
N. G. Toan
1981Distributed Virtual Systems.
A. Fusi, G. Sommi
1981End-to-End Arguments in System Design.
Jerome H. Saltzer, David P. Reed, David D. Clark
1981GALAXIE: A Reconfigurable Network of Processors with Distributed Control.
Jean Pierre Andre, Jean Claude Petit
1981Graphical Programming for Parallel Processing Systems.
J. C. Boarder
1981Integrated Software Design for Z-Net, A Local Microcomputer Network.
E. Benhamou
1981Interpreted COSY Programs: Programming and Verification.
Peter E. Lauer, M. W. Shields
1981Intertask Communication Primitives for Distributed Computer Control Systems.
Jeff Kramer, Jeff Magee, Morris Sloman
1981Jet Propulsion Local Area Network (JPLAN).
A. K. Agrawal, V. V. Vadakan
1981Module and Data Allocation Methods in Distributed Systems.
R. Marcogliese, R. Novarese
1981Multilevel Secure Distributed System.
George I. Davida, Richard A. DeMillo, Richard J. Lipton
1981Object Naming and Catalog Management for a Distributed Database Management System.
Bruce G. Lindsay
1981On the Design of Concurrent Systems.
Ryszard Janicki
1981On the Performance Evaluation of DECnet.
Daniel R. Seligman
1981Optimal Placement of Identical Resources in a Distributed Network.
Michael J. Fischer, Leonidas J. Guibas, Nancy D. Griffeth, Nancy A. Lynch
1981PEPIN: An Experimental Multi-Microcomputer Data Base Management System.
P. Bouchet, A. Chesnais, Jean-Michel Feuvre, Geneviève Jomier, Alain Kurinckx
1981POLYPROC II-The University of Sussex Multiple Microprocessor System.
Richard L. Grimsdale, Fred Halsall, F. Martin-Polo, Gholamali C. Shoja
1981Partial Correctness of Communicating Sequential Processes.
Zhou Chao Chen, C. A. R. Hoare
1981Performance Evaluation and Comparison of Dependable Channel Access Technologies for Locally-Distributed computing systems.
D. R. Powell
1981Performance Modeling of a Class of Asynchronous TMR Processor Systems.
G. Pulkkis, P. Poyhonen
1981Proceedings of the 2nd International Conference on Distributed Computing Systems, Paris, France, 1981
1981Queueing Analysis of the Ordering Issue in a Distributed Database Concurrency Control Mechanism.
Farouk Kamoun, Leonard Kleinrock, Richard R. Muntz
1981Stepwise Specification of a Distributed Database System.
K. Voss
1981THC-A Dimple High-Performance Local Network.
J. Knight, M. Itzkowitz
1981Temporal Logic Specification of Distributed Systems.
Richard L. Schwartz, P. M. Melliar-Smith
1981The CESAR System: An Aided Design and Certification System.
Jean-Pierre Queille
1981The Cube Network as a Distributed Processing Test Bed Switch.
Howard Jay Siegel, Robert J. McMillen
1981The User Interface to the Cambridge Model Distributed System.
Andrew Herbert
1981Towards a Zero Assignment Parallel Processor.
M. Ronan Sleep, F. Warren Burton
1981Update Consistency and Parallelism in Distributed Databases.
Michel E. Adiba, Juan M. Andrade
1981Wave Scheduling: Distributed Allocation of Task Forces in Network Computers.
André M. Van Tilborg, Larry D. Wittie