A Reliable Broadcast Protocol
- Adrian Segall
- Adrian Segall
- et al.
- 1983
- IEEE Transactions on Communications
Paper
Publications
181 results at IEEE Transactions on Communications
Modular Verification of Computer Communication Protocols
- Brent T. Hailpern
- Susan S. Owicki
- 1983
- IEEE Transactions on Communications
PaperAn Algorithm for Optimal Route Selection in SNA Networks
- Bezalel Gavish
- Sidney L. Hantler
- 1983
- IEEE Transactions on Communications
PaperUsing Automated Validation Techniques to Detect Lockups in Packet-Switched Networks
- Mark Sherman
- Harry Rudin
- 1982
- IEEE Transactions on Communications
PaperPerformance Analysis of the SNA Virtual Route Pacing Control
- Mischa Schwartz
- 1982
- IEEE Transactions on Communications
PaperMinimizing Packet Waiting Time in a Multibeam Satellite System
- Inder Gopal
- Don Coppersmith
- et al.
- 1982
- IEEE Transactions on Communications
PaperA Responsive Distributed Routing Algorithm for Computer Networks
- Jeffrey M. Jaffe
- Franklin H. Moss
- 1982
- IEEE Transactions on Communications
PaperOptimum FIR Transmitter and Receiver Filters for Data Transmission over Band-Limited Channels
- Pierre R. Chevillat
- Gottfried Ungerboeck
- 1982
- IEEE Transactions on Communications
PaperA Hybrid ARQ Scheme with Parity Retransmission for Error Control of Satellite Channels
- Shu Lin
- Philip S. Yu
- 1982
- IEEE Transactions on Communications
PaperVerification of HDLC
- Daniel Brand
- William H. Joyner
- 1982
- IEEE Transactions on Communications
Paper