Biblio

Export 9 results:
Filters: Author is Hermann Härtig  [Clear All Filters]
2023
Wang J, Trach B, Fu M, Behrens D, Schwender J, Liu Y, Lei J, Vafeiadis V, Härtig H, Chen H.  2023.  BWoS: Formally Verified Block-based Work Stealing for Parallel Processing. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :833--850.
2019
Asmussen N, Roitzsch M, Härtig H.  2019.  M³x: Autonomous Accelerators via Context-Enabled Fast-Path Communication. 2019 USENIX Annual Technical Conference (USENIX ATC 19). :617--632.
Hille M, Asmussen N, Bhatotia P, Härtig H.  2019.  SemperOS: A Distributed Capability System. 2019 USENIX Annual Technical Conference (USENIX ATC 19). :709--722.
2017
Smejkal T, Hähnel M, Ilsche T, Roitzsch M, Nagel WE, Härtig H.  2017.  E-Team: Practical Energy Accounting for Multi-Core Systems. 2017 USENIX Annual Technical Conference (USENIX ATC 17). :589--601.
2014
Hähnel M, Härtig H.  2014.  Heterogeneity by the Numbers: A Study of the ODROID XU+E big.LITTLE Platform. 6th Workshop on Power-Aware Computing and Systems (HotPower 14).
2012
Döbel B, Härtig H.  2012.  Who Watches the Watchmen? Protecting Operating System Reliability Mechanisms Eighth Workshop on Hot Topics in System Dependability (HotDep 12).
2001
Hohmuth M, Härtig H.  2001.  Pragmatic Nonblocking Synchronization for Real-Time Systems. 2001 USENIX Annual Technical Conference (USENIX ATC 01).