Various programming languages are compared to understand general principles. To do this systematically and ignore inessential details, a formal specification method is introduced. Advanced Computer Networks. Advanced topics and research issues in computer networks. Topics include routing protocols, multicast delivery, congestion control, quality of service support, network security, pricing and accounting, and wireless access and mobile networking.
Emphasis is placed on performance trade-offs in protocol and architecture designs.
Readings assigned from research publications. A course project allows in-depth exploration of topics of interest. Special Topics in Electrical Engineering and Computer Science. Permission of instructor or advisor. May be repeated for credit.