default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM SIGCOMM Symposium 1983: Austin, TX, USA
- David C. Wood, Simon S. Lam:
Proceedings of the symposium on Communications Architectures & Protocols, SIGCOMM 1983, Austin, Texas, USA, March 8-9, 1983. ACM 1983, ISBN 978-0-89791-089-7
Session 2A. Panel: Network Architectures - Current Status
- Richard desJardins:
ISO open systems interconnection standardization status report. 4-5 - Gregory Ennis:
Development of the DoD protocol reference model. 6-7 - Lawrence L. Garlick:
Evolution of Xerox's network systems architecture. 8-9 - Gregor v. Bochmann:
Higher-level protocols are not necessary end-to-end. 10-11
Session 2B: Analysis of Network Routing
- Marjory J. Johnson:
Analysis of routing table update activity after resource failure in a distributed computer network. 14-20 - Eliezer M. Gafni, Dimitri P. Bertsekas:
Path assignment for virtual circuit routing. 21-25 - Hiroshi Kobayashi, Mario Gerla:
Optimal routing in closed queueing networks. 26
Session 3B: Protocol Verification Methods I
- Benedetto L. DiVito:
Mechanical verification of a data transport protocol. 30-37 - A. Udaya Shankar, Simon S. Lam:
Specification and verification of an HDLC protocol with arm connection management and full-duplex data transfer. 38-48 - Son T. Vuong, Donald D. Cowan:
Reachability analysis of protocols with FIFO channels. 49-57
Session 4A. Panel: Communication Networks and Protocol Implementations
- K. L. Cohen, R. P. Levy:
X.25 implementation the untold story. 60-64 - H. Richard Liu:
A layered architecture for a programmable data network. 65
Session 4B: Protocol Verification Methods II
- Mohamed G. Gouda, Yao-Tin Yu:
Maximal progress state exploration. 68-75 - Christos Nikolaou, Edmund M. Clarke, Nissim Francez, Stephen A. Schuman:
A methodology for verifying request processing protocols. 76-83 - Marty Ossefort:
Proving safety properties for a general communication protocol. 84-91
Session 5A: Network Architectures and Algorithms
- Mauricio Arango, David Gelernter, Hussein G. Badr, Arthur J. Bernstein:
Staged circuit switching for network computers. 94-100 - Abdelfettah Belghith
, Leonard Kleinrock:
A distributed routing scheme with mobility handling in stationless multi-hop packet radio networks. 101-108 - Lansing Sloan:
Mechanisms that enforce bounds on packet lifetimes. 109
Session 5B: Specification, Testing and Performance Analysis of Protocols
- Jean-Pierre Ansart, V. Chari, M. Neyer, Omar Rafiq, D. Simon:
Description, simulation and implementation of communication protocols using PDIL. 112-120 - Behçet Sarikaya, Gregor von Bochmann:
Synchronization issues in protocol testing. 121-128 - K. S. Raghunathan, J. A. Barchanski, Gregor von Bochmann:
Relationship between performance parameters for transport and network services. 129-135
Session 6A: The Computer Science Network (CSNET)
- Peter J. Denning, Anthony C. Hearn, C. William Kern:
History and overview of CSNET. 138-145 - Larry Landweber, Michael J. Litzkow, Donald Neuhengen, M. Soloman:
Architecture of the CSNET name server. 146-153 - Douglas Comer, John T. Korb:
CSNET protocol software: the IP-to-X.25 interface. 154-159
Session 6B: Performance Studies
- Kiyoshi Maruyama, David Shorter:
Dynamic route selection algorithms for session based communication networks. 162-169 - M. Y. Elsanadidi, Wesley W. Chu:
Simulation studies of the behavior of multihop broadcast networks. 170-177 - Timothy A. Gonsalves:
Packet-voice communication on an ethernet local computer network: an experimental study. 178-185
Session 7A: Issues in Network Operating System Design
- Lui Sha, E. Douglas Jensen, Richard F. Rashid, J. Duane Northcutt:
Distributed co-operating processes and transactions. 188-196 - G. J. Battarel, H. F. Savary:
Interprocess communication system of the MT35 digital exchange. 197-204 - Hideyuki Tokuda, Eric G. Manning:
An interprocess communication model for a distributed software testbed. 205-212
Session 7B: Local Network Access Protocols
- Mart L. Molle:
Asynchronous multiple access tree algorithms. 214-218 - Luigi Fratta:
An improved access protocol for data communication bus networks with control wire. 219-225 - Maneesh Mehta, Jon W. Mark:
Acknowledging DSMA with priority scheduling for local area networks. 226-231
Session 8A: Gateways and Protocol Compatibility Issues
- Alastair Grant, David Hutchison, W. D. Shepherd:
A gateway for linking local area networks and X.25 networks. 234-239 - Warwick S. Ford:
Portable implementation of network architecture layers. 240-245 - K. V. S. Rao:
X.25 interface to MARKLINK® terminal. 246-253 - R. Braden, Robert Cole, P. Higginson, Peter Lloyd:
A distributed approach to the interconnection of heterogeneous computer networks. 254-259
Session 8B: Queueing Models of Protocols
- Yechiam Yemini:
A bang-bang principle for real-time transport protocols. 262-268 - Steven I. Marcus, G. Jack Lipovski:
Lookahead network priority protocols. 269-274 - Michael K. Molloy:
Character delays in simple X.3 PAD devices. 275-279
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-12-29 01:13 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:
