On the Utility of Communication-Computation Overlap in Data-Parallel Programs

By Quinn M.J.   Hatcher P.J.  

Journal of Parallel and Distributed Computing, Vol. 33, Iss. 2, 1996-03 ,pp. : 197-204

Academic Press

Access to resources Recommend Favorite

Systematic macrostep debugging of message passing parallel programs

By Kacsuk P.  

Future Generation Computer Systems, Vol. 16, Iss. 6, 2000-04 ,pp. : 609-624

Elsevier

Access to resources Recommend Favorite

A data‐centric framework for debugging highly parallel applications

By  

SOFTWARE:PRACTICE AND EXPERIENCE, Vol. 45, Iss. 4, 2015-04 ,pp. : 501-526

John Wiley & Sons Inc

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

Reduced Topologically Real-World Networks: A Big-Data Approach

By  

International Journal of Distributed Systems and Technologies (IJDST), Vol. 6, Iss. 2, 2015-04 ,pp. : 13-27

IGI Global_journal

Access to resources Recommend Favorite