Changes between Version 2 and Version 3 of Deliverables


Ignore:
Timestamp:
Mar 4, 2013, 1:50:19 PM (5 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Deliverables

    v2 v3  
    2020=== Task 2 === 
    2121 
    22  * '''[S14]'''  Release of the !SkeTo Library version 1.5: [http://sketo.ipl-lab.org/archives/sketo-1.50pre.tar.gz SkeTo 1.5pre] 
     22 * '''[S14]''' Release of the !SkeTo Library version 1.5: [http://sketo.ipl-lab.org/archives/sketo-1.50pre.tar.gz SkeTo 1.5pre] 
    2323 * [S15]        Release of the OSL Library version 1.0 
    2424 * [P16]        Report “Efficient C++ Meta-Programmed Algorithmic Skeleton Libraries” 
    … …  
    2727 * [P19]        Report “Hybrid Parallelism in C++ Algorithmic Skeleton Libraries” 
    2828 * [S20]        Release of a set of example skeletal applications 
    29  * [P21]        Report “Efficient Parallel Programming with BSP Homomorphism” 
     29 * '''[P21]''' Report “[http://frederic.loulergue.eu/ftp/deliverable_p21.pdf Efficient Parallel Programming with BSP Homomorphisms]” 
    3030 * '''[S22]'''  A Formal Semantics for !SkeTo and OSL in Coq: [http://frederic.loulergue.eu/ftp/OSLSemantics-0.1.tar.bz2 v0.1], [http://frederic.loulergue.eu/ftp/OSLSemantics-0.2.tar.bz2 v0.2] 
    3131 * '''[P23]'''  Report "[http://frederic.loulergue.eu/ftp/deliverable_p23.pdf Mechanised Semantics of an Algorithmic Skeleton Library]"