CS5090 Special Topics in Computer Science d ............................................... var to 3
Special topics in computer science offered on occasion based on student and faculty demand and interest. Prerequisite: permission of instructor. May be repeated.

CS5091 Computer Science Seminar d ............................................................ var to 3
From time to time, depending on student demand, a seminar will be offered on advanced topics in current computer science research.

CS5131 Compiler Optimization (0-3-0) s ................................................................ 3
This course emphasizes the design and implmentation of compiler optimizations. Topics include control- and data-flow analysis, traditional compiler optimization, intermediate forms, register allocation, local and global instruction scheduling, software pipelining, dependence analysis and memory-reuse analysis. Prerequisite: CS4131.

CS5311 Computation Theory (0-3-0) s ................................................................... 3
Turning machines, recursive functions, register machines, parallel computational models, bounds of complexity, NP-completeness and P-Space completeness. Prerequisite: CS4311.

CS5321 Advanced Algorithms (0-3-0) f .................................................................. 3
A continuation of CS4321; covers advanced techniques for design and analysis of computer algorithms. Topics include amortized analysis, divide-and-conquer algorithms, dynamic programming, greedy algorithms, graph algorithm, NP-completeness and approximation algorithms. Prerequisites: CS4311 and CS4321; or permission of instructor.

CS5331 Parallel Algorithms (0-3-0) f ..................................................................... 3
This course emphasizes the principles used in the development of algorithms for parallel computers, including the topics: programming paradigms, implementation, analysis and performance evaluation. Algorithms in the areas of scientific computation and non numeric processing are considered, as are software tools for performance visualization and debugging. Prerequisites: CS4431 and CS4321; or permission of instructor.

CS5431 Advanced Computer Architecture (0-3-0) s .............................................. 3
An in-depth study of various aspects of parallel processing, with an emphasis on parallel architectures. The course will have an analytical focus and will investigate models of various aspects of the design and analysis of parallel systems. Topics include simple uniprocessor/multiprocessor performance models, pipelining, instruction-level parallelism and multiprocessor design issues (synchronization, communication, cache-coherence and contention). Prerequisites: CS4431 and MA321.

CS5441 Distributed Systems (0-3-0) f ..................................................................... 3
Time and order in distributed systems. Process coordination, mutual exclusion, agreement, elections, atomic transactions. Distributed shared memory. Distributed system security. Programming issues. Selected case studies.

CS5611 Advanced Computer Graphics (0-3-0) s ................................................... 3
Topics include polygonal objects, parametric curves and surfaces, lighting models, shadows and textures, ray-tracing techniques, radiosity methods, volume rendering and animation. Prerequisites: CS4611.

CS5711 Advanced Software Engineering (0-3-0) f ................................................. 3
Current issues related to the development of large-scale software. Research covered include formal approaches to requirements definition, software specifications and design, language issues, testing criterion, and management and organizational issues. Prerequisite: CS4611.

CS5811 Advanced Artificial Intelligence (0-3-0) f .................................................................. 3
Course topics include current topics in artificial intelligence including agent-based systems, learning, planning, use of uncertainty in problem solving, reasoning, and belief systems. Prerequisite: CS4811.

CS5911 Advanced Numerical Methods (0-3-0) s ................................................... 3
Topics include linear and nonlinear systems, interpolation, function approximation, numerical integration and differentiation, fast fourier transform, ODEs and PDEs, eigenvalue calculation and unconstrained optimization. Prerequisite: ????.

CS5990 Graduate Research in Computer Science f,w,s,su ............................. var to 6
The study of an acceptable computer science problem and the preparation of a thesis. May be repeated up to a maximum of 6 credits. Prerequisite: permission of the department.

CS5999 Computer Science Reading and Research d ...................................... var to 3
Individual reading and research on current topics in computer science. Prerequisite: permission of instructor.

CS6131 Special Topics in Compilers (0-3-0) f ....................................................... 3
An in-depth study of current research in compilers and compiler optimization. Prerequisite: CS4131. May be repeated with instructor approval.