Optimizing remote method invocation with communication-computation overlap

By Baude F.   Caromel D.   Furmento N.   Sagnol D.  

Future Generation Computer Systems, Vol. 18, Iss. 6, 2002-05 ,pp. : 769-778

Elsevier

Access to resources Recommend Favorite

Debugging real-world data-parallel programs with SPiDER

By Fahringer T.   Sowa-Pieklo K.  

Future Generation Computer Systems, Vol. 18, Iss. 6, 2002-05 ,pp. : 779-788

Elsevier

Access to resources Recommend Favorite

Formal validation of data-parallel programs: a two-component assertional proof system for a simple language

By Bouge L.   Cachera D.   Le Guyadec Y.   Utard G.   Virot B.  

Theoretical Computer Science, Vol. 189, Iss. 1, 1997-12 ,pp. : 71-107

Elsevier

Access to resources Recommend Favorite

Efficient Computation of Address Sequences in Data Parallel Programs Using Closed Forms for Basis Vectors

By Thirumalai A.   Ramanujam J.  

Journal of Parallel and Distributed Computing, Vol. 38, Iss. 2, 1996-11 ,pp. : 188-203

Academic Press

Access to resources Recommend Favorite

Communication Optimizations for Parallel C Programs

By Zhu Y.   Hendren L.J.  

Journal of Parallel and Distributed Computing, Vol. 58, Iss. 2, 1999-08 ,pp. : 301-332

Academic Press

Access to resources Recommend Favorite