Author:
Loulergue Frédéric,Gava Frédéric,Billiet David
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Bisseling, R.: Parallel Scientific Computation. A structured approach using BSP and MPI. Oxford University Press, Oxford (2004)
2. Bonorden, O., Juurlink, B., von Otte, I., Rieping, O.: The Paderborn University BSP (PUB) library. Parallel Computing 29(2), 187–207 (2003)
3. Chan, A., Dehne, F.: CGMgraph/CGMlib: Implementing and Testing CGM Graph Algorithms on PC Clusters. In: Proceedings of the 10th EuroPVM/MPI conference. Springer, Heidelberg (2003)
4. Cole, M., Hayashi, Y.: Static Performance Prediction of Skeletal Programs. Parallel Algorithms and Applications 17(1), 59–84 (2002)
5. Gava, F.: Formal Proofs of Functional BSP Programs. Parallel Processing Letters 13(3), 365–376 (2003)
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verified High Performance Computing: The SyDPaCC Approach;Lecture Notes in Computer Science;2023-12-19
2. Verified Scalable Parallel Computing with Why3;Software Engineering and Formal Methods;2023
3. Hybrid Parameter Update: Alleviating Imbalance Impacts for Distributed Deep Learning;2022 IEEE 24th Int Conf on High Performance Computing & Communications; 8th Int Conf on Data Science & Systems; 20th Int Conf on Smart City; 8th Int Conf on Dependability in Sensor, Cloud & Big Data Systems & Application (HPCC/DSS/SmartCity/DependSys);2022-12
4. DPLRS: Distributed Population Learning Rate Schedule;Future Generation Computer Systems;2022-07
5. Executing certified model transformations on Apache Spark;Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering;2021-10-17