Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Electronic proceedings in theoretical computer science, 2017-03, Vol.244 (Proc. MARS 2017), p.66-116
2017
Link zum Volltext

Open Access
Declarative Power Sequencing
ACM transactions on embedded computing systems, 2021-10, Vol.20 (5s), p.1-21, Article 84
2021
Link zum Volltext



Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, 2020, p.283-300
2020
Link zum Volltext

Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023, p.174-180
2023
Link zum Volltext

Interactive Theorem Proving, 2018, Vol.10895, p.1-19
2018
Link zum Volltext

Proceedings of the 12th Workshop on Programming Languages and Operating Systems, 2023, p.10-17
2023
Link zum Volltext

Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023, p.158-165
2023
Link zum Volltext


Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021, p.194-210
2021
Link zum Volltext

Proceedings of the 14th ACM Workshop on Hot Topics in Storage and File Systems, 2022, p.37-44
2022
Link zum Volltext

Proceedings of the Workshop on Hot Topics in Operating Systems, 2021, p.159-166
2021
Link zum Volltext

Proceedings of the 11th Workshop on Programming Languages and Operating Systems, 2021, p.69-75
2021
Link zum Volltext


Proceedings of the 9th Workshop on Programming Languages and Operating Systems, 2017, p.8-14
2017
Link zum Volltext

Proceedings of the 12th USENIX conference on Operating Systems Design and Implementation, 2016, p.33-48
2016
Link zum Volltext








Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n