CS 424
fall 2011
All Classes
Real-Time Systems
Credit: 3 OR 4 hours.
Examples of real-time computing systems; real-time scheduling and resource management algorithms; analytical and efficient validation methods. Examples of real-time operating systems; temporal consistency of real-time data; formal methods for specification of and reasoning about timing constraints. 3 undergraduate hours. 3 or 4 graduate hours. Prerequisite: CS 431.

- Section Status Closed

- Section Status Open

- Section Status Pending

- Section Status Open (Restricted)

- Section Status Unknown
Section Status updates every 10 minutes.
| Detail | Status | CRN | Type | Section | Time | Day | Location | Instructor |
|---|