82 | | * 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 |
83 | | * 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 |
| 82 | * 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 |
| 83 | * 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 |
85 | | * Noman Javed and Frédéric Loulergue. [http://dx.doi.org/10.1007/978-3-642-23178-0_4 A Formal Programming Model of Orléans Skeleton Library]. In Victor Malyshkin, editor, Eleventh International Conference on Parallel Computing Technologies (PaCT), LNCS 6873. pages 40-52, Springer, 2011 |
86 | | * Noman Javed and Frédéric Loulergue. [http://dx.doi.org/10.1109/HPCSim.2011.5999832 Parallel Programming and Performance Predictability with Orléans Skeleton Library]. In International Conference on High Performance Computing and Simulation (HPCS). pages 257-263, IEEE, 2011 |
87 | | * Noman Javed and Frédéric Loulergue. [http://dx.doi.org/10.1007/978-3-642-03644-6_34 OSL: Optimized Bulk Synchronous Parallel Skeletons on Distributed Arrays]. In Y. Don, R. Gruber, and J. Joller, editors, 8th international Conference on Advanced Parallel Processing Technologies (APPT'09), LNCS 5737, pages 436-451. Springer, 2009 |
88 | | * Noman Javed and Frédéric Loulergue. A Metaprogrammed Bulk Synchronous Parallel Algorithmic Skeleton Library. In International Conference for High Performance Computing, Networking, Storage and Analysis (SC08), Poster, 2008 |
| 85 | * Noman Javed and Frédéric Loulergue. [http://dx.doi.org/10.1007/978-3-642-23178-0_4 A Formal Programming Model of Orléans Skeleton Library]. In Victor Malyshkin, editor, Eleventh International Conference on Parallel Computing Technologies (PaCT), LNCS 6873. pages 40-52, Springer, 2011 |
| 86 | * Noman Javed and Frédéric Loulergue. [http://dx.doi.org/10.1109/HPCSim.2011.5999832 Parallel Programming and Performance Predictability with Orléans Skeleton Library]. In International Conference on High Performance Computing and Simulation (HPCS). pages 257-263, IEEE, 2011 |
| 87 | * Noman Javed and Frédéric Loulergue. [http://dx.doi.org/10.1007/978-3-642-03644-6_34 OSL: Optimized Bulk Synchronous Parallel Skeletons on Distributed Arrays]. In Y. Don, R. Gruber, and J. Joller, editors, 8th international Conference on Advanced Parallel Processing Technologies (APPT'09), LNCS 5737, pages 436-451. Springer, 2009 |
| 88 | * Noman Javed and Frédéric Loulergue. A Metaprogrammed Bulk Synchronous Parallel Algorithmic Skeleton Library. In International Conference for High Performance Computing, Networking, Storage and Analysis (SC08), Poster, 2008 |