Technical Electives

CO502 Advanced Computer Architecture (3 Credits)
Prerequisites: CO224
Course Content:
Fundamentals of computer design, Introduction to instruction level parallelism (ILP), Pipelined processors, Exploiting ILP with software approaches, Exploiting ILP with hardware approaches, Memory hierarchy design, Hardware description languages and simulation, Computer architecture and dependability, Special purpose processors.
(Lectures: 25h, Tutorial-Classes: 5h, Practicals: 14h, Assignments: 16h)
More Details
 

CO503 Advanced Embedded Systems (3 Credits)
Prerequisites: CO321
Course Content:
Introduction to embedded systems, Custom single-purpose processors, General-purpose processors: software, Embedded system modelling: state machine and concurrent process models, Design technologies of embedded systems, Hardware/software co-design of embedded systems, Operating systems for embedded systems, Design example, System on a Chip (SoC).
(Lectures & Tutorial-Classes: 30h, Practicals & Assignments: 30h)
More Details
 

CO504 Hardware Software Co-design (3 Credits)
Prerequisites: CO224
Course Content:
Introduction to hardware/software co-design, Mapping applications to architecture, System partitioning, Design space exploration, Interface synthesis, Estimation, System simulation, Execution time analysis, Performance analysis.
(Lectures: 29h, Tutorial-Classes: 4h, Practicals: 18h, Assignments: 6h)
More Details
 

CO513 Advanced Computer Communication Networks (3 Credits)
Prerequisites: CO323
Course Content:
An overview of communication networks, Multimedia network applications and protocols, Quality of service, Broadcast and multicasting routing, Multi-protocol label switching (MPLS) and Generalized MPLS, Wireless and mobile networks, Network security, Network management.
(Lectures: 30h, Tutorial-Classes: 2h, Practicals: 15h, Assignments: 11h)
More Details
 

CO514 Optical Communication Networks (3 Credits)
Prerequisites: CO323
Course Content:
An overview of communication networks, Optical transmission fundamentals and issues, IP traffic over WDM optical networks, Synchronous optical networks (SONET)/Synchronous digital hierarchy (SDH), WDM optical networks: optical circuit switching (OCS), WDM optical networks: optical packet switching (OPS), WDM optical networks: optical burst switching (OBS), Optical access networks, Other technologies, trends, and challenges.
(Lectures: 30h, Tutorial-Classes: 7h, Assignments: 16h)
More Details
 

CO515 Advances in Computer Networks:Selected Topics (3 Credits)
Prerequisites: CO323
Course Content:
An overview of networking trends, Data center networks and applications, Network function virtualization and Software Defined Networks, Carrier internt protocol, Multiprotocol label Switching (MPLS), Carrier Ethernet, Provider backbone, Metro Ethernet, Traffic Engineering, Big data concepts and applications, Network management.
(Lectures: 35h, Tutorial-Classes: 2h, Assignments: 16h)
More Details
 

CO521 Compilers (3 Credits)
Prerequisites: CO322
Course Content:
Introduction, Programming tools: Lexical analysis, Semantic analysis, Static semantics, Code generation, Miscellaneous topics.
(Lectures % Tutorial-Classes: 30h, Practicals & Assignments: 15h)
More Details
 

CO523 Programming Languages (3 Credits)
Prerequisites: CO322
Course Content:
Introduction. Imperative languages: Object oriented languages, Functional languages, Logical languages, Concurrent languages.
(Lectures & Tutorial-Classes: 27h, Practicals & Assignments: 18h)
More Details
 

CO524 Parallel Computers and Algorithms (3 Credits)
Prerequisites: CO327
Course Content:
Parallel architecture, Interconnection networks, Designing parallel programmes, Performance modelling, Programming paradigms, Message passing interface, Multithreading, Parallelising numerical algorithms, Parallelising non-numerical algorithms, State of the art.
(Lectures: 30h, Practicals: 8h, Assignments: 22h)
More Details
 

CO526 Advanvced Operating Systems (3 Credits)
Prerequisites: CO327
Course Content:
Introduction to operating system design, Introduction to microkernel, Microkernel based systems, Managing virtual memory, Process Management, File Systems, Threads, Syttem calls, I/O handling, Security, Research topics.
(Lectures: 30h, Practicals & Assignments: 15h)
More Details
 

CO527 Advanced Database Systems (3 Credits)
Prerequisites: CO226
Course Content:
Data storage and indexing structures, Query Optimization and database tuning, Transaction Processing, Database security, Distributed Databases, Object databases and Object-relational databases, other data models, Data models for advanced applications.
(Lectures: 32h, Tutorial-Classes: 6h, Practicals: 12h, Assignments: 2h)
More Details
 

CO528 Applied Software Architecture (3 Credits)
Prerequisites: CO328
Course Content:
Introduction to applied software architecture, Basic of software architecture, Web application architectures, Service oriented architectures, Enterprise architectures, Product architectures, Mobile application architectures, Cloud architectures.
(Lectures: 31h, Practicals: 12h, Assignments: 16h)
More Details
 

CO541 Artificial Intelligence (3 Credits)
Prerequisites: CO222
Course Content:
Introduction, Artificial intelligence programming, Knowledge representation and inference, Expert systems, Search, Natural language processing, Vision, Dealing with uncertainty, Role of neural networks and fuzzy logic in AI, Applications of AI.
(Lectures & Tutorial-Classes: 22h, Practicals & Assignments: 14h)
More Details
 

CO542 Neural Networks and Fuzzy Systems (3 Credits)
Course Content:
Introduction to fuzzy systems, Fuzzy relations, Extension principle , Fuzzy inference, Fuzzy non-linear simulation, Fuzzy applications , Artificial neural networks (ANN), Learning in ANN, The perceptron, Back propagation algorithm, Hopefield model, Memory type paradigms, Fuzzy neural networks applications
(Lectures & Tutorial-Classes: 33h, Practical & Assignments: 24h)
More Details
 

CO543 Image Processing (3 Credits)
Course Content:
Course Content: Introduction, Digital image fundamentals, Image enhancement in the spatial domain, Image enhancement in the frequency domain, Colour image processing, Image compression, Assignments.
(Lectures & Tutorial-Classes: 30h, Practicals & Assignments: 30h)
More Details
 

CO544 Machine Learning and Data Mining (3 Credits)
Prerequisites: CO322
Course Content:
Introduction, Input, Output, Basic algorithms, Evaluation and credibility, Real machine learning algorithms, Data preparation for knowledge discovery.
(Lectures & Tutorial-Classes: 30h, Practicals & Assignments: 10h)
More Details
 

CO551 Theory of Computation (3 Credits)
Course Content:
Preliminaries, Finite automata, Regular expressions and properties of regular sets, Context-free grammars (CGF) and properties of context-free languages (CFL), Pushdown automata, Turing machines, Undecidability, Complexity theory, Intractable problems.
(Lectures & Tutorial-Classes: 37h, Practicals & Assignments: 16h)
More Details
 

CO552 Game Theory and Markov Decision Processes (3 Credits)
Prerequisites: EM202
Course Content:
Introduction to game theory, Mixed Strategies, Expected Payoffs, Nash Equilibrium and Nash Theorem, 2-Player Zero-Sum Games, and The Minimax Theorem, Linear Programming, Simplex Algorithm, LP Duality Theorem, Computing Solutions for General Finite Strategic Games, Games in Extensive Form, Games of Perfect Information, Games on Graphs, Simulation, Markov Decision Processes and Stochastic Games, Selfish Network Routing, Congestion Games, and the Price of Anarchy, Auctions and Mechanism Design, Reachability and safety games, Buchi and coBuchi Games.
(Lectures: 35h, Tutorial-Classes: 10h, Assignments: 10h)
More Details
 

CO553 Formal Verification Tools and Techniques for Complex Reactive Systems (3 Credits)
Course Content:
The aim of this course is to impart a working knowledge of formal methods used in rigorous verification of reactive systems and enable students to use them in designing systems.As principle objectives, at the end of the course,students are expected toknow how the behaviour of a complex (safety-critical) reactive system could be specified and how such a system could be designed so that they could prove the correctness of the system behaviour usingan appropriate formalism from among, (symbolic) model checking and temporal logic, Hoare logic and weakest precondition calculus, Petri nets and process algebra.
(Lectures: 31h, Tutorial-Classes: 4h, Assignments: 20h)
More Details