Mohamed A. El-Zawawy. Certified Transformation for Static Single Assignment of SPMD Programs. In Bernady O. Apduhan, Ana Maria A. C. Rocha, Sanjay Misra, David Taniar, Osvaldo Gervasi, Beniamino Murgante, editors, 2014 14th International Conference on Computational Science and Its Applications, Guimaraes, Portugal, June 30 - July 3, 2014. pages 12-17, IEEE, 2014. [doi]
Abstract is missing.