CS 424
Spring 2007 Part of Term 1
Part of Term 1
Jan 16-May 2
Jan 16-May 2
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 | |
|---|---|---|---|---|---|---|---|---|
|
31382
|
Lecture-Discussion
|
P3
|
2:00PM
-3:15PM
|
TR
|
Siebel Center for Comp Sci
|
Abdelzaher, T
|
|
|
|
39741
|
Lecture-Discussion
|
P4
|
2:00PM
-3:15PM
|
TR
|
Siebel Center for Comp Sci
|
Abdelzaher, T
|
|