Index to CS 156 Lecture Slides
- Lecture 1 (1/20/98):
- Lecture 2 (1/22/98):
- Lecture 3 (1/27/98) :
- Lecture 4 (2/3/98):
- Lecture 5, Interconnection Networks:
- Languages:
- General:
- NESL:
- Linda:
- Linda using Quintus Prolog multiprocessing package:
- High-Performance Fortran (HPF), Fortran 90:
- C*:
- *Lisp:
- Multilisp:
- ZPL:
- BSP (Bulk Synchronous Processing, Jeff Lawson)
- Compositional C++ (Drew Bernat and Kevin Eustice)
- Nexus (Rob Clark)
- Compiling for Parallel Machines
- Hypercube Algorithms (Matt Wright)
- Towards Real-Time Systems (with concurrency)
- General
- Petri Nets
- StateCharts
- ModeCharts
- Implementation of Real-Time Systems
- Priority Scheduling Anomalies
- VxWorks and Tornado (Max Robinson)
- Scheduling to Meet Deadlines
- Jackson's Rule
- Horn's Rule
- Lawler's Algorithm
- Scheduling Periodic Tasks, Rate-Monotonic Scheduling
- Languages for Real-Time Computation
448
- Ada
- Esterel
- Lustre, Synchronous Data-Flow
- Real-Time Concurrent C
- Real-Time C++ (RTC++)
- Formal Specification and Verification, Temporal Logic
- General
- RTTL (Jonathan Ostroff)
- RTL (Jahanian, Mok, and Stuart)
- TLA (Lamport)