Computer Sciences Dept.

CS 547: Computer System Modeling Fundamentals

Fall 2010
Instructor: Prof. Mary Vernon

Tues. & Thurs. 11:00a-12:15p
1143 Mechanical Engineering


Schedule of Topics & Reading Assignments

LZGS, AA, LK1, and SR are abbreviations for the course texts.

NOTE: The schedule below will be further updated between now and Sep 2.

Date Topic Text/Papers
Th Sep 2 1. Overview: Quantitative System Design (notes) None
Tu Sep 7 2. Queueing Systems, Fundamental Laws (notes) LZGS Chapter 3 & 4 (Sec. 3.1-3.3)
Th Sep 9 3. Forced Flow Law (notes) LZGS Chapter 3
Tu Sep 14 4. Application of the Fundamental Laws LZGS Chapter 3
Th Sep 16 5. Basic Asymptotic Bounds (notes) LZGS Chapter 5
Tu Sep 21 6. Review of Laws, Bounds SR Chapters 2-3
Th Sep 23 7. Review of Basic Probability SR Chapers 2-3
Tu Sep 28 8. Guest Lecture: Bursty Tracing  
Th Sep 30 9. Probability Distributions: CDF SR Sections 4.1, 4.2, 4.3, 5.1
Tu Oct 5 10. Distributions: E[X], CV SR Section 4.4, 5.2, 5.5
Th Oct 7 11. Joint Random Variables SR Chapter 6
Tu Oct 12 12. Conditional Expectation, Workload Characterization O2K, eTeach & BIBS, P2P
Th Oct 14 13. Customized Models: TCP Throughput (notes) Padhye et al., Samios & Vernon
Tu Oct 19 14. TCP Throughput Model  
Th Oct 21 15. PASTA & M/M/1 Queue (notes)  
Tu Oct 26 16. M/M/1 Queue: p_Q(k)  
Th Oct 28 17. Review for midterm  
Tu Nov 2 18. Midterm exam  
Th Nov 4 19. The Bus Paradox & Mice vs Elephants  
Tu Nov 9 20. M/G/1 Queue: avg. residence time LK, Chapter 5
Th Nov 11 21. M/G/1 Queue: applications  
Tu Nov 16 22. Customized Models: Clos Networks Kim et al.
Th Nov 18 23. Queueing Networks: MVA LZGS Chapter 6
Tu Nov 23 24. Queueing Networks: Open vs Closed LZGS Chapter 6
Th Nov 25 25. Thanksgiving Holiday  
Tu Nov 30 26. Queueing Networks: Applications  
Th Dec 2 27. Non-Separable System Features  
Tu Dec 7 28. M/M/1 Queue with Bulk Arrivals  
Th Dec 9 29. Review for Final Exam  
Tu Dec 14 30. Wrap-up: Quantitative System Design  

 
Computer Sciences | UW Home