Author:
Gava Frédéric,Fortin Jean
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Single-Valuedness in Textually Aligned SPMD Programs;International Journal of Parallel Programming;2021-05-04
2. Safe usage of registers in BSPlib;Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing;2019-04-08
3. Correctness of Dynamic Dependence Analysis for Implicitly Parallel Tasking Systems;2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness);2018-11
4. Active Objects for Coordinating BSP Computations (Short Paper);Lecture Notes in Computer Science;2018
5. An Embedded DSL for High Performance Declarative Communication with Correctness Guarantees in C++;Languages and Compilers for Parallel Computing;2016