Author of the publication

MADRE: The Memory-Aware Data Redistribution Engine.

, and . PVM/MPI, volume 5205 of Lecture Notes in Computer Science, page 218-226. 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.

 

Other publications of authors with the same name

Optimizing Memory Constrained Environments in Monte Carlo Nuclear Reactor Simulations., , and . IJHPCA, 27 (2): 210-216 (2013)Connecting and Serving the Software Engineering Community., , , , , , , , , and 3 other author(s). IEEE Trans. Software Eng., 42 (3): 203-205 (2016)Overcoming Asynchrony: An Analysis of the Effects of Asynchronous Noise on Nearest Neighbor Synchronizations., , and . EASC, volume 8759 of Lecture Notes in Computer Science, page 100-109. Springer, (2014)Automated Verification of Chapel Programs Using Model Checking and Symbolic Execution., , and . NASA Formal Methods, volume 7871 of Lecture Notes in Computer Science, page 198-212. Springer, (2013)Symbolic Execution and Deductive Verification Approaches to VerifyThis 2017 Challenges., and . ISoLA (2), volume 11245 of Lecture Notes in Computer Science, page 160-178. Springer, (2018)Towards Self-Verification in Finite Difference Code Generation., , , , , , , , and . CORRECTNESS@SC, page 42-49. ACM, (2017)Loop Invariant Symbolic Execution for Parallel Programs., and . VMCAI, volume 7148 of Lecture Notes in Computer Science, page 412-427. Springer, (2012)Transparent partial order reduction.. Formal Methods in System Design, 40 (1): 1-19 (2012)FEVS: A Functional Equivalence Verification Suite for High-Performance Scientific Computing., and . Mathematics in Computer Science, 5 (4): 427-435 (2011)Verification of Halting Properties for MPI Programs Using Nonblocking Operations., and . PVM/MPI, volume 4757 of Lecture Notes in Computer Science, page 326-334. Springer, (2007)