( en | de | ru )

 

Disambiguierung von "Lustig, Daniel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
RealityCheck: Bringing Modularity, Hierarchy, and Abstraction to Automated Microarchitectural Memory Consistency Verification.

, , und . CoRR, (2020)

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.

Ludwig Lustig

Walter Lustig

Konrad Lustig

Bernhard Lustig

Sönnke Lustig

 

Weitere Publikationen von Autoren mit dem selben Namen

Parsimony: Enabling SIMD/Vector Programming in Standard Compiler Flows., , , , und . CGO, Seite 186-198. ACM, (2023)Architectural and Operating System Support for Virtual Memory, und . Synthesis Lectures on Computer Architecture Morgan & Claypool Publishers, (2017)FinePack: Transparently Improving the Efficiency of Fine-Grained Transfers in Multi-GPU Systems., , , , und . HPCA, Seite 516-529. IEEE, (2023)COATCheck: Verifying Memory Ordering at the Hardware-OS Interface., , , und . ASPLOS, Seite 233-247. ACM, (2016)Transistency Models: Memory Ordering at the Hardware-OS Interface., , , und . IEEE Micro, 37 (3): 88-97 (2017)A Formal Analysis of the NVIDIA PTX Memory Consistency Model., , und . ASPLOS, Seite 257-270. ACM, (2019)HMG: Extending Cache Coherence Protocols Across Modern Hierarchical Multi-GPU Systems., , , , , und . HPCA, Seite 582-595. IEEE, (2020)Nimble Page Management for Tiered Memory Systems., , , und . ASPLOS, Seite 331-345. ACM, (2019)Shared last-level TLBs for chip multiprocessors., , und . HPCA, Seite 62-63. IEEE Computer Society, (2011)Mixed-proxy extensions for the NVIDIA PTX memory consistency model: industrial product., , und . ISCA, Seite 1058-1070. ACM, (2022)