Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Impacts of the Kuroshio Intrusion through the Luzon Strait on the Local Precipitation Anomaly., , , , , , , , und . Remote. Sens., 13 (6): 1113 (2021)Finding inputs that trigger floating-point exceptions in heterogeneous computing via Bayesian optimization., , und . Parallel Comput., (September 2023)UMM: an operational memory model specification framework with integrated model checking capability., , und . Concurr. Pract. Exp., 17 (5-6): 465-487 (2005)A correctness criterion for asynchronous circuit validation and optimization., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 13 (11): 1309-1318 (1994)Portable inter-workgroup barrier synchronisation for GPUs., , , , und . OOPSLA, Seite 39-58. ACM, (2016)Formal Methods for MPI Programs., und . Festschrift honoring Gary Lindstrom, Volume 193 von Electronic Notes in Theoretical Computer Science, Seite 19-27. Elsevier, (2007)Rigorous floating-point mixed-precision tuning., , , , , und . POPL, Seite 300-315. ACM, (2017)On the definition of sequential consistency., und . Inf. Process. Lett., 96 (6): 193-196 (2005)Synthesizing Synchronous Digital VLSI Controllers Using Petri Nets.. PNPM, Seite 94-103. IEEE Computer Society, (1987)Using "Test Model-Checking" to Verify the Runway-PA8000 Memory Model., , , und . SPAA, Seite 231-239. ACM, (1998)