CS 424
Fall 2008 Part of Term 1
Part of Term 1
Aug 25-Dec 10
Aug 25-Dec 10
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 updates every 10 minutes.
| CRN | Type | Section | Time | Day | Location | Instructor | Section Details | |
|---|---|---|---|---|---|---|---|---|
|
51775
|
Lecture-Discussion
|
P3
|
3:30PM
-4:45PM
|
TR
|
Siebel Center for Comp Sci
|
Abdelzaher, T
|
|
|
|
51776
|
Lecture-Discussion
|
P4
|
3:30PM
-4:45PM
|
TR
|
Siebel Center for Comp Sci
|
Abdelzaher, T
|
|