| 43 | | * Wadoud Bousdira, Frédéric Loulergue, and Julien Tesson. A Verified Library of Algorithmic Skeletons on Evenly Distributed Arrays. In ICA3PP 2012, LNCS. Springer, 2012. to appear |
| 44 | | * Noman Javed and Frédéric Loulergue. Verification of a Heat Diffusion Simulation written with Orléans Skeleton Library. In 9th International Conference on Parallel Processing and Applied Mathematics (PPAM), LNCS. Springer, 2011, to appear |
| | 43 | * Wadoud Bousdira, Frédéric Loulergue, and Julien Tesson. [http://dx.doi.org/10.1007/978-3-642-33078-0_16 A Verified Library of Algorithmic Skeletons on Evenly Distributed Arrays]. In ICA3PP 2012, pages 218-232, LNCS. Springer, 2012 |
| | 44 | * Noman Javed and Frédéric Loulergue. [http://dx.doi.org/10.1007/978-3-642-31500-8_10 Verification of a Heat Diffusion Simulation written with Orléans Skeleton Library]. In 9th International Conference on Parallel Processing and Applied Mathematics (PPAM), LNCS. pages 91-100, Springer, 2011 |
| 45 | 45 | * Yu Liu, Zhenjiang Hu, Kiminori Matsuzaki, [http://dx.doi.org/10.1007/978-3-642-23397-5_5 Towards Systematic Parallel Programming over MapReduce]. In Euro-Par 2011 Parallel Processing, Lecture Notes in Computer Science, Volume 6853, pages 39-50, 2011 |
| 46 | 46 | * Noman Javed, Frédéric Loulergue, Julien Tesson and Wadoud Bousdira. [http://www.cs.uga.edu/~hra/2011-proceedings/pdpta/papers.pdf Prototyping a Library of Algorithmic Skeletons with Bulk Synchronous Parallel ML]. In The 2011 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'11), pages 520-526, CSREA Press, 2011 |
