Changes between Version 20 and Version 21 of WikiStart


Ignore:
Timestamp:
Jul 2, 2015, 12:50:39 PM (3 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v20 v21  
    3333=== Conferences === 
    3434 
    35 * rédéric Loulergue, Wadoud Bousdira, and Julien Tesson. Calculating Parallel Programs in Coq using List Homomorphisms. Int J Parallel Prog, 2015. To appear. Version of SyDPaCC related to this paper:  [http://frederic.loulergue.eu/ftp/sydpacc-core-0.2pre.tar.gz version core-0.2pre]. [https://traclifo.univ-orleans.fr/SyDPaCC/raw-attachment/wiki/WikiStart/mps_experiments.pdf Experiments] about the maximum prefix sum application 
     35* Frédéric Loulergue, Wadoud Bousdira, and Julien Tesson. Calculating Parallel Programs in Coq using List Homomorphisms. Int J Parallel Prog, 2015. To appear. [[BR]] Version of SyDPaCC related to this paper:  [http://frederic.loulergue.eu/ftp/sydpacc-core-0.2pre.tar.gz version core-0.2pre]. [https://traclifo.univ-orleans.fr/SyDPaCC/raw-attachment/wiki/WikiStart/mps_experiments.pdf Experiments] about the maximum prefix sum application. 
    3636* Kento Emoto, Frédéric Loulergue, and Julien Tesson. [http://dx.doi.org/10.1007/978-3-319-08970-6_17 A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction]. In ITP, number 8558 in LNAI, pages 258-274. Springer, 2014. 
    3737* Frédéric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Legaux, and Zhenjiang Hu. [http://dx.doi.org/10.1145/2554850.2554912 Formal Derivation and Extraction of a Parallel Program for the All Nearest Smaller Values Problem]. In ACM Symposium on Applied Computing (SAC), pages 1577-1584. ACM Press, 2014