Fall 2008

pdf

View schedules for



CS 424
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 Information
CRNTypeSectionTimeDays Location  Instructor
51775  lecture- discussion  P3 03:30 PM - 04:45 PM TR  room 1103
Siebel Center for Comp Sci 
Abdelzaher, T 
3 hours

51776  lecture- discussion  P4 03:30 PM - 04:45 PM TR  room 1103
Siebel Center for Comp Sci 
Abdelzaher, T 
4 hours