Transforming non textually aligned SPMD programs into textually aligned SPMD programs by using rewriting rules. Wadoud Bousdira. HPCS 2019.
Languages, Models and Verification
Transforming non textually aligned SPMD programs into textually aligned SPMD programs by using rewriting rules. Wadoud Bousdira. HPCS 2019.