Changes between Version 69 and Version 70 of WikiStart


Ignore:
Timestamp:
Nov 12, 2013, 8:22:41 AM (5 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v69 v70  
    4343== Publications == 
    4444 
     451. 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, 2014. ACM Press. to appear. 
    45461. Frédéric Dabrowski, Frédéric Loulergue, and Thomas Pinsard. Nested Atomic Sections with Thread Escape: An Operational Semantics. In International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT). IEEE, 2013. to appear. 
    46471. 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. 
    47481. 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 
    48491. Kento Emoto, Kiminori Matsuzaki, An Automatic Fusion Mechanism for Variable-Length List Skeletons in !SkeTo, International Journal of Parallel Programming, Springer, 2013. to appear. 
    49 1. 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 
     501. 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 
    50511. 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 
    51521. 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