Formal Methods for Software Engineering

Topic	(Click to Download Power Point Slides)
Introduction	lecture 1 (PDF)
Operations	lecture 2 (PDF)
Robustness, composition, preconditions	lecture 3 (PDF)
Process Algebra	lecture 4 (PPT)
Process Algebra	lecture 5 (PPT)
Process Algebra	lecture 6 (PPT)
Process Algebra	lecture 7 (PPT)
An industrial FSP variant: SDL	lecture 8 (PPT)
SDL, MSC and the Tau tool	lecture 9 (PPT)
SDL, MSC and the Tau tool	lecture 10 (PPT)

Computer Architecture

(Click to Download Power Point Slides)

1. X-box 360 Architecture
2. Grid Computing Part I
3. Impr.Oper.Syst.Effects in Control Flow Prediction
4. Task Alloc.Meth.in Distributed Embed.Sys. Part I
5. Balanced Cache Part I
6. Effects of Wrong-path Mem.Ref. in CC MP Syst
7. Intel Core 2 Duo Desktop Processor Architecture
8. Energy-Effective Issue Logic
9. OS Power Min. via Proc.Resource Adapt.Part I
10. Reconfigurable Computing Part I
11. Reconfigurable Computing Part II
12. Xeon 7100 series Processor Architecture
13. UltraSparc IV Architecture
14. MPOC : A Chip Multiproc. for Embedded Systems
15. The Arch. of Columbia Super Computer Part I
16. Multithreading:Cost, Sched.&Design Alt. Part I
17. Simultaneous Multithreading Part I
18. Interconnect-aware Coherence Protoc. for Chip Multiprocessors
19. Hybrid (Software-Hardware) Dynamic Memory Allocator

Computer Architecture

(Click to Download Power Point Slides)

1. Buffering Database Operations for Enhanced Instruction Cache PerformancePPT

2. The Blue Gene\L System Architecture PPT

3. Mobile Pentium 4 Architecture Supporting Hyper-Threading Technology PPT

4. Comparative Study of two GA Based Task Allocation PPT

5. High Performance Computing Cluster Architectures PPT

6. Distributed Shared Memory Architecture PPT

7. Rotary Pipeline Processors PPT

8. Kilo Instruction Processors PPT

9. A Faster Optimal Register Allocator PPT

10. The Message Driven Processor PPT

11. Hyper Threading Technology Architecture and Micro Architecture PPT

Computer Architecture

Topic	PPT
Reconfigurable Computing	ppt
Grid Computing	ppt
AMD Athlon 64 FX 55	ppt
Dataflow Machines	ppt
Neural Network Architectures	ppt
Hyper-Threading Technology	ppt
Google Cluster Architecture	ppt
Computer Architecture Support for DBMS	ppt
Earth Simulator	ppt
Cache Coherence Protocols	ppt
IA64 Architecture	ppt
Fuzzy Logic Arbiters	ppt
ARM Architecture	pps
CPU for Robots	ppt
PROCESSOR ARCHITECTURES FOR MULTIMEDIA APLICATIONS	ppt
Supersparc Architecture	ppt

Computer Architecture

(Click to Download Power Point Slides)

1.Pentium Pro Processor Architecture
2.SUN ULTRASPARC-III ARCHITECTURE
3.HIGH PERFORMANCE MULTILAYER PERCEPTRON ON A CUSTOM COMPUTING MACHINE
4.POWER PC ARCHITECTURE
5.Single Chip Multiprocessors
6.Neural Network Implementations on Parallel Architectures
7.A Design Space Evaluation of Grid Processor Architectures
8.Low-Cost Task Scheduling for Distributed-Memory Machines
9.The Architecture of Massively Parallel Processor CP-PACS
10.AMD K7 Processor Architecture
11.DSP Architecture
12.DATA FLOW MACHINES
13.TRANSPUTER ARCHITECTURE
14.Multithreaded Processors
15.DEFINITION AND ANALYSIS OF ORTHOGONAL NETWORKS

Artificial Neural Network

(Click to Download Power Point Slides)

Chapter 1. Introduction (ppt)

Chapter 2. Supervised Learning (ppt)

Chapter 3. Bayesian Decision Theory (ppt)

Chapter 4. Parametric Methods (ppt)

Chapter 5. Multivariate Methods (ppt)

Chapter 6. Dimensionality Reduction (ppt)

Chapter 7. Clustering (ppt)

Chapter 8. Nonparametric Methods (ppt)

Chapter 9. Decision Trees (ppt)

Chapter 10. Linear Discrimination (ppt)

Chapter 11. Multilayer Perceptrons (ppt)

Chapter 12. Local Models (ppt)

Chapter 13. Hidden Markov Models (ppt)

Chapter 14. Assessing and Comparing Classification Algorithms (ppt)

Chapter 15. Combining Multiple Learners (ppt)

Chapter 16. Reinforcement Learning (ppt)

Software Engineering II

(Click to Download Power Point Slides)

• Week 1: Introduction to Software Engineering
• Administrative (ppt).
• Why Software Engineering?(ppt)
  
  
• Week 2: Software Lifecycles and Methodologies
• Software Lifecycles and Methodologies (ppt).
• Week 3: Risk, Estimation, and Requirements
• Risk (ppt).
• Software Estimation (ppt).
• Intro to Requirements Engineering (ppt).
• Week 4: Requirements Engineering
• Starting points for elicitation (ppt).
• Elicitation techniques (ppt).
• Prioritization (ppt).
• Week 5: Requirements Engineering (cont), Intro to Architecture
• Prioritization (ppt).
• Requirements Specifications (ppt).
• Intro to Software Architecture (ppt).
• Week 6: Principles of Architecture and Design
• Principles of Architecture and Design I (ppt).
• Principles of Architecture and Design II (ppt).
• Week 7: Architecture and Design, the UML
• Principles of Architecture and Design III (ppt).
• The quickest tour through the UML you'll ever get (ppt).
• Week 8: Design issues and design patterns
• Design Issues (ppt).
• Design Patterns I (ppt).
• Week 9: Design patterns
• (pdf) AJAX(presented by Don, Porya, and Dan).
• Design Patterns II (ppt).
• Design Patterns III (ppt).
• Week 10: More design patterns
• Design Patterns IV (ppt).
• Design Patterns V (ppt).
• Design Patterns VI (ppt).
• Week 11: Finishing our design patterns tour
• Design Patterns VII (ppt).
• Design Patterns VIII (ppt).
• Week 12: Closing notes
• Design Patterns IX (ppt).
• Closing notes (ppt).