Changes between Version 12 and Version 13 of WikiStart
- Timestamp:
- Apr 12, 2011, 7:21:52 AM (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
WikiStart
v12 v13 62 62 cost model. 63 63 64 == Support == 65 66 Work on OSL is supported by the [http://www.agence-nationale-recherche.fr Agence Nationale de la Recherche] in the program ''ANR Blanc International'', project ''Parallel Program Development with Algorithmic Skeletons'' ([http://traclifo.univ-orleans.fr/PaPDAS" PaPDAS]) 64 67 65 68 == Team Members == … … 71 74 == Publications == 72 75 73 74 * N. Javed and F. Loulergue. [http://frederic.loulergue.eu/ftp/javed_loulergue_parallel_programming_with_osl.pdf Parallel Programming with Orleans Skeleton Library], LIFO, University of Orleans, Research Report, 201175 76 * N. Javed and F. 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 76 77 * N. Javed and F. Loulergue. A Metaprogrammed Bulk Synchronous Parallel Algorithmic Skeleton Library. In International Conference for High Performance Computing, Networking, Storage and Analysis (SC08), Poster, 2008 78 79 80 == Research Reports == 81 82 * N. Javed and F. Loulergue. [http://frederic.loulergue.eu/ftp/RR-2011-06.pdf A Formal Programming Model of Orleans Skeleton Library]. Technical Report RR-2011-06, LIFO, University of Orleans, April, 2011 83 * N. Javed and F. Loulergue. [http://frederic.loulergue.eu/ftp/RR-2011-05.pdf Parallel Programming with Orleans Skeleton Library]. Technical Report RR-2011-05, LIFO, University of Orleans, March, 2011 77 84 78 85 … … 80 87 81 88 * OSLProgrammingModel: [http://frederic.loulergue.eu/ftp/OSLProgrammingModel-0.1.tar.bz2 v0.1] (requires the [http://coq.inria.fr Coq] proof assistant). 82 * OSL v0.1 (coming soon)89 * OSL: v0.1 (coming soon)