• Foundations of Computing Science (CS60001) (Autumn 2010)

  Lectures:

  •     Lecture-00:- Introduction and Background
  •     Lecture-01:- Regular Languages
  •     Lecture-02:- Context-free Languages
  •     Lecture-03:- Church-Turing Thesis
  •     Lecture-04:- Decidability
  •     Lecture-05:- Reducibility
  •     Lecture-06:- Logic and Reasoning
  •     Lecture-07:- Time Complexity
  •     Lecture-08:- Space Complexity

   

  Tutorials:    Tutorial-01    Tutotial-02    Tutorial-03    Tutorial-04    Tutorial-05    Tutorial-06 (Solution-06A, Solution-06B)

                      Tutorial-07 (Solution-07)    Tutorial-08    Tutorial-09    Tutorial-10    Tutorial-11 (Solution-11)

• Programming and Data Structures (CS11002) - Spring 2011 (For More Information Visit Intinno)

  Lectures:

  •     Lecture-1a: Introduction
  •     Lecture-1b: Basic Programming Concept
  •     Lecture-1c: Programming in C - Basics
  •     Lecture-2: Control Flow - Branching
  •     Lecture-3: Control Flow - Looping
  •     Lecture-4: Functions
  •     Lecture-5: Arrays
  •     Lecture-5a: More about Arrays
  •     Lecture-5b: Some More about Arrays
  •     Lecture-6: Pointers
  •     Lecture-7: Structures
  •     Lecture-8: Linked List
  •     Lecture-9: File Handling
  •     Lecture-10: Number Representation
  •     Lecture-11: Stack and Queue
  •     Lecture-12: Complexity
  Resources:
  •     Problems on Recursion
  •     Class Problems - 1 (on Arrays and Recursion)
  •     Class Examples on Recursion
  •     Class Test - 1 (Solutions)
  •     Mid-Sem (Solutions)
  •     IEEE 754 Standard Floating Point Representation

• Testing & Verification [Design Verification]
  • Lecture-01:- Introduction
  • Lecture-02:- Overview
  • Lecture-03:- Verilog HDL
  • Lecture-04:- Simulators
  • Lecture-05:- Test Scenarios and Coverage
  • Lecture-06:- Assertions
  • Lecture-07:- AMBA APB - Case Study
  • Lecture-08:- Binary Decision Diagrams (BDD)
  • Lecture-09:- State Machines and Equivalence Checking
  • Lecture-10:- Model Checking
  • Lecture-11:- Bounded Model Checking
  • Lecture-12:- Counter Example Guided Abstraction Refinement

• Computer Systems Lab

  • Assignment 1
  • Assignment 2
  • Assignment 3
  • Assignment 3(Part - II)
  
  Lab marks
  
  
• Distributed Systems

  Part-I (Prof. Pallab Dasgupta)

  • Lecture-01 :- Introduction
  • Lecture-02 :- Balanced Sliding Window Protocol
  • Lecture-03 :- Routing Algorithms
  • Lecture-04 :- Deadlock-Free Packet Switching
  • Lecture-05 :- Logical Clocks & Causal Ordering
  • Lecture-06 :- Distributed Mutual Exclusion
  • Lecture-07 :- Wave & Traversal Algo
  • Lecture-08 :- Leader Election
  • Lecture-08a :- Minimal Spanning Tree Algorithm
  • Lecture-09 :- Distributed Deadlock Detection
  • Lecture-10 :- Agreement Protocols
  • Lecture-11 :- Commit Protocols
  • Lecture-12 :- Distributed File System (DFS)
  • Lecture-13 :- Authentication
  • Lecture-14 :- Introduction to Kerberos

  Part-II (Dr. Saibal Roy) - MOBILE COMPUTING

  • Lecture-01 :- Introduction
  • Lecture-02 :- Device Databases
  • Lecture-03 :- Synchronization
  • Lecture-04 :- Push Notifications
  • Lecture-05 :- Internet Protocol and Mobiles
  • Lecture-06 :- Broadcast
  • Lecture-07 :- Device Management

   

  Reading Materials [MOBILE COMPUTING] :-

  • Gal, E. and Toledo, S.; "Algorithms and Data Structures for Flash Memories"

  • Kärkkäinen, J. and Sanders, P.; "Simple Linear Work Suffix Array Construction"

  • Percival, C.; "Naїve Differences of Executable Code"

  • Alcatel-White Paper; "Session Initiation Protocol - SIP", July, 2003

  • Erricsson-White Paper; "Services in the IMS ecosystem", February 2007

  • Erricsson-White Paper; "Introduction to IMS", March 2007

  • Sklar,B.;"Reed-Solomon Codes"

  • Burns,R. et al.;"In-Place Reconstruction of Version Differences"

  • Rasch,D. and Burns,R.;"In-Place Rsync: File Synchronization for Mobile and Wireless Devices"

  Part-III - WEB SERVICES

  • Lecture-01

  Online Resources

  • XML, WSDL and SOAP

  • UDDI

  • Semantic Web

• Programming and Data Structures Laboratory [Autumn, 2007]
• Artificial Intelligence
• Applied Graph Theory
• Computer Architecture and OS (CAOS) Lab
• Database Management Systems
• Algorithms
• Distributed Computing Systems
• Operating Systems
• Programming & Data Structures
• Introduction to Computing
• Computer System Lab

Courses taken in other departments:

• Operations Research (Industrial Engineering & Management)
• Intelligent Management Systems (School of Management)
• Graphical User Interface Design (Industrial Engineering & Management)
• Automated Algorithms for Operations Management