Lecture Slides |
|||||
Lecture |
Date |
First Title |
Presentation |
M/S .ppt |
Adobe .pdf |
Lecture 21 |
Tu. Apr. 27 |
Logic-Based Models & Tools |
Start | Download | Download |
Lecture 20 |
Tu. Apr. 18 |
Boundedness of Petri Nets |
Start | Download | Download |
Lecture 19 |
Thu. Apr. 13 |
Models for Real-Time |
Start | Download | Download |
Lecture 18 |
Tu. Apr. 11 |
Implementation of Real-Time |
Start | Download | Download |
Student Talk |
Jon Beeler |
Esterel |
Start | Download | Download |
Student Talk |
Sage Weil |
Disco |
Start | Download | Download |
Lecture 17 |
Tu. Apr. 4 |
Real-Time Scheduling |
Start | Download | Download |
Lecture 16 |
Thu. Mar. 30 |
Real-Time Computing |
Start | Download | Download |
Lecture 15 |
Tu. Mar. 28 |
Compilation for Parallel Machines |
Start | Download | Download |
Lecture 14 |
Th. Mar. 23 |
Fortran 90 and HPF |
Start | Download | Download |
Lecture 13 |
Th. Mar. 9 |
BSP, NESL |
Start | Download | Download |
Lecture 12 |
Tu. Mar. 7 |
pthread semaphore |
Start | Download | Download |
Lecture 11 |
Th. Mar. 2 |
Shared-Memory, pthreads |
Start | Download | Download |
Lecture 10 |
Th. Feb. 24 |
Load Balancing and Termination |
Start | Download | Download |
Lecture 9 |
Th. Feb. 17 |
PRAM computations (cont'd) |
Start | Download | Download |
Genetic Algorithms |
Tu. Feb. 12 |
Genetic Algorithm Slides |
Start | Download | Download |
Lecture 8 |
Thu. Feb. 10 |
Data-Parallel, PRAM |
Start | Download | Download |
Lecture 7 |
Tu. Feb. 8 |
Pipelining, Synchronous Comp. |
Start | Download | Download |
Lecture 6 |
Thu. Feb. 3 |
N-body problem, Pipelining |
Start | Download | Download |
Lecture 5 |
Tu. Feb. 1 |
Linda |
Start | Download | Download |
Lecture 4 |
Thu. Jan. 27 |
Solving Linear Equations |
Start | Download | Download |
Lecture 3 |
Tu. Jan. 25 |
PVM vs. MPI |
Start | Download | Download |
Lecture 2 |
Thu. Jan. 20 |
Performance Metrics |
Start | Download | Download |
Lecture 1 |
Tu. Jan. 18 |
Introduction |
Start | Download | Download |