Changes between Version 23 and Version 24 of WikiStart


Ignore:
Timestamp:
Apr 13, 2016, 8:57:18 AM (2 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v23 v24  
    2121== Software == 
    2222 
    23 * '''The SyDPaCC Framework''': [http://frederic.loulergue.eu/ftp/sydpacc-core-0.2pre.tar.gz version core-0.2pre], [http://frederic.loulergue.eu/ftp/SyDPaCC-Core-0.1beta.tar.gz version Core-0.1beta] ([http://www.univ-orleans.fr/lifo/evenements/EJCIM2015 EJC-IM] version), [http://frederic.loulergue.eu/ftp/SyDPaCC-ITP2014.tar.bz2 version ITP2014], [http://frederic.loulergue.eu/ftp/SyDPaCC-Jan2014.tar.bz2 version Jan2014]  (requires [http://traclifo.univ-orleans.fr/BSML BSML] for compiling parallel programs) 
     23* A '''Virtual Machine''' containing Coq, CoqIDE, Emacs (Proof General and Company Coq), OCaml, BSML, and SyDPaCC version core-0.2 [http://frederic.loulergue.eu/sac2016/sydpacc.ova sydpacc.ova] used during an [http://frederic.loulergue.eu/sac2016 ACM SAC 2016 tutorial] 
     24* The '''SyDPaCC''' Framework: [http://frederic.loulergue.eu/ftp/sydpacc-core-0.2pre.tar.gz version core-0.2pre], [http://frederic.loulergue.eu/ftp/SyDPaCC-Core-0.1beta.tar.gz version Core-0.1beta] ([http://www.univ-orleans.fr/lifo/evenements/EJCIM2015 EJC-IM] version), [http://frederic.loulergue.eu/ftp/SyDPaCC-ITP2014.tar.bz2 version ITP2014], [http://frederic.loulergue.eu/ftp/SyDPaCC-Jan2014.tar.bz2 version Jan2014]  (requires [http://traclifo.univ-orleans.fr/BSML BSML] for compiling parallel programs) 
    2425* Library "Systematic Development of Parallel Programs" [http://frederic.loulergue.eu/ftp/sdpp-0.1.tar.bz2 version 0.1], [http://frederic.loulergue.eu/ftp/SDPP-nii2013.tar.bz2 version nii2013] (includes CertifiedBSML version nii2013, !ProgramCalculationInCoq version 0.16, LIFO) 
    2526* Library "Program Calculation in Coq": [http://frederic.loulergue.eu/ftp/ProgramCalculationInCoq-0.1.tar.bz2 version 0.1], [http://frederic.loulergue.eu/ftp/ProgramCalculationInCoq-0.15.tar.bz2 version 0.15], [http://frederic.loulergue.eu/ftp/ProgramCalculationInCoq-0.16.tar.bz2 version 0.16] (for Coq 8.3), [https://traclifo.univ-orleans.fr/SDPP/raw-attachment/wiki/WikiStart/ProgramCalculationInCoq-nii2013.tar.gz version nii2013] (for Coq 8.4)  
    … …  
    2930=== Journal === 
    3031 
    31 * Frédéric Loulergue, Wadoud Bousdira, and Julien Tesson. Calculating Parallel Programs in Coq using List Homomorphisms. Int J Parallel Prog, 2016. 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. 
     32* Frédéric Loulergue, Wadoud Bousdira, and Julien Tesson. Calculating Parallel Programs in Coq using List Homomorphisms. Int J Parallel Prog, 2016. [http://dx.doi.org/10.1007/s10766-016-0415-8 doi:10.1007/s10766-016-0415-8] [[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. 
    3233 
    3334