Changes between Version 46 and Version 47 of WikiStart


Ignore:
Timestamp:
Feb 18, 2014, 7:38:31 PM (4 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v46 v47  
    2020== Software == 
    2121 
    22 * '''OSL''' The C++ Orléans Skeleton Library: v1.0 (coming in November 2013) 
     22* '''OSL''' The C++ Orléans Skeleton Library: v1.0 (coming in 2014) 
    2323* 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]. 
    2424* OSL Verified Prototype (requires the [http://coq.inria.fr Coq] proof assistant): [http://frederic.loulergue.eu/ftp/OSLPrototype-0.1.tar.gz v0.1] 
    2525 
    2626== Publications == 
     27 
     28=== 2014 === 
     29 
     30* Frédéric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Legaux, and Zhenjiang Hu. Formal Derivation and Extraction of a Parallel Program for the All Nearest Smaller Values Problem. In ACM Symposium on Applied Computing (SAC), Gyeongju, Korea, ACM Press, 2014, to appear 
    2731 
    2832=== 2013 ===