Changes between Version 59 and Version 60 of WikiStart


Ignore:
Timestamp:
Jun 17, 2015, 2:34:39 PM (3 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v59 v60  
    1414 
    1515A library for the [http://caml.inria.fr OCaml] language, called BSML, has been designed. It implements all our flat BSP operations. Many extensions have been added to this core calculus. We investigated in the [http://frederic.loulergue.eu/www_Caraml Caraml] project the use of variants of the BSML library for meta-computing. In the [http://frederic.loulergue.eu/PROPAC Propac] project we improved the safety of parallel programming based on BSML. In the [http://traclifo.univ-orleans.fr/PaPDAS PaPDAS] project we use BSML to implement a verified prototype of algorithmic skeleton library. 
    16  
    17 ---- 
    1816 
    1917== Software == 
    … …  
    3735 * Related project: Systematic Development of Parallel Programs ([http://traclifo.univ-orleans.fr/SDPP SDPP]) 
    3836 
    39 ---- 
    40  
    4137== Team Members ==  
    4238 
    … …  
    4844 
    4945Logo design: [http://clotilde-touze.blogspot.com/ Clotilde Touze] 
    50  
    51 ---- 
    5246 
    5347== Publications ==