Computer Science

Zugriffspfad / Path

Hauptnavigation / Main Navigation

Unternavigation / Sub Navigation

Standardverweise

Master's Modules

German Language (6 ECTS)

Introductory course into the German Language.

High Performance Computing (6 ECTS)

General paradigms for parallel programming, Using the Threading Building Blocks Library for CPU parallelism, Concepts of the task stealing scheduler, Efficient memory management for parallel systems, General parallelism concepts in TBB, Using CUDA for GPGPU computing, Concepts of GPGPU computing, Writing simple CUDA programs, Synchronization in CUDA, Streaming and overlapping in CUDA.

Verification of Concurrent Software-Systems (6 ECTS)

Need for verification of software, examples, differentiation to software testing, formal verification by model checking, correctness proof for finite state concurrent models, formal specification of correctness requirements using temporal logic, functionality and practical use of tools.

LabProject: Modelling, Specification and Verification of a protocol or system.

Implementation of ERP Systems (6 ECTS)

Architecture of corporate information systems using the example of a popular system, learning an application-oriented programming language, programming of standard use cases and access to an SAP system.

Advanced Game Technology (6 ECTS)

The course deals with advanced methods of image synthesis, both for the interactive presentation, as well as for offline rendering. It is based on the state-of-the-art of research in computer graphics and includes the following topics: Physical Fundamentals of Light Propagation, Reflection Properties and Material Models, Image-Based Techniques, Photorealism, Procedural Modeling, Computer Animation, Volumetric Effects and Participating Media.

Project (12 ECTS)

Project in an area of expertise of one of our faculty members, e.g. Game Development, Business Information systems, Web Technologies, Mobile Systems, Software Engineering, Networks, Distributed Systems,  Embedded Systems, Real-time Systems, Data Bases, Artificial Intelligence, Discrete Optimizations and Algorithms, CAD, ERP Software, Computer Graphics, Interactive Media, Medical Informatics. Topics have to be negotiated individually.

Webredaktion Informatik, April 29, 2015