default search action
2nd ICDCS 1981: Paris, France
- Proceedings of the 2nd International Conference on Distributed Computing Systems, Paris, France, 1981. IEEE Computer Society 1981
- Zhou Chao Chen, C. A. R. Hoare:
Partial Correctness of Communicating Sequential Processes. ICDCS 1981: 1-12 - Farouk Kamoun, Leonard Kleinrock, Richard R. Muntz:
Queueing Analysis of the Ordering Issue in a Distributed Database Concurrency Control Mechanism. ICDCS 1981: 13-23 - D. Herman:
Controle Repati Des Synchronisations Entre Processus. ICDCS 1981: 24-30 - Bruce G. Lindsay:
Object Naming and Catalog Management for a Distributed Database Management System. ICDCS 1981: 31-39 - A. Fusi, G. Sommi:
Distributed Virtual Systems. ICDCS 1981: 41-49 - R. Marcogliese, R. Novarese:
Module and Data Allocation Methods in Distributed Systems. ICDCS 1981: 50-59 - Hubert Zimmermann, Jean-Serge Banino, Alain Caristan, Marc Guillemont, Gérard Morisset:
Basic Concepts for the Support of Distributed Systems: The Chorus Approach. ICDCS 1981: 60-66 - Richard B. Kieburtz:
A Distributed Operating System for the Stony Brook Multicomputer. ICDCS 1981: 67-78 - M. Ronan Sleep, F. Warren Burton:
Towards a Zero Assignment Parallel Processor. ICDCS 1981: 80-85 - Jean Pierre Andre, Jean Claude Petit:
GALAXIE: A Reconfigurable Network of Processors with Distributed Control. ICDCS 1981: 86-94 - Richard L. Grimsdale, Fred Halsall, F. Martin-Polo, Gholamali C. Shoja:
POLYPROC II-The University of Sussex Multiple Microprocessor System. ICDCS 1981: 95-103 - Matthew Hennessy, Wei Li, Gordon D. Plotkin:
A First Attempt at Translating CSP into CCS. ICDCS 1981: 105-115 - Manfred Broy:
Are Fairness Assumptions Fair? ICDCS 1981: 116-125 - Liuba Shrira, Nissim Francez:
An Experimental Implementation of CSP. ICDCS 1981: 126-136 - Peter E. Lauer, M. W. Shields:
Interpreted COSY Programs: Programming and Verification. ICDCS 1981: 137-147 - Jean-Pierre Queille:
The CESAR System: An Aided Design and Certification System. ICDCS 1981: 149-161 - C.-M. Li, M. T. Liu:
DISLANG: A Distributed Programming Language/System. ICDCS 1981: 162-172 - D. Owen, Allan Ramsay:
An Interactive Environment for Distributed Computing. ICDCS 1981: 173-178 - Michel E. Adiba, Juan M. Andrade:
Update Consistency and Parallelism in Distributed Databases. ICDCS 1981: 180-187 - N. G. Toan:
Distributed Query Management for a Local Network Database System. ICDCS 1981: 188-196 - Keki B. Irani, Nicholas G. Khabbaz:
A Combined Communication Network design and File Allocation for Distributed Databases. ICDCS 1981: 197-210 - P. Bouchet, A. Chesnais, Jean-Michel Feuvre, Geneviève Jomier, Alain Kurinckx:
PEPIN: An Experimental Multi-Microcomputer Data Base Management System. ICDCS 1981: 211-217 - K. Voss:
Stepwise Specification of a Distributed Database System. ICDCS 1981: 218-225 - Stephen William Edge, A. J. Mayne:
A Stochastic Model of an End-to-End Packet-Switched Connection with Optimistic Storage Allocation at the Receiver. ICDCS 1981: 227-235 - G. Pulkkis, P. Poyhonen:
Performance Modeling of a Class of Asynchronous TMR Processor Systems. ICDCS 1981: 236-246 - Otto Spaniol:
Analysis and Performance Evaluation of HYPERchannel Access Protocols. ICDCS 1981: 247-255 - D. R. Powell:
Performance Evaluation and Comparison of Dependable Channel Access Technologies for Locally-Distributed computing systems. ICDCS 1981: 256-269 - John A. McDermid:
Checkpointing and Error Recovery in distributed Systems. ICDCS 1981: 271-282 - A. M. Feridun, Kang G. Shin:
A Fault-Tolerant Multiprocessor System with Rollback Recovery Capabilities. ICDCS 1981: 283-298 - Kenneth Lunn, Keith H. Bennett:
A Highly Reliable Distributed Filestore Directory System. ICDCS 1981: 299-307 - George I. Davida, Richard A. DeMillo, Richard J. Lipton:
Multilevel Secure Distributed System. ICDCS 1981: 308-312 - Raymond M. Bryant, Raphael A. Finkel:
A Stable Distributed Scheduling Algorithm. ICDCS 1981: 314-323 - Michael J. Fischer, Leonidas J. Guibas, Nancy D. Griffeth, Nancy A. Lynch:
Optimal Placement of Identical Resources in a Distributed Network. ICDCS 1981: 324-336 - André M. Van Tilborg, Larry D. Wittie:
Wave Scheduling: Distributed Allocation of Task Forces in Network Computers. ICDCS 1981: 337-347 - Jeffrey M. Jaffe, Franklin H. Moss:
A Responsive Distributed Routing Algorithm for Computer Networks. ICDCS 1981: 348-352 - J. Knight, M. Itzkowitz:
THC-A Dimple High-Performance Local Network. ICDCS 1981: 354-359 - A. K. Agrawal, V. V. Vadakan:
Jet Propulsion Local Area Network (JPLAN). ICDCS 1981: 360-368 - Guy Bernard:
A Non-Persistent CSMA-Abort Access Protocol for a Local Computer Network. ICDCS 1981: 369-376 - Howard Jay Siegel, Robert J. McMillen:
The Cube Network as a Distributed Processing Test Bed Switch. ICDCS 1981: 377-386 - M. Maisonneuve, J.-P. Lévy, J.-L. Konrat:
Architecture du Logiciel d'un Autocommutateur construit sur un Reseau. ICDCS 1981: 388-396 - E. Benhamou:
Integrated Software Design for Z-Net, A Local Microcomputer Network. ICDCS 1981: 397-403 - Jeff Kramer, Jeff Magee, Morris Sloman:
Intertask Communication Primitives for Distributed Computer Control Systems. ICDCS 1981: 404-411 - François Baccelli, Thierry Fleury:
Analyse Syntaxique en Environnement Parallele. ICDCS 1981: 412-422 - Barry K. Gilbert, Rodney D. Beistad, Loren M. Krueger:
A Hierarchical Network of Processors for computed Tomography Computation on Large Data Bases. ICDCS 1981: 423-431 - Paulo Roberto Freire Cunha, T. S. E. Maibaum:
A Synchronization Calculus for Message Oriented Programming. ICDCS 1981: 433-445 - Richard L. Schwartz, P. M. Melliar-Smith:
Temporal Logic Specification of Distributed Systems. ICDCS 1981: 446-454 - Ryszard Janicki:
On the Design of Concurrent Systems. ICDCS 1981: 455-466 - J. C. Boarder:
Graphical Programming for Parallel Processing Systems. ICDCS 1981: 467-474 - Dennis J. Baker, Anthony Ephremides:
A Distributed Algorithm for Organizing Mobile Radio Telecommunication Networks. ICDCS 1981: 476-483 - Daniel R. Seligman:
On the Performance Evaluation of DECnet. ICDCS 1981: 484-496 - P. Birzele, H. Thinschmidt:
A Local Distributed Microcomputer Network Based on an Optical Bus System with Decentralized Communication Control. ICDCS 1981: 497-501 - Andrew Herbert:
The User Interface to the Cambridge Model Distributed System. ICDCS 1981: 503-508 - Jerome H. Saltzer, David P. Reed, David D. Clark:
End-to-End Arguments in System Design. ICDCS 1981: 509-512 - Rocco De Nicola, Alberto Martelli, Ugo Montanari:
Communication Through Message Passing or Shared Memory: A Formal Comparison. ICDCS 1981: 513-522
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: