Replicated Synchronization for Imperative BSP Programs-Reference-Cited by-同舟云学术

Replicated Synchronization for Imperative BSP Programs

Published:2017 Issue: Volume:108 Page:535-544
ISSN:1877-0509
Container-title:Procedia Computer Science
language:en
Short-container-title:Procedia Computer Science

Author:

Jakobsson Arvid,Dabrowski Frédéric,Bousdira Wadoud,Loulergue Frédéric,Hains Gaetan

Publisher

Elsevier BV

Subject

General Engineering

Reference13 articles.

1. Concurrency analysis for parallel programs with textually aligned barriers. In International Workshop on Languages and Compilers for Parallel Computing;Kamil,2005

2. Barrier inference;Aiken,1998

3. Logic of global synchrony;Chen;ACM Trans Program Lang Syst,2004

4. B. D. de Dinechin, R. Ayrignac, P. E. Beaucamps, P. Couvert, B. Ganne, P. G. de Massas, F. Jacquet, S. Jones, N. M. Chaisemartin, F. Riss, and T. Strudel. A clustered manycore processor architecture for embedded and accelerated applications. In 2013 IEEE High Performance Extreme Computing Conference (HPEC), pages 1–6, Sept 2013.

5. From BSP routines to high-performance ones: Formal verification of a transformation case;Fortin;In International Conference on Computational Science (ICCS), volume 1,2010

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Survey on Parallelism and Determinism;ACM Computing Surveys;2023-02-02

2. On Single-Valuedness in Textually Aligned SPMD Programs;International Journal of Parallel Programming;2021-05-04

3. A denotational semantics of textually aligned SPMD programs;Journal of Logical and Algebraic Methods in Programming;2019-11

4. Multi-valued Expression Analysis for Collective Checking;Lecture Notes in Computer Science;2019

5. Evaluation of high-level query languages based on MapReduce in Big Data;Journal of Big Data;2018-10-06