Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
  Martins, Francisco Add to Alert Profile  
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 of communicat...
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 SOC systems, a...
Nov 18 2014  

Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2018 ThinkLoud, Inc.
Terms of Use
| Privacy Policy