Verification of loop parallelisations

Autor: Blom, Stefan, Darabi, Saeed, Huisman, Marieke, Egyed, Alexander, Schaefer, Ina

Publikováno v: Fundamental Approaches to Software Engineering ISBN: 9783662466742
FASE
STARTPAGE=IPA;ENDPAGE=4;TITLE=ICT.OPEN 2015
Proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering (FASE 2015), 202-217
STARTPAGE=202;ENDPAGE=217;TITLE=Proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering (FASE 2015)
University of Twente Research Information (Pure Portal)

Writing correct parallel programs becomes more and more difficult as the complexity and heterogeneity of processors increase. This issue is addressed by parallelising compilers. Various compiler directives can be used to tell these compilers where to

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d7baca28c42166e982cae6aca62e6a67
https://doi.org/10.1007/978-3-662-46675-9_14