CS 5090: Special Topics in Computer Science
   CS 5091: Graduate Seminar in Computer Science
   CS 5131: Compiler Optimization
   CS 5311: Advanced Topics in Computation Theory
   CS 5321: Advanced Algorithms
   CS 5331: Parallel Algorithms
   CS 5411: Advanced Operating Systems
   CS 5431: Advanced Computer Architecture
   CS 5441: Distributed Systems
   CS 5461: Mobile Networks
   CS 5611: Computer Graphics: Advanced Rendering and Animation
   CS 5621: Computer Graphics: Geometric Modeling and Processing
   CS 5632: Computer Graphics: Scientific and Data Visualization
   CS 5711: Advanced Software Engineering
   CS 5811: Advanced Artificial Intelligence
   CS 5990: Master's Research in Computer Science
   CS 5999: Master's Reading and Research

CS 5090 Special Topics in Computer Science f,s,su 1-4

Special topics in computer science offered on occasion based on student and faculty demand and interest.

CS 5091 Graduate Seminar in Computer Science (On Demand) 1-3

From time to time, depending on student demand, a seminar will be offered on advanced topics in current computer science research.

CS 5131 Compiler Optimization f,s 3

This course emphasizes the design and implementation of low- and high-level compiler optimizations. Topics include control- and data-flow analysis, traditional compiler optimization, global register allocation, instruction scheduling, dependence analysis, memory-reuse analysis and loop transformations.
Prerequisite:CS 4131

CS 5311 Advanced Topics in Computation Theory s 3

Provides deeper insight into the power of computing using various models of computation. Topics reviewed include proof techniques finite automata, regular languages, pushdown automata, and context-free languages. Topics covered include turing machines and their variant, the Halting Problem and NP-completeness, space complexity, machine self reference, recurion and fixed point theorem, s-m-n theorem.
Prerequisite:CS 3311

CS 5321 Advanced Algorithms f 3

Advanced algorithms and their design and analysis. Topics include algorithms for complex data structures, probabilistic analysis, amortized analysis, approximation algorithms, and NP-completeness. Also treated are topics such as the design and analysis of algorithms for string-matching and computational geometry.
Prerequisite:CS 4321

CS 5331 Parallel Algorithms s 3

Advanced topics in the design, analysis, and performance evaluation of parallel algorithms. Topics include advanced techniques for algorithm analysis, memory models, run time systems, parallel architectures, and program design, particularly emphasizing the interactions of these factors.
Prerequisite:CS 4331 and CS 4431

CS 5411 Advanced Operating Systems s 3

Advanced concepts in operating systems. Topics include real-time and multiprocessor scheduling, I/O, modern file systems, and performance analysis. Also requires a substantial implementation project.
Prerequisite:CS 4411

CS 5431 Advanced Computer Architecture s 3

An in-depth study of various aspects of parallel processing, with an emphasis on parallel architectures. The course has an analytical focus and investigates 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.
Prerequisite:CS 4431 or EE3173 and EE3175

CS 5441 Distributed Systems s 3

Covers time and order in distributed systems; mutual exclusion, agreement, elections, atomic transactions; distributed file systems, distributed shared memory, distributed system security; and issues in programming distributed systems. Uses selected case studies.
Prerequisite:CS 4411

CS 5461 Mobile Networks s 3

Mobile network issues including routing and mobility management strategies in ad hoc networks, sensor networks, and personal area networks such as bluetooth.
Prerequisite:CS 4461

CS 5611 Computer Graphics: Advanced Rendering and Animation s 3

Topics include polygonal objects, parametric curves and surfaces, lighting models, shadows and textures, ray-tracing techniques, radiosity methods, volume rendering and animation.
Prerequisite:CS 4611

CS 5621 Computer Graphics: Geometric Modeling and Processing (On Demand) 3

Design concepts in geometric modeling. Topics include representation of shapes for solids and surfaces; shape modeling, including parametric curves and surfaces such as Bezier, B-spline, and NURBS curves and surfaces; implicit curves and surfaces; surface intersection, blinding, and offsetting; applied computational geometry; and the design of robust geometric algorithms.
Prerequisite: MA 2330 and CS5611

CS 5632 Computer Graphics: Scientific and Data Visualization (On Demand) 3

Covers the fundamental concepts in the field of scienfific, engineering, biomedical, and information viualization. Emphasizes the representation of scalar, vector, and tensor fields; data sampling and resampling; reconstruction using multivariate, multivalued finite elements, surfaces, volumes, and functions on surfaces; and volumetric rendering techinques.
Prerequisite:(MA 2320 or MA2321 or MA 2330)and CS5611

CS 5711 Advanced Software Engineering f 3

Building on the foundation developed in CS 4711 and CS 4712, this course surveys current research in software engineering. Topics include both the technical aspects of software development (e.g. requirements modeling/analysis, design, verification) and issues pertaining to software process and project management (e.g. measurement, risk analysis, team organization).
Prerequisite:CS 4711 and CS 4712

CS 5811 Advanced Artificial Intelligence 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:CS 4811

CS 5990 Master's Research in Computer Science f,s,su 1-9

The study of an acceptable computer science problem and the preparation of a thesis.

CS 5999 Master's Reading and Research f,s,su 1-9

Individual reading and research on current topics in computer science.