Einführung in den Aufbau moderner
Betriebssysteme und die zugrundeliegende Theorie anhand des Standardbeispiels
UNIX und mit Verweisen zu Windows NT. Das Betriebssystem eines Rechners
liegt zwischen Hardware und Anwendersoftware und regelt zentral
die Vergabe der Betriebsmittel. Es präsentiert dem Benutzer
eine logisch einfache und möglichst auch geräteunabhängige
Schnittstelle zur darunterliegenden Hardware. Aufgaben des Betriebssystems
umfassen die Verwaltung von Prozessen, Hauptspeicher, Dateien, Eingabe/Ausgabe,
Synchronisation und Kommunikation.
...mehr >>
Gegenstand der Vorlesung sind Theorie
und Praxis des automatischen Beweisens. In der Vorlesung sollen
Aussagenlogik, Prädikatenlogik und Modallogiken hauptsächlich
hinsichtlich Algorithmik und Formalisierung praktischer Probleme
(z.B. aus der Konfiguration, Verifikation von Expertensystemen)
untersucht werden.
...mehr >>
Termin:
09:00 s.t.-17:00, Sand CIP-Pool,
Sand 6 Beginn: Mo,
18. Februar 2008 Ende: Fr,
29. Februar 2008
Begleitend zu den Vorlesungen Betriebssysteme
I + II wird eine Kompaktübung im Umfang von 2 SWS angeboten.
In der Kompaktübung wird der in der Vorlesung präsentierte
Stoff in Form von Programmieraufgaben vertieft. ...mehr
>>
LINUX ist eine Variante des
UNIX Betriebsystem. Sein Kern wurde von Linus Torvalds entwickelt
und 1991 als Open Source Software veröffentlicht. Von einem Spielzeug
der Open Source Gemeinschaft hat sich LINUX inzwischen zu einem reifen
Betriebsystem entwickelt, dass inzwischen auch kommerziell anerkannt
ist und sogar die höchsten Zuwachsraten verzeichnen.
In der Vorlesung wollen wir die Struktur des Kerns untersuchen und
dabei wichtige Konzepte von Betirebssystemen beispielhaft kennenlernen.
Zum Beispiel Prozess- und Speicherverwaltung, Dateisysteme, Interprozesskommunikation
und Geraetetreiber. Weitere Themen sind u. a. SMP-Unterstützung,
Portierung auf andere Platformen, Open Source Lizenzen.
...mehr >>
Dozent:
Küchlin und Mitarbeiter Umfang:
2 SWS, Praktische Informatik
Termin:
Do 16:00-18:00 Uhr, Sand 14, Raum
C109 Beginn: Mi,
17. Oktober 2007 Ende: Fr,
15. Februar 2008
Diplomanden und Mitarbeiter tragen ihre
aktuellen Forschungsresultate vor. Studenten können einen Seminarschein
erwerben, indem sie zu einem der Themengebiete unserer Forschung
einen Vortrag halten
...mehr >>
