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

Parallel Scientific Computing in C++ and MPI - A Seamless Approach to Parallel Algorithms and their Implementation., und . Cambridge University Press, (2003)Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism., , , , , und . PVM/MPI, Volume 5759 von Lecture Notes in Computer Science, Seite 271-281. Springer, (2009)Precise Dynamic Analysis for Slack Elasticity: Adding Buffering without Adding Bugs., , , und . EuroMPI, Volume 6305 von Lecture Notes in Computer Science, Seite 152-159. Springer, (2010)OpenMP 4 Fortran Modernization of WSM6 for KNL., , , und . PEARC, Seite 12:1-12:8. ACM, (2017)Semantics driven dynamic partial-order reduction of MPI-based parallel programs., , und . PADTAD, Seite 43-53. ACM, (2007)Contour Boxplots: A Method for Characterizing Uncertainty in Feature Sets from Simulation Ensembles., , und . IEEE Trans. Vis. Comput. Graph., 19 (12): 2713-2722 (2013)A Radial Basis Function (RBF)-Finite Difference (FD) Method for Diffusion and Reaction-Diffusion Equations on Surfaces., , , und . CoRR, (2014)A Study Of Discretization Errors In Volume Rendering Integral Approximations., , und . EuroRV³@EuroVis, Eurographics Association, (2013)Structure-preserving Nonlinear Filtering for Continuous and Discontinuous Galerkin Spectral/hp Element Methods., , und . CoRR, (2021)Formal verification of practical MPI programs., , , , , und . PPoPP, Seite 261-270. ACM, (2009)