Changes between Version 39 and Version 40 of WikiStart

Timestamp:

Jun 18, 2013, 6:41:28 AM (5 years ago)

Author:

frederic.loulergue@…

Comment:

--

WikiStart

@@ -76 +76 @@
 == Software ==
 
-* '''OSL''' The C++ Orléans Skeleton Library: v1.0 (coming in May 2013)
+* '''OSL''' The C++ Orléans Skeleton Library: v1.0 (coming in June 2013)
 * OSL Formal Semantics (requires the [http://coq.inria.fr Coq] proof assistant): [http://frederic.loulergue.eu/ftp/OSLSemantics-0.2.tar.bz2 v0.2] (with heat diffusion simulation), [http://frederic.loulergue.eu/ftp/OSLSemantics-0.1.tar.bz2 v0.1].
 * OSL Verified Prototype (requires the [http://coq.inria.fr Coq] proof assistant): [http://frederic.loulergue.eu/ftp/OSLPrototype-0.1.tar.gz v0.1]
@@ -86 +86 @@
 * Joeffrey Legaux, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, and Julien Tesson. Programming with BSP Homomorphisms. In Euro-Par 2013 Parallel Processing, LNCS. Springer, 2013. to appear.
 * Joeffrey Legaux, Frédéric Loulergue, and Sylvain Jubertie. Managing Arbitrary Distributions of Arrays in Orléans Skeleton Library. In International Conference on High Performance Computing and Simulation (HPCS), IEEE, 2013. to appear
-* Joeffrey Legaux, Frédéric Loulergue, and Sylvain Jubertie. OSL: an algorithmic skeleton library with exceptions. In International Conference on Computational Science (ICCS), Procedia Computer Science. Elsevier, 2013. to appear.
+* Joeffrey Legaux, Frédéric Loulergue, and Sylvain Jubertie. [http://dx.doi.org/10.1016/j.procs.2013.05.189 OSL: an algorithmic skeleton library with exceptions]. In International Conference on Computational Science (ICCS), volume 18 of Procedia Computer Science, pages 260-269. Elsevier, 2013
 
 === 2012 ===