Changes between Version 66 and Version 67 of WikiStart
- Timestamp:
- Jun 18, 2018, 10:13:06 PM (2 weeks ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
WikiStart
v66 v67 1 [[Image(bsml_logo.png, nolink, right)]] 1 [[Image(bsml_logo.png, 10%, nolink, left, margin-right=18)]] 2 [[Image(univ-orleans.png, 10%, link=http://www.univ-orleans.fr/lifo/, right, margin=2)]] 3 [[Image(lacl.png, 9%, link=https://www.lacl.fr/en/, right, margin=2)]] 4 [[Image(nau.jpg, 13%, link=http://nau.edu/siccs, right, margin=2)]] 5 2 6 3 7 = BSML: Bulk Synchronous Parallel ML = … … 14 18 15 19 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. In the [http://traclifo.univ-orleans.fr/PaPDAS PaPDAS] project we use BSML to implement a verified prototype of algorithmic skeleton library. 20 21 16 22 17 23 == Software ==