Nebenläufigkeit

nebenläufigkeit

Concurrency

Entwicklung and Einbau zur Beherrschung der Nebenläufigkeit

Development and installation on the control of concurrency

Nebenläufigkeit von Tasks

Concurrency of tasks

Die primären Arbeitsbereiche des Instituts für Computersprachen sind Programmiersprachen und Übersetzerbau, Theoretische Informatik und Logik. Seine Forschungsgebiete umfassen die Theorie und Praxis aller Aspekte des Designs, der Umsetzung und Anwendung von Programmiersprachen. Spezielle Interessensbereiche sind Programmiermodelle, Übersetzer, Dolmetscher, Programmanalysen, -verifikation und -optimierung sowie Kompilierungstechniken für zuverlässige und robuste eingebettete Systeme und Hochleistungssysteme. Aufgrund seines Expertenwissens in den Bereichen Programmanalyse und -verifikation der Software von eingebetteten Systemen, Design von Programmiersprachen und -modellen für Parallelität und Nebenläufigkeit, und seines umfangreichen Know-hows in der Softwarearchitektur für verteilte eingebettete Echtzeitsysteme deckt das Institut aktuelle Trends in der Robotik sehr gut ab.

Its research comprises the theory and practice of all aspects of the design, the implementation, and application of programming languages. Particular fields of interests include programming paradigms, compilers, interpreters, program analysis, verification, and optimization, and compilation techniques for dependable and robust embedded systems and high-performant systems. Current trends in robotics are well covered by the institute's expertise in program analysis and verification of embedded systems software, the design of programming languages and models for parallelism and concurrency, and extensive know-how in software architecture for distributed embedded real-time systems.