Towards Static Analysis of Interrupt Blocking Time in Operating System Kernels

to related objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
Online-Ressource
Language
Englisch

Event
Veröffentlichung
(where)
Erlangen
(who)
Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
(when)
2025
Creator
Preisner, Thomas
Nguyen, Dustin
Krebs, Jonathan
Kapitza, Rüdiger
Schröder-Preikschat, Wolfgang

DOI
10.25593/open-fau-1544
URN
urn:nbn:de:101:1-2501240408436.685783731206
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
20.02.2026, 3:32 PM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Associated

Time of origin

  • 2025

Other Objects (12)

On the correctness of operating system kernels

Text

On the correctness of operating system kernels

Towards real Μ [My]-Kernels

Towards real Μ [My]-Kernels

Towards learning optimized kernels for complex Langevin

Towards learning optimized kernels for complex Langevin

Towards operating system synthesis

Hochschulschrift

Towards operating system synthesis

Graph kernels

Hochschulschrift

Graph kernels

Advanced compiling techniques to reduce RAM usage of static operating systems

Hochschulschrift | Online-Publikation

Advanced compiling techniques to reduce RAM usage of static operating systems

IVAP 2025 - Towards the collaborative operating room

IVAP 2025 - Towards the collaborative operating room

Fuzzy Observables: from Weak Markov Kernels to Markov Kernels

Fuzzy Observables: from Weak Markov Kernels to Markov Kernels

Henkin–Ramirez kernels

Henkin–Ramirez kernels

Kernels of localities

Kernels of localities

Power Series Kernels

Power Series Kernels

Scalable graph kernels

Scalable graph kernels

Related objects