Barrier Inference, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '98, pp.342-354, 1998. ,
High-level BSP Programming: BSML and BS?, Proceedings of the first Scottish Functional Programming Workshop, pp.43-52, 1999. ,
The Paderborn University BSP (PUB) library, Parallel Comput, vol.29, pp.187-207, 2003. ,
Introducing OpenSHMEM: SHMEM for the PGAS community, Proceedings of the Fourth Conference on Partitioned Global Address Space Programming Model, 2010. ,
Textual Alignment in SPMD Programs, Proceedings of the 33rd Annual ACM Symposium on Applied Computing (SAC '18), pp.1046-1053, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01559832
BSP-Why: A Tool for Deductive Verification of BSP Algorithms with Subgroup Synchronisation, International Journal of Parallel Programming, vol.44, issue.3, pp.574-597, 2016. ,
Formal Semantics of a Subset of the Paderborn's BSPlib, Ninth International Conference on Parallel and Distributed Computing, Applications and Technologies, pp.269-276, 2008. ,
BSPlib: The BSP Programming Library, Parallel Comput, vol.24, pp.93-96, 1998. ,
, MPI: A Message-Passing Interface Standard Version, 2012.
The C Programming Language, 1988. ,
Apache Hama: An emerging bulk synchronous parallel computing framework for big data applications, IEEE Access, vol.4, pp.8879-8887, 2016. ,
Formal Semantics of DRMA-Style Programming in BSPlib, Parallel Processing and Applied Mathematics, vol.4967, pp.1122-1129, 2008. ,
A Bridging Model for Parallel Computation, Commun. ACM, vol.33, pp.103-111, 1990. ,
An object-oriented bulk synchronous parallel library for multicore programming, Concurrency and Computation: Practice and Experience, vol.24, pp.533-553, 2012. ,