Prüfer: Glaß, Michael (Prüfernummer: 100123)

1994 Seminar im Masterstudium (5 ECTS)

UnivIS-Modul:

Seminar: Black Box Challenge - Meta-heuristic Optimization for Arbitrary Problems (BBC-SEM)

Bezeichnung:

Seminar Black Box Challenge - Meta-heuristic Optimization for Arbitrary Problems

Prüfungstyp:

Seminarleistung

Lehrveranstaltungen:

18101 Seminar (2.5 ECTS)

UnivIS-Modul:

Systems- and Networks-on-a-Chip (SNoC)

Bezeichnung:

Systems- and Networks-on-a-Chip_

Prüfungstyp:

mehrteilige Prüfung

Lehrveranstaltungen:

• Systems- and Networks-on-a-Chip

22801 Verifikation digitaler Systeme (5 ECTS, Wiederholungsprüfung vom SS 2014)

UnivIS-Modul:

Verifikation digitaler Systeme (VdS)

Bezeichnung:

Verifikation digitaler Systeme

Prüfungstyp:

mündliche Prüfung

Lehrveranstaltungen:

• Verifikation digitaler Systeme
• Übung zur Verifikation digitaler Systeme

31901 Praktikum Informatik (10 ECTS)

UnivIS-Modul:

Praktikum: Entwicklung interaktiver eingebetteter Systeme (PR-EES)

Bezeichnung:

Praktikum: Entwicklung interaktiver eingebetteter Systeme_

Prüfungstyp:

Praktikumsleistung

Lehrveranstaltungen:

• Praktikum: Entwicklung interaktiver eingebetteter Systeme

32411 Seminar für Informatik-Studierende (5 ECTS)

UnivIS-Modul:

Seminar: Black Box Challenge - Meta-heuristic Optimization for Arbitrary Problems (BBC-SEM)

Bezeichnung:

Seminar Black Box Challenge - Meta-heuristic Optimization for Arbitrary Problems

Prüfungstyp:

Seminarleistung

Lehrveranstaltungen:

32451 Seminar für I+K-Studierende (2.5 ECTS)

UnivIS-Modul:

Systems- and Networks-on-a-Chip (SNoC)

Bezeichnung:

Systems- and Networks-on-a-Chip_

Prüfungstyp:

mehrteilige Prüfung

Lehrveranstaltungen:

• Systems- and Networks-on-a-Chip

37051 Hardware-Software-Co-Design (5 ECTS) (Wiederholungsprüfung vom SS 2014)

UnivIS-Modul:

Verifikation digitaler Systeme (VdS)

Bezeichnung:

Verifikation digitaler Systeme

Prüfungstyp:

mündliche Prüfung

Lehrveranstaltungen:

• Verifikation digitaler Systeme
• Übung zur Verifikation digitaler Systeme

38051 Hardware-Software-Co-Design (5 ECTS) (Wiederholungsprüfung vom SS 2014)

UnivIS-Modul:

Verifikation digitaler Systeme (VdS)

Bezeichnung:

Verifikation digitaler Systeme

Prüfungstyp:

mündliche Prüfung

Lehrveranstaltungen:

• Verifikation digitaler Systeme
• Übung zur Verifikation digitaler Systeme

38181 Seminar (5 ECTS)

UnivIS-Modul:

Seminar: Black Box Challenge - Meta-heuristic Optimization for Arbitrary Problems (BBC-SEM)

Bezeichnung:

Seminar Black Box Challenge - Meta-heuristic Optimization for Arbitrary Problems

Prüfungstyp:

Seminarleistung

Lehrveranstaltungen:

38181 Seminar (5 ECTS, Wiederholungsprüfung vom SS 2014)

UnivIS-Modul:

SystemC Seminar (SYSC-SEM)

Bezeichnung:

Seminar SystemC

Prüfungstyp:

mehrteilige Prüfung

Lehrveranstaltungen:

• SystemC