Suche - BMSD - TU Dortmund

Suche
Personensuche

1912 Ergebnisse

1. Computer Science
2. Studium
3. Studiengänge
4. Bachelor Lehramt Gy/Ge Informatik
5. Studienplan Bachelor Lehramt Gy/Ge
Bachelor Lehramt Gy/ge mit sonst. Fach

vielfältige Möglichkeiten zur Verbreiterung und Vertiefung. Software-Zyklus (dunkelblau) In den Veranstaltungen des Software-Zyklus lernen Sie, Software zu entwickeln. Das Spektrum reicht von der Erstellung [...] auch in den in den Studienplan integrierten Praktika an. Im Software-Praktikum werden Sie in Gruppenarbeit anspruchsvolle Software-Projekte erarbeiten, um wertvolle Programmiererfahrung und Kompetenzen …
1. Computer Science
2. Studium
3. Studiengänge
4. Bachelor Lehramt Gy/Ge Informatik
5. Studienplan Bachelor Lehramt Gy/Ge
Bachelor Lehramt Gy/Ge mit Mathematik

vielfältige Möglichkeiten zur Verbreiterung und Vertiefung. Software-Zyklus (dunkelblau) In den Veranstaltungen des Software-Zyklus lernen Sie, Software zu entwickeln. Das Spektrum reicht von der Erstellung [...] auch in den in den Studienplan integrierten Praktika an. Im Software-Praktikum werden Sie in Gruppenarbeit anspruchsvolle Software-Projekte erarbeiten, um wertvolle Programmiererfahrung und Kompetenzen …
1. CCB
2. Fakultät - CCB
3. GE
HPLC/MS

Maserski/TU-Dortmund Semipräparative Säulen Software Software Die analytischen Anlagen und die semipräparative Anlage mit Fraktionssammler Foxy R1 werden mit der Software Clarity Chrom Version 7.2.0.73, die [...] Fraktionssammler und präparative Anlage werden mit der Software Clarity Preparative Version 7.2.0.73 betrieben. Die LC-MS Anlage wird mit der Software Empower 3 Version Fr2 betrieben. HPLC-MS Das HPLC-MS …
1. dbis
2. Publikationen
3. 2025
MxKernel: A Bare-Metal Runtime System for Database Operat

challenge for application and system software developers. We argue that the major hindrance for applications and system software alike lies in the design of today’s system software architecture. The thread abstraction [...] as the memory topology or accelerators from applications and application behavior from the system software, forcing the latter to base resource management on assumptions while preventing the former from [...] from leveraging the potential of modern hardware. We present the MxKernel as a novel system software architecture with the requirements of modern data-intensive applications in mind. Instead of threads, the …
1. CCB
2. Fakultät - CCB
3. Service
Software

Software Die Fakultät für Chemie und Chemische Biologie stellt ihren Mitarbeitern (nur dienstliche Nutzung) und Studierenden Lizenzen für diverse Softwarepakete zur Verfügung. ChemOffice Persönliche Lizenzen [...] Lizenzen ist die Angabe einer *@tu-dortmund.de - E-Mail-Adresse. Download-Portal Revvity Signals Software, Inc. Anleitung Labor- und Büroinstallationen Wenden Sie sich bitte an die Mitarbeiter des I …
1. SSE
2. Theses
3. Master-Theses
Verbesserung eines bestehenden Ansatzes zu JVM-Debloating

OPAL. In Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020). Association for Computing Machinery [...] applications. In Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020). Association for Computing Machinery [...] dependencies. In Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2021). Association for Computing Machinery …
1. SEAL
2. Veranstaltung: 8.4.2024
Aktuelle Themen im logikbasierten Software Engineering

can, in certain domains, produce fully verified software at a nontrivial scale and with runtime performance that meets or exceeds the best unverified software." This lecture is about writing functional programs [...] and proving them correct. Coq - the 2013 ACM Software System Award winner - is an interactive proof assistant for the development of formally certified software and mathematical theories. Its underlying theory [...] proof assistant technology has matured enough to also enable formal certification of substantial software systems. Two major success stories are the seL4 operating system microkernel and the CompCert optimising …
1. SEAL
2. Lehre
3. Lehrveranstaltungen
4. Sommersemester 2025
Aktuelle Themen im logikbasierten Software Engineering

can, in certain domains, produce fully verified software at a nontrivial scale and with runtime performance that meets or exceeds the best unverified software." This lecture is about writing functional programs [...] and proving them correct. Coq - the 2013 ACM Software System Award winner - is an interactive proof assistant for the development of formally certified software and mathematical theories. Its underlying theory [...] proof assistant technology has matured enough to also enable formal certification of substantial software systems. Two major success stories are the seL4 operating system microkernel and the CompCert optimising …
1. RST - Lehrstuhl für Regelungssystemtechnik
2. Lehrstuhl
3. Team
Kersting

Tätigkeiten Administration der IT-Komponenten und Server Beschaffung von Software, Laborgeräten und Materialien Technische Betreuung von Veranstaltungen Beratung und Unterstützung von Mitarbeitenden und [...] und Studierenden Administration und Pflege der Webseiten Lizenzverwaltung der Softwareprodukte …
1. Graduateschool
2. Veranstaltung: 28.6.2021
Von simulierten Wellenfunktionen zur Messung von Wellenformen

Zoom Vortragender ist Dr. Fabian Güttge (DirectorSoftware Development Oscilloscopes) von Rohde & Schwarz . Fabian Güttge ist Alumnus der AG Anders . PDF-Dokument mit der Vortragsankündigung . …