[IEEE 2017 Fifth International Symposium on Computing and Networking (CANDAR) - Aomori, Japan (2017.11.19-2017.11.22)] 2017 Fifth International Symposium on Computing and Networking (CANDAR) - A Verified Accumulate Algorithmic Skeleton
Loulergue, FredericYear:
2017
Language:
english
DOI:
10.1109/CANDAR.2017.108
File:
PDF, 233 KB
english, 2017