Академический Документы
Профессиональный Документы
Культура Документы
184
Computer Science
185
Computer Science
186
Computer Science
and Finite State Machine encoding. Logic synthesis, consisting unrolling, loop tiling; Function inlining and tail recursion; Dependence
of combinational logic optimisation and technology mapping, is analysis; Just-in-time compilation; Garbage collection. Laboratory
covered next. Popular chip architectures - standard cells and FPGA component would involve getting familiar with internal representations
are introduced. The course concludes with a brief overview of layout of compilers; profiling and performance evaluation; and the design
synthesis topics: placement and routing. and implementation of novel compiler optimizations.
187
Computer Science
design representation. The students would use modern synthesis Geometric sampling: random sampling and ε-nets, ε-approximation
techniques to realize these designs on FPGA boards before testing and discrepancy, cuttings, coresetsGeometric optimization: linear
them for functionality as well as performance. Students would also programming, LP-type problems, parametric searching, approximation
be required to specify and implement a project (small system design) techniques. Implementation Issues: robust computing, perturbation
as part of the course. techniques, floating-point filters, rounding techniques.
188
Computer Science
189
Computer Science
190
Computer Science
COL851 Special Topics in Operating Systems Special topic that focuses on special topics and research problems of
3 Credits (3-0-0) importance in this area.
Pre-requisites: COL331 Or Equivalent COL866 Special Topics in Algorithms
To provide insight into current research problems in the area of
3 Credits (3-0-0)
operating systems. Topics may include, but are not limited to,
OS design, web servers, Networking stack, Virtualization, Cloud Pre-requisites: COL 351 OR Equivalent
Computing, Distributed Computing, Parallel Computing, Heterogeneous The course will focus on specialized topics in areas like Computational
Computing, etc. Topology, Manufacturing processes, Quantum Computing,
Computational Biology, Randomized algorithms and other research
COL852 Special Topics in COMPILER DESIGN intensive topics.
3 Credits (3-0-0)
COL867 Special Topics in High Speed Networks
Pre-requisites: COL728/COL729
3 Credits (3-0-0)
Special topic that focuses on state of the art and research problems
of importance in this area. Pre-requisites: COL334 OR COL672
The course will be delivered through a mix of lectures and paper
COL859 Advanced Computer Graphics reading seminars on advanced topics in Computer Networks. Hands-
4 Credits (3-0-2) on projects will be conceptualized to challenge students to take
up current research problems in areas such as software defined
Rendering: Ray tracing, Radiosity methods, Global illumination models,
networking, content distribution, advanced TCP methodologies,
Shadow generation, Mapping, Anti-aliasing, Volume rendering,
delay tolerant networking, data center networking, home networking,
Geometrical Modeling: Parametric surfaces, Implicit surfaces, Meshes,
green networking, clean state architecture for the Internet, Internet
Animation: spline driven, quarternions, articulated structures (forward
of things, etc.
and inverse kinematics), deformation — purely geometric, physically
based, Other advanced topics selected from research papers.
COL868 Special topics in Database Systems
COL860 Special Topics in Parallel Computation 3 Credits (3-0-0)
3 Credits (3-0-0) Pre-requisites: COL334 / COL672 / Equivalent
The course will focus on research issues in areas like parallel The contents would include specific advanced topics in Database
computation models, parallel algorithms, Parallel Computer Management Systems in which research is currently going on in
architectures and interconnection networks, Shared memory parallel the department. These would be announced every time the course
architectures and programming with OpenMP and Ptheards, Distributed is offered.
memory message-passing parallel architectures and programming,
portable parallel message-passing programming using MPI. This COL869 Special topics in Concurrency
will also include design and implementation of parallel numerical
3 Credits (3-0-0)
and non-numerical algorithms for scientific and engineering, and
commercial applications. Performance evaluation and benchmarking The course will focus on research issues in concurrent, distributed
high-performance computers. and mobile computations. Models of Concurrent, Distributed and
Mobile computation. Process calculi, Event Structures, Petri Nets
an labeled transition systems. Implementations of concurrent and
COL861 Special Topics in Hardware Systems
mobile, distributed programming languages. Logics and specification
3 Credits (3-0-0) models for concurrent and mobile systems. Verification techniques
Under this topic one of the following areas will be covered: Fault and algorithms for model checking. Type systems for concurrent/
Detection and Diagnosability. Special Architectures. Design Automation mobile programming languages. Applications of the above models
Issues. Computer Arithmetic, VLSI. and techniques.
COL862 Special Topics in Software Systems COL870 Special Topics in Machine Learning
3 Credits (3-0-0) 3 Credits (3-0-0)
Special topic that focuses on state of the art and research problems
Pre-requisites: COL341 OR Equivalent
of importance in this area.
Contents may vary based on the instructor’s expertise and interests
within the broader area of Machine Learning. Example topics include
COL863 Special Topics in Theoretical Computer Science
(but not limiting to) Statistical Relational Learning, Markov Logic,
3 Credits (3-0-0) Multiple Kernel Learning, Multi-agent Systems, Multi-Class Multi-label
Pre-requisites: COL351 Learning, Deep Learning, Sum-Product Networks, Active and Semi-
Under this topic one of the following areas will be covered: Design supervised Learning, Reinforcement Learning, Dealing with Very
and Analysis of Sequential and Parallel Algorithms. Complexity High-Dimensional Data, Learning with Streaming Data, Learning under
issues, Trends in Computer Science Logic, Quantum Computing and Distributed Architecture.
Bioinformatics, Theory of computability. Formal Languages. Semantics
and Verification issues. COL871 Special Topics in programming languages &
Compilers
COL864 Special Topics in Artificial Intelligence 3 Credits (3-0-0)
3 Credits (3-0-0) Pre-requisites: COL728 / COL729 / Equivalent
Pre-requisites: COL333 / COL671 / Equivalent Contents may vary based on the instructor’s interests within the
Potential topics or themes which may be covered (one topic per broader area of Programming Languages and Compilers.
offering) include: information extraction, industrial applications of
AI, advanced logic-based AI, Markov Decision Processes, statistical COL872 Special Topics in Cryptography
relational learning, etc. 3 Credits (3-0-0)
COL865 Special Topics in Computer Applications Pre-requisites: COL759 OR Equivalent
Contents may vary based on the instructor’s interests within
3 Credits (3-0-0)
the broader area of Cryptography. Examples include CCA secure
Pre-requisites: Permission of the Instructor encryption, multiparty computation, leakage resilient cryptography,
191
Computer Science
broadcast encryption, fully homomorphic encryption, obfuscation, COV884 Special Module in Artificial Intelligence
functional encryption, zero knowledge, private information retrieval, 1 Credits (1-0-0)
byzantine agreement, cryptography against extreme attacks etc.
Pre-requisites: COL333 / COL671 / Equivalent
COV876 Special Module on Automated Reasoning Special module that focuses on special topics and research problems
Methods for Program Analysis of importance in this area.
Course Categories: DE for CSI. PE for CS5. PE(SS) for MCS.
COV885 Special Module in Computer Applications
1 Credit (1-0-0)
1 Credits (1-0-0)
Pre-requisites: EC100 for UG Special module that focuses on special topics and research problems
Through the course students will (1) get exposure to fundamental of importance in this area.
concepts in building automated reasoning tools to support deployment
of formal methods for software and cyber physical systems, (2) get COV886 Special Module in Algorithms
an overview of the advanced state of the art approaches towards
1 Credits (1-0-0)
building automated reasoning tools, (3) learn about foundational
aspects so as to prepare them to pursue these topics and related Pre-requisites: COL351 OR Equivalent
literature independently for research and use in system design and Special module that focuses on special topics and research problems
other applications and (4) become aware of exciting new directions of importance in this area.
in research on software and system analysis, particularly techniques
for automatically generating invariant properties. COV887 Special Module in High Speed Networks
1 Credits (1-0-0)
COV877 Special Module on Visual Computing
1 Credit (1-0-0) Pre-requisites: COL 334 OR COl 672
The course will be delivered through a mix of lectures and paper
The course will be a seminar-based course where the instructor would
reading seminars on advanced topics in Computer Networks.
present topics in a selected theme in the area of visual computing
Students will be introduced to topics such as software defined
through research papers. Students will also be expected to participate
networking, content distribution, advanced TCP methodologies,
in the seminar.
delay tolerant networking, data center networking, home
networking, green networking, clean state architecture for the
COV878 Special Module in Machine Learning Internet, Internet of things, etc.
1 Credit (1-0-0)
Contents may vary based on the instructor’s expertise and interests COV888 Special Module in Database Systems
within the broader area of Machine Learning. Example topics include 1 Credits (1-0-0)
(but not limiting to) Statistical Relational Learning, Markov Logic, Pre-requisites: COL362 OR COL632 OR Equivalent
Multiple Kernel Learning, Multi-agent Systems, Multi-Class Multi-label Potential topics or themes which may be covered (one topic per
Learning, Deep Learning, Sum-Product Networks, Active and Semi- offering) include: data mining, big data management, information
supervised Learning, Reinforcement Learning, Dealing with Very retrieval and database systems, semantic web data management, etc.
High-Dimensional Data, Learning with Streaming Data, Learning under
Distributed Architecture. COV889 Special Module in Concurrency
COV879 Special Module in Financial Algorithms 1 Credits (1-0-0)
1 Credit (1-0-0) Pre-requisites: MTL106 OR Equivalent
Special module that focuses on special topics and research problems
Pre-requisites: MTL106 OR Equivalent
of importance in this area.
Overlap with: MTL 732 & MTL 733
Special module that focuses on special topics and research problems COD891 M.Tech. Minor Project
of importance in this area. 3 Credits (0-0-6)
Research and development oriented projects based on problems of
COV880 Special Module in Parallel Computation practical and theoretical interest. Evaluation done based on periodic
1 Credits (1-0-0) presentations, student seminars, written reports, and evaluation of the
developed system (if applicable). Students are generally expected to
Pre-requisites: Permission of Instructor work towards the goals and mile stones set for Minor Project COP 891.
Special module that focuses on special topics and research problems
of importance in this area. COD892 M.Tech. Project Part-I
7 Credits (0-0-14)
COV881 Special Module in Hardware Systems It is expected that the problem specification and milestones to be
1 Credits (1-0-0) achieved in solving the problem are clearly specified. Survey of the
related area should be completed. This project spans also the course
Pre-requisites: Permission of Instructor COP892. Hence it is expected that the problem specification and the
Special module that focuses on special topics and research problems milestones to be achieved in solving the problem are clearly specified.
of importance in this area.
COD893 M.Tech. Project Part-II
COV882 Special Module in Software Systems 14 Credits (0-0-28)
1 Credits (1-0-0) Pre-requisites: COD 892
Special module that focuses on special topics and research problems The student(s) who work on a project are expected to work towards
of importance in this area. the goals and milstones set in COP893. At the end there would be a
demonstration of the solution and possible future work on the same
COV883 Special Module in Theoretical Computer Science problem. A dissertation outlining the entire problem, including a survey
of literature and the various results obtained along with their solutions
1 Credits (1-0-0) is expected to be produced by each student.
Pre-requisites: COL 351 OR equivalent
Special module that focuses on special topics and research problems COD895 MS Research Project
of importance in this area. 36 Credits (0-0-72)
192