Author:
Loulergue Frédéric,Hains Gaétan,Foisy Christian
Reference26 articles.
1. O. Ballereau, F. Loulergue, G. Hains, High level BSP programming: BSML and BSλ, in SFP’99: First Scottish Functional Programming Workshop, Stirling, Scotland, September 1999.
2. The Lambda Calculus, Its Syntax and Semantics;Barendregt,1986
3. Vector Models for Data-Parallel Computing;Blelloch,1990
4. G.-H. Botorog, H. Kuchen, Efficient parallel programming with algorithmic skeletons, in: L. Bougé, P. Fraigniaud, A. Mignotte, Y. Robert (Eds.), Euro-Par’96 Parallel Processing, Lyon, Lecture Notes in Computer Science, Vol. 1123–1124, Springer, Berlin, August 1996.
5. L. Bougé, On the semantics of languages for massively parallel SIMD architectures, in: E.H.L. Aarts, J. van Leeuwen (Eds.), PARLE ’91, Parallel Architectures and Languages Europe, Eindhoven, Lecture Notes in Computer Science, Vols. 505, 506, Springer, Berlin, June 1991.
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Parallel Programming with OCaml: A Tutorial;2018 International Conference on High Performance Computing & Simulation (HPCS);2018-07
2. A BSPlib-style API for Bulk Synchronous Parallel ML;Scalable Computing: Practice and Experience;2017-09-10
3. Automated Generation of BSP Automata;Parallel Processing Letters;2017-03
4. GPS: Towards Simplified Communication on SGL Model;2014 IEEE International Parallel & Distributed Processing Symposium Workshops;2014-05
5. A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction;Interactive Theorem Proving;2014