Author:
Emoto Kento,Loulergue Frédéric,Tesson Julien
Publisher
Springer International Publishing
Reference18 articles.
1. Cole, M.: Algorithmic Skeletons: Structured Management of Parallel Computation. MIT Press (1989),
http://homepages.inf.ed.ac.uk/mic/Pubs
2. Corra, R.C., Farias, P.M., de Souza, C.P.: Insertion and sorting in a sequence of numbers minimizing the maximum sum of a contiguous subsequence. Journal of Discrete Algorithms 21, 1–10 (2013)
3. Emoto, K., Fischer, S., Hu, Z.: Filter-embedding semiring fusion for programming with MapReduce. Formal Aspects of Computing 24(4-6), 623–645 (2012)
4. Lecture Notes in Computer Science;K. Emoto,2012
5. Lecture Notes in Computer Science;F. Gava,2013
Cited by
6 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. Recursion Schemes in Coq;Programming Languages and Systems;2019
4. Parallel Programming with OCaml: A Tutorial;2018 International Conference on High Performance Computing & Simulation (HPCS);2018-07
5. A Verified Accumulate Algorithmic Skeleton;2017 Fifth International Symposium on Computing and Networking (CANDAR);2017-11