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.
Date Reading Topic
W Sep 8LZGS Chapter 1 1. Course Overview
M Sep 13LZGS Chapters 1, 2, 4 2. Performance Models & Measures
W Sep 15LZGS Chapter 3 3. Fundamental Laws
M Sep 20LZGS Chapter 3 4. Fundamental Laws - 2
W Sep 22LZGS 5.1-5.3 & 5.5 5. Asymptotic Bounds
M Sep 27LZGS Chapter 6 6. Mean Value Analysis
W Sep 29SR Ch. 1-3; AA Sec. 2.0-2.4 7. Review of basic probability
M Oct 4SR 4.1-3, 4.5, 5.1-3; AA 2.5-6, 2.9; LK App. I 8. Random Variables and Distributions
W Oct 6SR Sec. 4.6-9, 5.4-5, 5.6.2; AA 3.0-3.2.4 9. Distributions & Measures
M Oct 11SR 5.6.1, 6.1-3, 7.1-2, 7.6; AA 2.7, 3.2.5-6, 3.4 10. Special distributions, mass weighted distr. fn.
W Oct 13SR 6.4-6.6, 7.4; AA 2.8, 3.2.10-11 11. Erlang, Gamma, lognormal, binomial distributions
M Oct 18AA 2.6, 2.8; SR 4.4-9,5.2,7.1-4 12. Conditional expectation, hyperexponential CDF
W Oct 20Padhye et al. '98 (pp. 1-7) 13. TCP throughput Model
M Oct 25AA 4.0-4.2; LK pp 61-69 14. The Poisson process
W Oct 27AA p. 208; LK pp. 64,117-118 15. The PASTA property
M Nov 1 16. M/M/1 FCFS Queue: mean wait
W Nov 3 17. M/M/1 Queue: queue length distribution
M Nov 8All of the Above 18. Review for Midterm
W Nov 10 19. Midterm Exam
M Nov 15 20. Burke's Result
W Nov 17LK Sec 5.5-5.6 21. M/G/1 Queue: recurrence relation
M Nov 22LK Sec 5.2,5.5-5.6 22. M/G/1: Mean Residual Life
W Nov 24AA 5.3.1 23. Berry & Chandy Token Ring Model
M Nov 29AA 4.3,5.0-5.2.1, LK1 2.4 & 3.1 24. Continuous Time Markov Chains: M/M/1 LCFS or PS
W Dec 1AA 5.2, LK1 Chapter 3 25. Machine Repair model, M/M/1/K Queue
M Dec 6Greenberg et al. paper, pp. 26. Markov Chains: Cache Coherence Protocol Model
W Dec 8LZGS Chapter 6 27. Mean Value Analysis of QNs
M Dec 13Tan et al. paper, pp. 28. MVA: Configuring Scalable Media Servers
W Dec 15All of the above 29. Review & course wrap-up

 
Computer Sciences | UW Home