Shannon's source and channel coding theorems. Computational analysis of biological sequences. High performance systems including traditional parallel supercomputers, Beowulf clusters, and FPGA based hardware accelerators will be discussed. The course will focus on parallelization and locality enhancement for computationally intensive applications in scientific simulation and image processing. Phase plot, fundamental theory for ODE, Lyapunov theory, advanced Lyapunov theory, singular perturbation, and integrator backstepping.
Students learn advanced specification techniques and how to automate tools for verification.
Processor design concepts. Introduction to the field of solid modeling. Examination of the basic elements and structures that support solid modeling systems. Mixture of industrial experience, academic ideas, and current research. Study of modeling algorithms, nonmanifold operations, and geometric representation is the focus.