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