Changes between Version 12 and Version 13 of WikiStart


Ignore:
Timestamp:
Apr 12, 2011, 7:21:52 AM (7 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v12 v13  
    6262cost model. 
    6363 
     64== Support ==  
     65 
     66Work 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]) 
    6467 
    6568== Team Members ==  
     
    7174== Publications == 
    7275 
    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, 2011 
    7576 * 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 
    7677 * 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 
    7784 
    7885 
     
    8087 
    8188 * 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)