TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 2.

Lehr, Jan-Patrick ; Bischof, Christian ; Dewald, Florian ; Mantel, Heiko ; Norouzi, Mohammad ; Wolf, Felix (2021):
Tool-Supported Mini-App Extraction to Facilitate Program Analysis and Parallelization.
In: The 50th International Conference on Parallel Processing: Main Conference Proceedings,
ACM, 50th International Conference on Parallel Processing (ICPP 2021), virtual Conference, 09.-12.08.2021, ISBN 978-1-4503-9068-2,
DOI: 10.1145/3472456.3472521,
[Conference or Workshop Item]

Hähnle, Reiner ; Heydari Tabar, Asmae ; Mazaheri, Arya ; Norouzi, Mohammad ; Steinhöfel, Dominic ; Wolf, Felix
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2020):
Safer Parallelization.
In: Lecture Notes in Computer Science, 12477, In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, pp. 117-137,
Springer, 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020), ISBN 978-3-030-61469-0,
DOI: 10.1007/978-3-030-61470-6_8,
[Conference or Workshop Item]

This list was generated on Tue Oct 4 01:02:12 2022 CEST.