Search for Author All Reviews
	Lopez, Hugo A.     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       Protocol-based verification of message-passing parallel programs López H., Marques E., Martins F., Ng N., Santos C., Vasconcelos V., Yoshida N.  OOPSLA 2015 (Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Pittsburgh, PA, Oct 25-30, 2015) 280-298, 2015.  Type: Proceedings The message-passing interface (MPI) is a parallel computation standard that is widely used, especially in scientific computing. Parallel computation exhibits specific correctness problems arising from the possibility of several kinds o...... Jun 21 2016
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy