Department Informatik

From Loop Fusion to Kernel Fusion: A Domain-specific Approach to Locality Optimization (2019) Qiao B, Reiche O, Hannig F, Teich J Conference contribution, Original article Automated instruction stream throughput prediction for intel and AMD microarchitectures (2019) Laukemann J, Hammer J, Hofmann J, Hager G, Wellein G Conference contribution Strukturelle Testverfahren zur Verifikation existentieller temporallogischer Formeln in erweiterten endlichen Zustandsmaschinen (2019) Spisländer M Thesis Improved X-Ray Bone Segmentation by Normalization and Augmentation Strategies (2019) Kordon F, Lasowski R, Swartman B, Franke J, Fischer P, Kunze H Conference contribution, Conference Contribution SeSaMe: A Data Set of Semantically Similar Java Methods [Data set] (2019) Kamp M, Kreutzer P, Philippsen M Other publication type, Forschungsdaten Driving Behavior Analysis through CAN Bus Data in an Uncontrolled Environment (2019) Fugiglando U, Massaro E, Santi P, Milardo S, Abida K, Stahlmann R, Netter F, Ratti C Journal article Digi4All – Kompetenzen für das Unterrichten in einer digitalisierten Welt (2019) Seegerer S, Albrecht C, Romeike R Conference contribution, Abstract of lecture ΔeltA: Differential energy-efficiency, latency, and timing analysis for real-time networks (2019) Reif S, Schmidt A, Hönig T, Herfet T, Schröder-Preikschat W Journal article Berufsbegleitendes Studieren an Universitäten - Ein Zukunftsfeld für die IT-Sicherheit (2019) Schiller J, Freiling F, Benenson Z, Massonne W Journal article, Original article Large-scale simulation of mantle convection based on a new matrix-free approach (2019) Bauer S, Huber M, Ghelichkhan S, Mohr M, Rüde U, Wohlmuth BI Journal article