( en | de | ru )

 

Disambiguierung von "Nowack, Martin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
TM-dietlibc: A TM-aware Real-World System Library.

, , , , , , und . IPDPS, Seite 1266-1274. IEEE Computer Society, (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Martin Nowack

Martin Norbert Nowack

Alexander Nowack

Hermann Nowack

Thomas Nowack

 

Weitere Publikationen von Autoren mit dem selben Namen

Parallel Symbolic Execution: Merging In-Flight Requests., , und . Haifa Verification Conference, Volume 9434 von Lecture Notes in Computer Science, Seite 120-135. Springer, (2015)Brief announcement: between all and nothing - versatile aborts in hardware transactional memory., , , und . SPAA, Seite 108-110. ACM, (2013)Running symbolic execution forever., , und . ISSTA, Seite 63-74. ACM, (2020)Fine-Grain Memory Object Representation in Symbolic Execution.. ASE, Seite 912-923. IEEE, (2019)KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay., , , , und . ISSTA, Seite 1491-1494. ACM, (2023)Towards Effective Symbolic Execution.. Dresden University of Technology, Germany, (2024)TM-dietlibc: A TM-aware Real-World System Library., , , , , , und . IPDPS, Seite 1266-1274. IEEE Computer Society, (2013)Evaluation of AMD's advanced synchronization facility within a complete transactional memory stack., , , , , , , , , und 1 andere Autor(en). EuroSys, Seite 27-40. ACM, (2010)Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?, , und . TAP@FM, Volume 11823 von Lecture Notes in Computer Science, Seite 41-54. Springer, (2019)A Deterministic Memory Allocator for Dynamic Symbolic Execution., , , , und . ECOOP, Volume 222 von LIPIcs, Seite 9:1-9:26. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)