Changes between Version 75 and Version 76 of WikiStart


Ignore:
Timestamp:
Mar 25, 2014, 6:33:15 AM (4 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v75 v76  
    49491. Frédéric Loulergue, Virginia Niculescu, and Simon Robillard. Powerlists in Coq: Programming and Reasoning. In First International Symposium on Computing and Networking (CANDAR). IEEE Computer Society, 2013. to appear. 
    50501. Joeffrey Legaux, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, and Julien Tesson. [http://dx.doi.org/10.1007/978-3-642-40047-6_46 Programming with BSP Homomorphisms]. In F. Wolf, B. Mohr, and D. Ney, editors, Euro-Par 2013 Parallel Processing, number 8097 in LNCS, pages 446-457. Springer, 2013 
    51 1. Kento Emoto, Kiminori Matsuzaki, An Automatic Fusion Mechanism for Variable-Length List Skeletons in !SkeTo, International Journal of Parallel Programming, Springer, 2013. to appear. 
     511. Kento Emoto, Kiminori Matsuzaki, [http://dx.doi.org/10.1007/s10766-013-0263-8 An Automatic Fusion Mechanism for Variable-Length List Skeletons in !SkeTo], International Journal of Parallel Programming, Springer, ,2013. t 
    52521. Joeffrey Legaux, Frédéric Loulergue, and Sylvain Jubertie. [http://dx.doi.org/10.1109/HPCSim.2013.6641451 Managing Arbitrary Distributions of Arrays in Orléans Skeleton Library]. In International Conference on High Performance Computing and Simulation (HPCS), pages 437-444, IEEE, 2013 
    53531. Kento Emoto, Kiminori Matsuzaki,  [https://traclifo.univ-orleans.fr/PaPDAS/raw-attachment/wiki/WikiStart/ipsj-pro2013.pdf Implementing a Fusion-equipped Library with boost::proto], IPSJ SIG-PRO Meeting, Februray 2013