3 credits (3-0-0) Under this topic one of the following areas will be covered: Fault Detection and Diagnosability. Special Architectures. Design Automation Issues. Computer Arithmetic,… Read More »COL861 Special Topics in Hardware Systems
3 credits (3-0-0) The course will focus on research issues in areas like parallel computation models, parallel algorithms, Parallel Computer architectures and interconnection networks, Shared… Read More »COL860 Special Topics in Parallel Computation
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
