Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Texts Books:
1 Pressman R.S., Software Engineering : A Practitioner's Approach, Mcgraw Hill.
2 Sommerville I., Software Engineering, Addision-Wesley.
31
CE-602:THEORY OF COMPUTATION
1 Review Of Mathematical Terms And Theory
Basic Mathematical Notations And Set Theory, Logic Functions And Relations,
Language Definitions, Mathematical Inductions And Recursive Definitions
2 Finite Automata
Deterministic And Non Deterministic Finite Automata, ∧-Transitions, Conversion
From Nfa To Dfa, Kleene’s Theorem, Regular And Non Regular Languages
3 Cfg (Context Free Grammar)
Introduction To Cfg, Cfg And Known Languages, Unions Concatenations And
*’S Notations And Cfl, Derivations Of Trees And Ambiguity, Unambiguous Cfg
And Algebric Expressions, Normal Forms And Siplified Forms
4 Pushdown Automata, Cfl And Nfl
Introduction To Pda, Definition, Dpda, Pda Corresponding To Cfg, Cfg
Corresponding To Pda, Introduction To Cfl, Intersections And Complements Of
Cfl, Decisions Problems And Cfl
5 Turing Machines, Recursive Language
Model Of Computation And Church Turning Thesis, Definition Of Turing
Machine, Tm And Language Acceptors, Variations Of Tm, Non Deterministic
Tm, Universal Tm, Enumerable And Language, Recursive And Non Recursive
Enumerable
6 Computation Functions, Measuring, Classifications And Complexity
Primitive Recursive Functions, Halting Problem, Recursive Predicates And Some
Bounded Operations, Unbounded Minimizations And µ -Recursive Functions,
Godel Numbering, Computable Functions And µ -Recursive, Numerical
Functions
7 Tractable And Intractable Problems
Growth Rate And Functions, Time And Speed Complexity, Complexity Classes,
Tractable And Possibly Intractable Problems, P And Np Completeness, Reduction
Of Time, Cook’s Theorem, Np-Complete Problems
Text Books:
1 Introduction To Languages And Theory Of Computation By John C. Martin, Second
Edition, Tmh
2 Compiler Design By Alfred V Aho, Addison Weslley
32
CE-603:OPERATING SYSTEMS
Introduction
Evolution Of Operating Systems, Operating System Services, Types Of Operating
System, Different View Of Operating System
Process Scheduling
Process, Process Control Block, Process Status, Schedular : Long Term, Medium Term,
Short Term Schedular, Scheduling Algorithms, Performance Evaluation Of Algorithm
Interprocess Communication
Race Conditions, Critical Section, Mutual Exclusion With Busy Waiting, Strict
Alternation , Peterson’s Sol. TSL Instruction, The Producer Consumer Problem,
Semaphores, Event Counters, Monitors, Message Passing : Synchronous Vs
Asynchronous Message Exchange,
Classical IPC Problems
Dinning Philosopher Problem, Sleeping Barber Problem, Reader’s & Writer Problem.
Deadlock
Deadlock Problem, Deadlock Characterization, Deadlock Prevention, Deadlock
Avoidance : Banker’s Algorithm For Single Resource & Multiple Resources, Deadlock
Detection
Memory Management
Paging : Principle Of Operation, Page Allocation, H/W Support For Paging,
Multiprogramming With Fixed No. Of Task, Multiprogramming With Variable No. Of
Task, Segmentation, Virtual Memory : Concept, Performance Of Demand Paging, Page
Replacement Algorithms, Thrashing, Locality.
Input Output Management
Principles Of Input/Output H/W : I/O Devices, Device Controllers, Direct Memory
Access, Principles Of Input/Output S/W : Goals Of The I/O S/W, Interrupt Handler,
Device Driver, Device Independent I/O Software
Disks : Disks Arm Scheduling Algorithm, Error Handling
File Systems
Files : File Naming, File Structure, File Types, File Access, File Attributes, File
Operations, Memory Mapped Files, Directories : Hierarchical Directory System,
Pathnames, Directory Operations, File System Implementation, Implementing Files :
Contiguous Allocation, Linked List Allocation, Linked List Using Index, Inodes,
Implementing Directories In C, MS-DOS, UNIX. Shared Files, Disk Space Mgmt, File
System Reliability, File System Performance, Security : Security Environment, Design
Principles Of Security, User Authentication, Protection Mechanism : Protection Domain,
Access Control List
Unix Operating System
Development Of Unix, Roll Of Kernel In Unix, & Function Of Kernel, System Calls,
Elementary Shell Programming, Directory Structure, System Administration
Introduction To Multiprocessor And Distributed Operating System
33
Minimum 12 experiments should be carried out.
Text Books
1 Modern Operating Systems By Andrew S. Tanenbaum
2 Operating System Concepts By Peterson
Reference Books
1 Operating System – Design & Concepts By Milan Milenkovic
2 Operating System – Internals By William Stalling
3 Advanced Unix - A Programmer’s Guide By Stephen Prata
4 Unix Shell Programming By Yashwant Kanitkar
5 Unix System V.4 Concepts & Applications By Sumitabha Das, Pub. TMH
34
Web Security Requirement, Ssl And Transport Layer Security, Secure Electronic
Transactions, Firewall Design Principles, Trusted Systems
Text Books:
1 Cryptography And Network Principles And Practice
Second Edition
By William Stallings
Prentice Hall, Pearson Education Asia, Low Priced Edition
1 Case Tool
Use Of Diagramming Tools For System Analysis, Such As Turbo Analysis For
Preparing Data Flow Diagrams And E-R Diagrams. Use Of Tools For Relational
Database Design Such As Relational Designer.
2 Application Development Tools
Use Of Tool Such As Visual Basic In Developing Application Software Including
Interactive Data-Entry Screens, Transaction Processing, Report Generations, Etc..
3 Management Tools
Use Of Tools For Managing The Process Of Software Development Such As Source
Code Control System(Sccs), Revision Control System(Rcs),Make, Etc.
4 Coverage Of Introduction To Delphi
Text/References:
1 Products Manual From Concerned Vendors.
35
Loop Scheduling – Variations On Loop Scheduling – Expression Scheduling – Self-
Scheduling – Variations On Self-Scheduling – Indirect Scheduling – Block
Scheduling – Special Scheduling.
4 Barriers And Race Conditions.
The Barrier Calls – Expression Splitting.
5 Programmability Issues.
Operating System Support – Types Of Operating Systems – Parallel Programming
Models – Software Tools.
6 Thread-Based Implementation.
Thread Management – Example With Threads – Attributes Of Threads – Mutual
Exclusion With Threads – Mutex Usage Of Threads – Thread Implementation –
Events And Condition Variables – Deviation Computation With Threads – Java
Threads.
7 Distributed Computing – I: Message Passing Model.
Message Passing Model – General Model – Programming Model – PVM.
Distributed Computing – II: Remote Procedure Call
Parameter Passing – Locating The Server – Semantics In The Presence Of Failures –
Security – Problem Areas – Java Remote Method Invocation – DCE – Developing
Applications In DCE.
8 Algorithms For Parallel Machines.
Models Of Computation – Analysis Of Parallel Algorithms – Prefix Computation –
Histogram Computation – Parallel Reduction – Quadrature Problem – Sorting –
Searching - Matrix Multiplication – Parallel Sorting Algorithms – Solving Linear
Systems – Probabilistic Algorithms.
9 Semaphores And Events.
Semaphores, Events.
Text Books:
1 Introduction To Parallel Programming - By Steven Brawer
2 Introduction To Parallel Processing – By M.Sasikumar, Dinesh Shikhare And P.
Ravi Prakash
3 Parallel Computers – Architecture And Programming – By V. Rajaraman And C.
Siva Ram Murthy
36