Search Results
Your search for courses · during 25WI · taught by tamert · returned 2 results
-
CS 330 Introduction to Real-Time Systems 6 credits
How can we prove that dynamic cruise control will brake quickly enough if traffic suddenly stops? How must a system coordinate processes to detect pedestrians and other vehicles to ensure fair sharing of computing resources? In real-time systems, we explore scheduling questions like these, which require provable guarantees of timing constraints for applications including autonomous vehicles. This course will start by considering such questions for uniprocessor machines, both when programs have static priorities and when priorities can change over time. We will then explore challenges introduced by modern computers with multiple processors. We will consider both theoretical and practical perspectives.
- Winter 2025
- FSR, Formal or Statistical Reasoning
-
Student has completed any of the following course(s): CS 200 with a grade of C- or better or CS 201 with a grade of C- or better or received a Carleton Computer Science 200 Requisite Equivalency AND CS 202 with a grade of C- or better or received a Carleton Computer Science 202 Requisite Equivalency or MATH 236 with a grade of C- or better or received a Carleton Math 236 Requisite Equivalency. MATH 236 will be accepted in lieu of CS 202.
-
CS 330.00 Winter 2025
- Faculty:Tanya Amert 🏫 👤
- Size:34
- M, WAnderson Hall 329 1:50pm-3:00pm
- FAnderson Hall 329 2:20pm-3:20pm
-
CS 400 Integrative Exercise 3 credits
Beginning with the prototypes developed in the Senior Seminar (CS 399), project teams will complete their project and present it to the department. Required of all senior majors. Each CS 400 is paired with a particular section of CS 399, and the prerequisite for CS 400 must be filled by satisfactory completion of that CS 399.
- Winter 2025
- No Exploration
-
Student is a Computer Science major AND has Senior Priority.