Changes between Version 49 and Version 50 of WikiStart


Ignore:
Timestamp:
Jun 4, 2013, 10:27:37 AM (5 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v49 v50  
    1313 
    1414 
    15 A 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. 
     15A 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. 
    1616 
    1717----