( en | de | ru )

 

Disambiguation of "Kirby, Robert M."

Author of the publication

copydeleteadd this publication to your clipboard
A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs.

, , , , , and . PVM/MPI, volume 5205 of Lecture Notes in Computer Science, page 265-273. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Robert M Zoske

Robert M Gillenkirch

Robert M Stutz

Robert M Solomon

Robert M Fraunhoffer

 

Other publications of authors with the same name

Structure-preserving Nonlinear Filtering for Continuous and Discontinuous Galerkin Spectral/hp Element Methods., , and . CoRR, (2021)Parallel Scientific Computing in C++ and MPI - A Seamless Approach to Parallel Algorithms and their Implementation., and . Cambridge University Press, (2003)Scalable Lazy-update Multigrid Preconditioners., , , and . HPEC, page 1-7. IEEE, (2019)Formal Analysis for Debugging and Performance Optimization of MPI., and . IPDPS, page 1-6. IEEE, (2007)Formal verification of practical MPI programs., , , , , and . PPoPP, page 261-270. ACM, (2009)AutoIP: A United Framework to Integrate Physics into Gaussian Processes., , , , , and . ICML, volume 162 of Proceedings of Machine Learning Research, page 14210-14222. PMLR, (2022)Physics Informed Deep Kernel Learning., , , and . AISTATS, volume 151 of Proceedings of Machine Learning Research, page 1206-1218. PMLR, (2022)A Study Of Discretization Errors In Volume Rendering Integral Approximations., , and . EuroRV³@EuroVis, Eurographics Association, (2013)Practical Model-Checking Method for Verifying Correctness of MPI Programs., , , , , and . PVM/MPI, volume 4757 of Lecture Notes in Computer Science, page 344-353. Springer, (2007)Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism., , , , , and . PVM/MPI, volume 5759 of Lecture Notes in Computer Science, page 271-281. Springer, (2009)