admin

3 credits (3-0-0) Pre-requisites: COL728/COL729 Special topic that focuses on state of the art and research problems of importance in this area.

3 credits (3-0-0) Pre-requisites: COL331 Or Equivalent To provide insight into current research problems in the area of operating systems. Topics may include, but are… Read More »COL851 Special Topics in Operating Systems

3 credits (3-0-0) Pre-requisites: COL226, COL352 Syntax and semantic foundations: Ranked algebras, homomorphisms, initial algebras, congruences. First-order logic review: Soundness, completeness, compactness. Herbrand models and… Read More »COL832 Proofs and Types

3 credits (3-0-0) Pre-requisites: COL226 OR Equivalent Models of Distributed Computing; Basic Issues: Causality, Exclusion, Fairness, Independence, Consistency; Specification of Distributed Systems: Transition systems, petri… Read More »COL830 Distributed Computing

4 credits (3-0-2) Pre-requisites: COL781 Rendering: Ray tracing, Radiosity methods, Global illumination models, Shadow generation, Mapping, Anti-aliasing, Volume rendering, Geometrical Modeling: Parametric surfaces, Implicit surfaces,… Read More »COL829 Advanced Computer Graphics

3 credits (3-0-0) Pre-requisites: COL719 FPGA architectures, CAD for FPGAs: overview, LUT mapping, timing analysis, placement and routing, Reconfigurable devices – from fine-grained to coarse-grained… Read More »COL821 Reconfigurable Computing

4 credits (3-0-2) Pre-requisites: COL331 COL334 COL380 OR Equivalent Epidemic/Gossip based algorithms, Peer to peer networks, Distributed hash tables, Synchronization, Mutual exclusion, Leader election, Distributed… Read More »COL819 Advanced Distributed Systems

4 credits (3-0-2) Pre-requisites: COL216, COL351, COL331 OR Equivalent Mutual Exclusion, Coherence and Consistency, Register Constructions , Power of Synchronization Operations , Locks and Monitors,… Read More »COL818 Principles of Multiprocessor Systems

3 credits (3-0-0) Pre-requisites: COL719 Embedded systems and system-level design, models of computation, specification languages, hardware/software co-design, system partitioning, application specific processors and memory, low… Read More »COL812 System Level Design and Modelling