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