Die Vorlesung "Technische Informatik I: Betriebssysteme" behandelt den prinzipiellen Aufbau von Betriebssystemen. Ein Schwerpunkt liegt dabei in der Organisation von parallelen Prozessen. Gleichzeitig werden Kentnisse über TLA+, ein Werkzeug zur Spezifikation von Prozessen, vermittelt. Das Ziel der Vorlesung soll letztendlich die "Implementation" eines kleinen Round-Robin-Scheduler in TLA+ sein.
Weitere Infos findet man auf der Tutoren-Seite.
http://www.rvs.uni-bielefeld.de/lecture/Courses/Grundst/Tutor/welcome.html
Frequency | Weekday | Time | Format / Place | Period | |
---|---|---|---|---|---|
weekly | Mi | 17-19 | H6 | ||
weekly | Do | 16-18 | H15 |
Degree programme/academic programme | Validity | Variant | Subdivision | Status | Semester | LP | |
---|---|---|---|---|---|---|---|
Mediengestaltung / Bachelor | (Enrollment until SoSe 2004) | Pflicht | 2. | GS und HS | |||
Naturwissenschaftliche Informatik / Diplom | (Enrollment until SoSe 2004) | Pflicht | 2. 3. 4. | GS |