TUD Logo

TUD Home » ... » Research » Publications » Grouped by category

Operating Systems

Publications grouped by categories

Publications sorted by various categories : 
[System Security] [Quality of Service] [Virtualization] [Microkernel Research] [Energy] [Misc]
[Dissertation] [Journal] [Conference] [Workshop] [Technical report] [Poster] [Misc.]

Most recent publications

  • Configuration of inter-process communication with probabilistic model checking
    Linda Herrmann, Martin Küttler, Tobias Stumpf, Christel Baier, Hermann Härtig, Sascha Klüppelholz
    International Journal on Software Tools for Technology Transfer volume 21, 651–666 (2019), October 2019
    HTML
  • FFMK: An HPC OS based on the L4Re Microkernel
    Carsten Weinhold, Adam Lackorzynski, Hermann Härtig
    In Robert W. Wisniewski, Balazs Gerofi, Rolf Riesen, Yutaka Ishikawa (eds) Operating Systems for Supercomputers and High Performance Computing, October 2019
    HTML
  • SemperOS: A Distributed Capability System
    Matthias Hille, Nils Asmussen, Pramod Bhatotia, Hermann Härtig
    2019 USENIX Annual Technical Conference (USENIX ATC'19), Renton, WA, United States, July 2019
    PDF
  • M3x: Autonomous Accelerators via Context-Enabled Fast-Path Communication
    Nils Asmussen, Michael Roitzsch, Hermann Härtig
    2019 USENIX Annual Technical Conference (USENIX ATC'19), Renton, WA, United States, July 2019
    PDF
  • A New System Architecture for Heterogeneous Compute Units
    Nils Asmussen
    Dissertation, Dresden, Germany, Mai 2019
    PDF
Last modified: 8th Jan 2020, 4.20 PM
Author: Dr.-Ing. Carsten Weinhold

Contact
Dr.-Ing.
Carsten Weinhold

Phone: 463 38056
Fax: 463 38284
e-mail contact form