Search for Author All Reviews
	Martins, Francisco     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 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     The stream-based service-centred calculus: a foundation for service-oriented programming Cruz-Filipe L., Lanese I., Martins F., Ravara A., Thudichum Vasconcelos V. Formal Aspects of Computing 26(5): 865-918, 2014.  Type: Article Today, web services are the major technology for deploying systems that make their functionality remotely accessible, discoverable, and composable, giving rise to the paradigm of service-oriented computing (SOC). To adequately model SO...... Nov 18 2014
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy