Professur für Betriebssysteme
Organisation: Professur
Organisationsprofil
Ehemalige:r Inhaber:in der Professur: Seniorprof. Dr. rer. nat. Hermann Härtig
Ehemalige Einrichtung
Aktiv bis. 30 Sept. 2021.
Verknüpfte Inhalte und Forschende (öffentliche Profile)
- Veröffentlichungen
- Zeitschriften
- Aktivitäten
- Auszeichnungen
Towards Efficient Oversubscription: On the Cost and Benefit of Event-Based Communication in MPI
Bierbaum, J., Planeta, M. & Härtig, H., 27 Jan. 2023, 2022 IEEE/ACM International Workshop on Runtime and Operating Systems for Supercomputers (ROSS): International Workshop on Runtime and Operating Systems for Supercomputers, Held in conjunction with SC 2022: The International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE, S. 1-10 10 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
MigrOS: Transparent Live-Migration Support for Containerised RDMA Applications.
Planeta, M., Bierbaum, J., Antony, L. S. D., Hoefler, T. & Härtig, H., 2021, S. 47-63.Publikation: Beitrag zu Konferenzen › Paper › Beigetragen › Begutachtung
FFMK: A Fast and Fault-Tolerant Microkernel-Based System for Exascale Computing
Weinhold, C., Lackorzynski, A., Bierbaum, J., Küttler, M., Planeta, M., Weisbach, H., Hille, M., & 12 weitereHärtig, H., Margolin, A., Sharf, D., Levy, E., Gak, P., Barak, A., Gholami, M., Schintke, F., Schütt, T., Reinefeld, A., Lieber, M. & Nagel, W. E., 2020, Software for Exascale Computing - SPPEXA 2016-2019. Springer Verlag, S. 483-516 34 S. ( Lecture notes in computational science and engineering : LNCSE, Band 136).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Configuration of Inter-Process Communication with Probabilistic Model Checking
Herrmann, L., Küttler, M., Stumpf, T., Baier, C., Härtig, H. & Klüppelholz, S., 1 Dez. 2019, in: International Journal on Software Tools for Technology Transfer. 21, 6, S. 651-666 16 S.Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
M³X: Autonomous Accelerators via Context-Enabled Fast-Path Communication
Asmussen, N., Roitzsch, M. & Härtig, H., Juli 2019, USENIX Annual Technical Conference. S. 617-632Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
ACM SIGBED review
ISSNs: 1551-3688
ACM Press
Scopus-Bewertung (2022): CiteScore 5,6 SJR 0,708 SNIP 1,782
Fachzeitschrift: Zeitschrift
International Journal of Foundations of Computer Science
ISSNs: 0129-0541
World Scientific Publishing Co. Pte Ltd
Scopus-Bewertung (2023): CiteScore 1,6 SJR 0,373 SNIP 0,769
Fachzeitschrift: Zeitschrift
IEEE Transactions on Multi-Scale Computing Systems
ISSNs: 2332-7766
IEEE, New York [u. a.]
Scopus-Bewertung (2019): CiteScore 6 SJR 0,581 SNIP 1,698
Fachzeitschrift: Zeitschrift
International Journal on Software Tools for Technology Transfer
ISSNs: 1433-2779
Weitere durchsuchbare ISSN (elektronisch): 1433-2787
Springer Verlag
Scopus-Bewertung (2023): CiteScore 4,5 SJR 0,524 SNIP 1,266
Fachzeitschrift: Zeitschrift
Journal of Computer and System Sciences
ISSNs: 0022-0000
Weitere durchsuchbare ISSN (elektronisch): 1090-2724
Academic Press Inc.
Scopus-Bewertung (2023): CiteScore 3,7 SJR 1,37 SNIP 1,322
Fachzeitschrift: Zeitschrift
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
Tews, H. (Redner:in), Völp, M. (Redner:in), Engel, B. (Redner:in)28 Nov. 2012 → 30 Nov. 2012
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen