Changes between Version 66 and Version 67 of WikiStart

Timestamp:

Jun 18, 2018, 10:13:06 PM (2 weeks ago)

Author:

frederic.loulergue@…

Comment:

--

WikiStart

@@ -1 @@
-[[Image(bsml_logo.png, nolink, right)]]
+[[Image(bsml_logo.png, 10%, nolink, left, margin-right=18)]]
+[[Image(univ-orleans.png, 10%, link=http://www.univ-orleans.fr/lifo/, right, margin=2)]]
+[[Image(lacl.png, 9%, link=https://www.lacl.fr/en/, right, margin=2)]]
+[[Image(nau.jpg, 13%, link=http://nau.edu/siccs, right, margin=2)]]
+
 
 = BSML: Bulk Synchronous Parallel ML = 
@@ -14 +18 @@
 
 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.
+
+
 
 == Software ==