Faculty : Faculty of Engineering and Applied Sciences

School : Computer Science and Engineering

Course Description :

(Prerequisite: An introductory course in programming and translation). Formal description of syntax and semantics, fundamental computation mechanisms (including Turing machine, Markov algorithm, lambda calculus and resolution principle), programming paradigms, advanced programming techniques (including lazy evaluation, stream programming, message passing programming, secure programming), structured programming, debugging, verification of programs and compilers and proofs of correctness. Storage management. Run-time organization. Compiler construction. Lexical analysis, syntax analysis. Semantic analysis, code generation and optimization. Design of programming languages (including declarative, stateful, concurrent ones, more concretely various types of procedural, functional, and logic programming languages),

Faculty : Faculty of Engineering and Applied Sciences

School : Computer Science and Engineering

Course Description :

Programming Fundamentals (Fundamental Constructs, Algorithmic Problem Solving, Data Structures, Recursion), Algorithms and Complexity (Basic Analysis, Algorithmic Strategies, Fundamental Algorithms), Architecture and Organization (Digital Logic And Data Representation, Computer Organization, Memory Architecture, Functional Organization)). Introduction to Parallel Computing, Parallel Platforms, Principles of Parallel Algorithm Design, Basic Communication Operations, Analytical Modeling for Parallel Programs, Message Passing Programming Model, Shared Memory Programming Model, Data-Parallel Programming Model, Case Studies of Parallel Algorithms.

Faculty : Faculty of Engineering and Applied Sciences

School : Computer Science and Engineering

Course Description :

Instruction-level parallelism: speculative execution, branch predication, instruction/data prefetching, dynamic instruction issue, static instruction issue, compiler optimizations; Data-level parallelism: SIMD architecture, GPUs, vector processing; Thread-level parallelism: multicore processing architecture, multithreading; Heterogeneous architectures; Memory hierarchy design; Term paper or project is required.

Faculty : Faculty of Engineering and Applied Sciences

School : Computer Science and Engineering

Course Description :

A course on digital systems testing and testable design; test economics, fault modeling, logic and fault simulation, testability measures, test generation for combinational and sequential circuits, memory test, delay test, scan design, built-in self-test, and boundary scan.

Faculty : Faculty of Engineering and Applied Sciences

School : Computer Science and Engineering

Course Description :

Principles of embedded system design. Focus on design methodologies and foundations. Platform-based and communication-based design and their relationships with design time, re-use, and performance. Models of computation and their use in design capture, manipulation, verification, and synThesis .Mapping into architecture and system platforms. Performance estimation. Scheduling and real-time requirements. Synchronous languages and timetriggered protocols to simplify the design process. Simulation techniques for highly programmable platforms. SynThesis and successive refinement: meta-model of computation. Use of design tools and analysis of their capabilities and limitations: Ptolemy, POLIS, Metropolis, VCC, Co-ware.