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]
@inproceedings{El-Zawawy14a,
title = {Certified Transformation for Static Single Assignment of SPMD Programs},
author = {Mohamed A. El-Zawawy},
year = {2014},
doi = {10.1109/ICCSA.2014.15},
url = {http://dx.doi.org/10.1109/ICCSA.2014.15},
researchr = {https://researchr.org/publication/El-Zawawy14a},
cites = {0},
citedby = {0},
pages = {12-17},
booktitle = {2014 14th International Conference on Computational Science and Its Applications, Guimaraes, Portugal, June 30 - July 3, 2014},
editor = {Bernady O. Apduhan and Ana Maria A. C. Rocha and Sanjay Misra and David Taniar and Osvaldo Gervasi and Beniamino Murgante},
publisher = {IEEE},
isbn = {978-1-4799-4264-0},
}