Home‎ > ‎

Grad Courses and Projects

Distributed Computing
  • 3 Phase commit protocol 
  • Paxos Protocol - Consensus solving protocol.
  • Bayou protocol - Anti Entropy protocol
Wireless Networking
  • Video Streaming in wireless mesh networks
Advance Networking protocols
  • Video Streaming over the web
Applied Text Analysis
  • General exercises to learn different clustering, classification algorithms using SCALA functional language.
Formal Semantics and Verification
  • Analysis and evaluation of different software model checking tools (Cadence SMV Vs CBMC)
Theory of Computation