Tuesday, November 17, 2015

CP7017 DATA VISUALIZATION TECHNIQUES

CP7017        DATA VISUALIZATION TECHNIQUES

UNIT I           CORE SKILLS FOR VISUAL ANALYSIS 

Information visualization – effective data analysis – traits of meaningful data – visual perception – making abstract data visible – building blocks of information visualization – analytical interaction – analytical navigation – optimal quantitative scales – reference lines and regions – trellises and crosstabs – multiple concurrent views – focus and context – details on demand – over-plotting reduction – analytical patterns – pattern examples  

UNIT II            TIME-SERIES, RANKING, AND DEVIATION ANALYSIS 

Time-series analysis – time-series patterns – time-series displays – time-series best practices – part-to-whole and ranking patterns – part-to-whole and ranking displays – best practices – deviation analysis – deviation analysis displays – deviation analysis best practices  

UNIT III         DISTRIBUTION, CORRELATION, AND MULTIVARIATE ANALYSIS 

Distribution analysis – describing distributions – distribution patterns – distribution displays – distribution analysis best practices – correlation analysis – describing correlations – correlation patterns – correlation displays – correlation analysis techniques and best practices – multivariate analysis – multivariate patterns – multivariate displays – multivariate analysis techniques and best practices  

UNIT IV        INFORMATION DASHBOARD DESIGN I 

Information dashboard – categorizing dashboards – typical dashboard data – dashboard design issues and best practices – visual perception – limits of short-term memory – visually encoding data – Gestalt principles – principles of visual perception for dashboard design  

UNIT V        INFORMATION DASHBOARD DESIGN II 

Characteristics of dashboards – key goals in visual design process – dashboard display media – designing dashboards for usability – meaningful organization – maintaining consistency – aesthetics of dashboards – testing for usability – case studies: sales dashboard, CIO dashboard, Telesales dashboard, marketing analysis dashboard  


REFERENCES: 

1. Stephen Few, "Now you see it: Simple Visualization techniques for quantitative analysis", Analytics Press, 2009.  
2. Stephen Few, "Information dashboard design: The effective visual communication of data", O'Reilly, 2006. 
3. Edward R. Tufte, "The visual display of quantitative information", Second Edition, Graphics Press, 2001. 
4. Nathan Yau, "Data Points: Visualization that means something", Wiley, 2013. 
5. Ben Fry, "Visualizing data: Exploring and explaining data with the processing environment", O'Reilly, 2008.  
6. Gert H. N. Laursen and Jesper Thorlund, "Business Analytics for Managers: Taking business intelligence beyond reporting", Wiley, 2010. 
7. Evan Stubbs, "The value of business analytics: Identifying the path to profitability", Wiley, 2011.

 

IF7202 CLOUD COMPUTING

IF7202       CLOUD COMPUTING

UNIT I   CLOUD ARCHITECTURE AND MODEL

Technologies for Network-Based System – System Models for Distributed and Cloud Computing – NIST Cloud Computing Reference Architecture. Cloud Models:- Characteristics – Cloud Services – Cloud models (IaaS, PaaS, SaaS) – Public vs Private Cloud –Cloud Solutions - Cloud ecosystem – Service management – Computing on demand.  

UNIT II  VIRTUALIZATION

Basics of Virtualization - Types of Virtualization - Implementation Levels of Virtualization - Virtualization Structures - Tools and Mechanisms - Virtualization of CPU, Memory, I/O Devices  - Virtual Clusters and Resource management – Virtualization for Data-center Automation.  

UNIT III CLOUD INFRASTRUCTURE

Architectural Design of Compute and Storage Clouds – Layered Cloud Architecture Development – Design Challenges - Inter Cloud Resource Management – Resource Provisioning and Platform Deployment – Global Exchange of Cloud Resources.  

UNIT IV PROGRAMMING MODEL

Parallel and Distributed Programming Paradigms – MapReduce , Twister and Iterative MapReduce – Hadoop Library from Apache – Mapping Applications - Programming Support - Google App Engine, Amazon AWS -  Cloud Software Environments -Eucalyptus, Open Nebula, OpenStack, Aneka, CloudSim   

UNIT V SECURITY IN THE CLOUD

Security Overview – Cloud Security Challenges and Risks – Software-as-a-Service Security – Security Governance – Risk Management – Security Monitoring – Security Architecture Design – Data Security – Application Security – Virtual Machine Security - Identity Management and Access Control – Autonomic Security.

REFERENCES: 

1. Kai Hwang, Geoffrey C Fox, Jack G Dongarra, “Distributed and Cloud Computing, From Parallel Processing to the Internet of Things”, Morgan Kaufmann Publishers, 2012. 
2. John W.Rittinghouse and James F.Ransome, “Cloud Computing: Implementation, Management, and Security”, CRC Press, 2010. 
3. Toby Velte, Anthony Velte, Robert Elsenpeter, “Cloud Computing, A Practical Approach”, TMH, 2009. 
4. Kumar Saurabh, “ Cloud Computing – insights into New-Era Infrastructure”, Wiley India,2011. 
5. George Reese, “Cloud Application Architectures: Building Applications and Infrastructure in the Cloud” O'Reilly 
6. James E. Smith, Ravi Nair, “Virtual Machines: Versatile Platforms for Systems and Processes”, Elsevier/Morgan Kaufmann, 2005. 
7. Katarina Stanoevska-Slabeva, Thomas Wozniak, Santi Ristol, “Grid and Cloud Computing – A Business Perspective on Technology and Applications”, Springer. 
8. Ronald L. Krutz, Russell Dean Vines, “Cloud Security – A comprehensive Guide to Secure Cloud Computing”, Wiley – India, 2010. 
9. Rajkumar Buyya, Christian Vecchiola, S.Tamarai Selvi, ‘Mastering Cloud Computing”, TMGH,2013. 
10. Gautam Shroff, Enterprise Cloud Computing, Cambridge University Press, 2011 
11. Michael Miller, Cloud Computing, Que Publishing,2008 
12. Nick Antonopoulos, Cloud computing, Springer Publications, 2010 
Kai Hwang, Geoffrey C Fox, Jack G Dongarra, “Distributed and Cloud Computing, From Parallel Processing to the Internet of Things



CP7016 EMBEDDED SOFTWARE DEVELOPMENT

CP7016       EMBEDDED SOFTWARE DEVELOPMENT

UNIT I       PROCESSORS AND INSTRUCTION SETS

Introduction to embedded computing – overview of embedded system design process – instruction sets of processors: ARM, PIC, TI C55x, TI C64x – programming I/O – modes and exceptions – coprocessors – memory system – CPU performance – CPU power consumption  

UNIT II        EMBEDDED COMPUTING PLATFORM

Basic computing platforms – CPU Bus – memory devices and systems – choosing a platform – development environments – debugging – consumer electronics architecture – platform-level performance analysis – design example: Audio Player  

UNIT III       PROGRAM DESIGN AND ANALYSIS

Components for embedded programs – models of programs – Assembly, linking, and loading – compiler optimizations – program-level performance analysis – performance optimization – program-level energy optimization – optimizing program size – program validation and testing – design example: Digital Still Camera  

UNIT IV      PROCESSES AND OPERATING SYSTEMS

Multiples tasks and multiple processes – multirate systems – pre-emptive RTOS – priority-based scheduling – inter-process communication – evaluating OS performance – processes and power optimization – Case study:  Real-time and embedded Linux – design example: Telephone answering machine  

UNIT V       SYSTEM DESIGN, NETWORKS, AND MULTIPROCESSORS 

 System design methodologies – requirements analysis – specifications – architecture design – quality assurance – distributed embedded systems – shared-memory multiprocessors – design example: Video accelerator 

REFERENCES: 

1. Marilyn Wolf, “Computers as Components: Principles of Embedded Computing Systems Design”, Third Edition, Morgan Kaufmann, 2012. 
2. Christopher Hallinan, “Embedded Linux Primer: A Practical Real-World Approach”, Second Edition, Prentice Hall, 2010. 
3. Karim Yaghmour et al., “Building Embedded Linux Systems”, O’Reilly, 2008. 
4. Arnold S. Berger, “Embedded Systems Design: An Introduction to Processes, Tools, and Techniques”, CMP Books, 2001. 
5. David E. Simon, “An embedded Software Primer”, Addison-Wesley, 1999. 

Computers as Components: Principles of Embedded Computing System Design (English)

Monday, November 16, 2015

CP7015 MODEL CHECKING AND PROGRAM VERIFICATION

 CP7015      MODEL CHECKING AND PROGRAM VERIFICATION

UNIT I            AUTOMATA AND TEMPORAL LOGICS

Automata on finite words – model checking regular properties – automata on infinite words – Buchi automata – Linear Temporal Logic (LTL) – automata based LTL model checking – Computational Tree Logic (CTL) – CTL model checking – CTL* model checking  

UNIT II        TIMED AND PROBABILISTIC TREE LOGICS

Timed automata – timed computational tree logic (TCTL) – TCTL model checking – probabilistic systems – probabilistic computational tree logic (PCTL) – PCTL model checking – PCTL* - Markov decision processes  

UNIT III        VERIFYING DETERMINISTIC AND RECURSIVE PROGRAMS

Introduction to program verification – verification of “while” programs – partial and total correctness – verification of recursive programs – case study: binary search – verifying recursive programs with parameters  

UNIT IV       VERIFYING OBJECT-ORIENTED AND PARALLEL PROGRAMS

Partial and total correctness of object-oriented programs – case study: Insertion in linked lists – verification of disjoint parallel programs – verifying programs with shared variables – case study: parallel zero search – verification of synchronization – case study: the mutual exclusion problem 

UNIT V       VERIFYING NON-DETERMINISTIC AND DISTRIBUTED PROGRAMS

Introduction to non-deterministic programs – partial and total correctness of non-deterministic programs – case study: The Welfare Crook Problem – syntax and semantics of distributed programs – verification of distributed programs – case study: A Transmission Problem – introduction to fairness

REFERENCES: 

1. C. Baier, J.-P. Katoen, and K. G. Larsen, “Principles of Model Checking”, MIT Press, 2008. 
2. E. M. Clarke, O. Grumberg, and D. A. Peled, “Model Checking”, MIT Press, 1999. 
3. M. Ben-Ari, “Principles of the SPIN Model Checker”, Springer, 2008. 
4. K. R. Apt, F. S. de Boer, E.-R. Olderog, and A. Pnueli, “Verification of Sequential and Concurrent Programs”, Third Edition, Springer, 2010. 
5. M. Huth and M. Ryan, “Logic in Computer Science --- Modeling and Reasoning about Systems”, Second Edition, Cambridge University Press, 2004. 
6. B. Berard et al., “Systems and Software Verification: Model-checking techniques and tools”, Springer, 2010. 
7. J. B. Almeida, M. J. Frade, J. S. Pinto, and S. M. de Sousa, “Rigorous Software Development: An Introduction to Program Verification”, Springer, 2011. 



CP7014 SOFTWARE ARCHITECTURES

CP7014    SOFTWARE ARCHITECTURES

UNIT I          ARCHITECTURAL DRIVERS

Introduction – Standard Definitions of Software Architecture– Architectural structures – Influence of software architecture on organization – Architecture Business Cycle – Functional requirements – Technical constraints – Quality Attributes – Quality Attribute Workshop (QAW) – Documenting Quality Attributes – Six part scenarios  

UNIT II           ARCHITECTURAL VIEWS AND DOCUMENTATION

Introduction – Standard Definitions for views – Structures and views- Perspectives: Static, dynamic and physical and the accompanying views – Representing views-available notations – Good practices in documentation– Documenting the Views using UML – Merits and Demerits of using visual languages – Need for formal languages -  Architectural Description Languages – ACME  

UNIT III       ARCHITECTURAL STYLES

Introduction – Data flow styles – Call-return styles – Shared Information styles – Event styles – Case studies for each style 

UNIT IV       ARCHITECTURAL DESIGN

Approaches for architectural design – System decomposition – Attributes driven design – Architecting for specific quality attributes – Performance, Availability – Security – Architectural conformance  

UNIT V      ARCHITECTURE EVALUATION AND SOME SPECIAL TOPICS

Need for evaluation – Scenario based evaluation against the drivers – ATAM and its variations – Case studies in architectural evaluations – SOA and Web services – Cloud Computing – Adaptive structures

REFERENCES: 

1. Len Bass, Paul Clements, and Rick Kazman, “Software Architectures Principles and Practices”, 2n Edition, Addison-Wesley, 2003. 
2. Anthony J Lattanze, “Architecting Software Intensive System. A Practitioner's Guide”, Auerbach Publications, 2010. 
3. Paul Clements, Felix Bachmann, Len Bass, David Garlan, James Ivers, Reed Little, Paulo Merson, Robert Nord, and Judith Stafford, “Documenting Software Architectures. Views and Beyond”, 2nd Edition, Addison-Wesley, 2010. 
4. Paul Clements, Rick Kazman, and Mark Klein, “Evaluating software architectures: Methods and case studies.”, Addison-Wesley, 2001. 
5. David Garlan and Mary Shaw, “Software architecture: Perspectives on an emerging discipline”, Prentice Hall, 1996. 
6. Rajkumar Buyya, James Broberg, and Andrzej Goscinski, “Cloud Computing. Principles and Paradigms”, John Wiley & Sons, 2011 
7. Mark Hansen, “SOA Using Java Web Services”, Prentice Hall, 2007 
8. David  Garlan, Bradley  Schmerl, and Shang-Wen Cheng, “Software Architecture-Based SelfAdaptation,” 31-56. Mieso K Denko, Laurence Tianruo Yang, and Yan Zang (eds.), “Autonomic Computing and Networking”. Springer Verlag, 2009. 


CP7013 DESIGN AND ANALYSIS OF PARALLEL ALGORITHMS

CP7013      DESIGN AND ANALYSIS OF PARALLEL ALGORITHMS

UNIT I           INTRODUCTION

 Introduction to Parallel Algorithms – Models of Parallel Computation – Sorting on an EREW-SIMD PRAM Computer – Relation between PRAM Models – SIMD Algorithms – MIMD Algorithms – Selection – Desirable Properties for Parallel Algorithms - Parallel Algorithm for Selection – Analysis of Parallel Algorithms.  

UNIT II        SORTING AND SEARCHING

 Merging on the EREW and CREW Models - Fast Merging on EREW - Sorting Networks – Sorting on a Linear Array – Sorting on CRCW, CREW, EREW Models – Searching a Sorted Sequence – Searching a Random Sequence.

UNIT III         ALGEBRAIC PROBLEMS

Generating Permutations and Combinations in Parallel – Matrix Transpositions – Matrix by Matrix Multiplications – Matrix by Vector multiplication.   

UNIT IV        GRAPH THEORY AND COMPUTATIONAL GEOMETRY PROBLEMS

Connectivity Matrix – Connected Components – All Pairs Shortest Paths – Minimum Spanning Trees – Point Inclusion – Intersection, Proximity and Construction Problems - Sequential Tree Traversal - Basic Design Principles – Algorithm – Analysis.  

UNITV         DECISION AND OPTIMIZATION PROBLEMS

 Computing Prefix Sums – Applications - Job Sequencing with Deadlines – Knapsack Problem- The Bit Complexity of Parallel Computations. 


REFERENCES: 

1. Selim G. Akl, “The Design and Analysis of Parallel Algorithms”, Prentice Hall, New Jersey, 1989. 2. Michael J. Quinn, “Parallel Computing : Theory & Practice”, Tata McGraw Hill Edition, 2003. 
3. Justin R. Smith, “The Design and Analysis of Parallel Algorithms”, Oxford University Press, USA , 1993. 4. Joseph JaJa, “Introduction to Parallel Algorithms”, Addison-Wesley, 1992. 

NE7202 NETWORK AND INFORMATION SECURITY

NE7202         NETWORK AND INFORMATION SECURITY

UNIT I  INTRODUCTION

An Overview of Computer Security-Security Services-Security Mechanisms-Security AttacksAccess Control Matrix, Policy-Security policies, Confidentiality policies, Integrity policies and Hybrid policies.  

UNIT II  CRYPTOSYSTEMS & AUTHENTICATION

Classical Cryptography-Substitution Ciphers-permutation Ciphers-Block Ciphers-DES- Modes of Operation- AES-Linear Cryptanalysis, Differential Cryptanalysis- Hash Function - SHA 512- Message Authentication Codes-HMAC - Authentication Protocols -  
\
UNIT III  PUBLIC KEY CRYPTOSYSTEMS 

 Introduction to Public key Cryptography- Number theory- The RSA Cryptosystem and Factoring Integer- Attacks on RSA-The ELGamal  Cryptosystem- Digital Signature Algorithm-Finite FieldsElliptic Curves Cryptography- Key management – Session and Interchange keys, Key exchange and generation-PKI   

UNIT IV  SYSTEM IMPLEMENTATION

Design Principles, Representing Identity, Access Control Mechanisms, Information Flow and Confinement Problem Secure Software Development: Secured Coding - OWASP/SANS Top Vulnerabilities - Buffer Overflows  - Incomplete mediation - XSS - Anti Cross Site Scripting Libraries - Canonical Data Format - Command Injection - Redirection - Inference – Application Controls 

UNIT V  NETWORK SECURITY

Secret Sharing Schemes-Kerberos- Pretty Good Privacy (PGP)-Secure Socket Layer (SSL)Intruders – HIDS- NIDS - Firewalls - Viruses  

REFERENCES: 

1. William Stallings, “Cryptography and Network Security: Principles and Practices”, Third Edition, Pearson Education, 2006. 
2. Matt Bishop ,“Computer Security art and science ”, Second Edition, Pearson Education, 2002 
3. Wade Trappe and Lawrence C. Washington, “Introduction to Cryptography with Coding Theory” Second Edition, Pearson Education, 2007 
4. Jonathan Katz, and Yehuda Lindell, Introduction to Modern Cryptography, CRC Press, 2007 
5. Douglas R. Stinson, “Cryptography Theory and Practice”, Third Edition, Chapman & Hall/CRC, 2006  
6. Wenbo Mao, “Modern Cryptography – Theory and Practice”, Pearson Education, First Edition, 2006.  7. Network Security and Cryptography, Menezes Bernard, Cengage Learning, New Delhi, 2011 8. Man Young Rhee, Internet Security, Wiley, 2003 9. OWASP top ten security vulnerabilities: http://xml.coverpages.org/OWASP-TopTen.pdf