Virtuelle Maschinen
 |
| Dozent: | Prof. Dr. Helmut Seidl |
| Ort/Zeit: | Lecture: Room 00.13.009A, Mon. 10:15-11:45 and Tue. 10:15-11:45. Exercises: Room 02.07.014, Thur. 16:15-17:45 |
| ModulNummer: | IN2040 |
| Beschreibung: | Virtual Machines and Translation of Programming languages, such as C, Prolog and a functional language. |
|
Compiler Construction I
 |
| Dozent: | Dr. Michael Petter |
| Ort/Zeit: | MI HS 2 Thursdays 14:15-15:45 |
| ModulNummer: | IN2227 |
| Beschreibung: | Introduction to Compilerconstruction - how to translate an imperative language. |
|
Automata Theory II (DISCONTINUED)
 |
| Dozent: | Prof. Dr. Helmut Seidl |
| Ort/Zeit: | Discontinued |
| ModulNummer: | IN2042 |
| Beschreibung: | Advanced automata models for program analysis and XML processing. |
|
IoT - Aufbau eines Sensornetzwerks
 |
| Dozent: | Vogler R., Hartmann N., Kranz J. |
| Ort/Zeit: | Sommersemester 2018 |
| ModulNummer: | |
| Beschreibung: | In diesem Praktikum soll ein Sensor-Netzwerk gemeinsam entworfen und aufgebaut werden. |
|
Practical Course - Program Optimization with LLVM
 |
| Dozent: | Dr. Michael Petter |
| Ort/Zeit: | as a block course |
| ModulNummer: | IN2106, IN0012 |
| Beschreibung: | We integrate an own optimization pass into LLVM's opt tool. |
|
Lehre