Course Websites

• Reliable and Secure Systems

Development of analytical models of computer systems and application of such models to performance evaluation; topics include scheduling policies, paging algorithms, multiprogrammed resource management, and queuing theory.

Same as CS 541 and CSE 524.

• Review of basic probability and statistics
• The theory of discrete and continuous time Markov chains; applications to memory bandwidth analysis and paging algorithm evaluation
• Probabilistic and deterministic policies for processor scheduling in batch and time-shared systems
• Multiprogrammed memory management: optimal and heuristic allocation and replacement algorithmsthe diffusion approximation in queueing theory
• Queueing theory: exact and approximate techniques for the analysis of single queues and networks of queues; product-form solutions and computational algorithms; the diffusion approximation in queueing theory
• Simulation theory and methodology; simulation languages and the construction of simulators; design of a simulation experiment; analysis of the simulation output: deriviation of point and interval extimates; variance reduction techniques; generation of uniform and non-uniform pseudo-random numbers

Topics:

• Review of basic probability and statistics
• The theory of discrete and continuous time Markov chains; applications to memory bandwidth analysis and paging algorithm evaluation
• Probabilistic and deterministic policies for processor scheduling in batch and time-shared systems
• Multiprogrammed memory management: optimal and heuristic allocation and replacement algorithmsthe diffusion approximation in queueing theory
• Queueing theory: exact and approximate techniques for the analysis of single queues and networks of queues; product-form solutions and computational algorithms; the diffusion approximation in queueing theory
• Simulation theory and methodology; simulation languages and the construction of simulators; design of a simulation experiment; analysis of the simulation output: deriviation of point and interval extimates; variance reduction techniques; generation of uniform and non-uniform pseudo-random numbers

Same as CS 541 and CSE 524.

H. Kobayashi, Modeling and Analysis: An Introduction to System Performance Evaluation Methodology, Addison-Wesley, 1978.