The institute consists of the chairs "Structural Mechanics", "Statics and Dynamics" and "Continuum Mechanics".
The chairs of Baumechanik (BM) and Statik und Dynamik (SD) are responsible for teaching the mechanical fundamentals of civil engineering.
The institute combines theoretical and numerical basic research with experimental validation and computer-aided simulation.
Have you missed something? Here you can find all current and past messages.
Part of:
You are here:
Christian Hakert successfully defended his Dissertation - Software Exploitation of Traditional Interfaces for Modern Technologies - with Distinction (summa cum laude). …
System Software Group at Osnabrück University. MxKernel 's theme is Database/Operating System Co-Design . The project is driven by new application classes that put immense pressure on systems software to process [...] hardware heterogeneity can be adequately supported by systems and application software. Clearly, different pieces of systems software must collaborate much more closely than what is available today. With MxKernel [...] goal is to understand the feasibility of the concept; its implications on the design of (database) software; as well as its potential for performance and scalability. We will develop methods and guidelines …
INF-MSc-319: Logical Methods of Software Engineering [b][c] INF-MSc-320: Model-based software techniques for secure systems[ c ] INF-MSc-325: Logical Methods of Software Engineering 1 (LMSE1) [j ] INF-MSc-326: [...] following modules are recognized for this module: INF-MSc-310: Software Architectures [c] . INF-MSc-312: Component and Service-Oriented Software Design [b][c] INF-MSc-313: Aspect-Oriented Development of Complex [...] INF-MSc-326: Logical Methods of Software Engineering 2 (LMSE2) [j ] INF-MSc-401: Modeling, Simulation, and Analysis [c] INF-MSc-402: Modeling of Distributed Algorithms [g] INF-MSc-503: Data Visualization [c …
In 4th IEEE International Conference on Network Softwarization (NetSoft 2018) , Canada, June 2018. Download as PDF View on IEEE Xplore …
There are currently problems with the software telephony (Cisco Jabber). These manifest themselves in the form of an automatic logout in the home office (without VPN). We are working with the manufacturer …
In International SPIN Symposium on Model Checking of Software , Springer, Lecture Notes in Computer Science (LNCS), Stony Brook, NY, USA, July 2013. …
Research and Publications of Christine Müller Research Topics & Projects Publications Software Packages Supervised Ph. D. Theses Research and Publications of Guido Knapp Publications …
Winter Semester 2021/2022 Web Technologies 1 Project: Implementation of Software Library Metrics Type Systems for Correctness and Security Seminar: Replicability of Research Artifacts …
Accept 6. Short justification of your Overall Rating. This paper provides a comprehensive study of software prefetching across various hardware platforms. Authors characterize impact of different parameters [...] well as the content. The authors do a great job of introducing the concepts, diving deep into the software prefetcher, teasing out how these interact with hardware prefetchers, and exploring opportunities [...] Q1-Q4. Accept 6. Short justification of your Overall Rating. The paper does a deep dive analysis on software prefetching explaining the hardware characteristics and limitations as well as common misconceptions …
