Changes between Version 42 and Version 43 of WikiStart


Ignore:
Timestamp:
Sep 3, 2013, 8:00:39 AM (5 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v42 v43  
    2929=== Conferences === 
    3030 
    31 * Joeffrey Legaux, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, and Julien Tesson. Programming with BSP Homomorphism. In Euro-Par 2013 Parallel Processing, LNCS. Springer, 2013. to appear. 
     31* 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. 
     32* 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 
    3233*  J. Tesson and F. Loulergue. [http://dx.doi.org/10.1016/j.procs.2011.04.005 A Verified Bulk Synchronous Parallel ML Heat Diffusion Simulation]. In 11th International Conference on Computational Science (ICCS 2011), Procedia Computer Science. pages 36-45, Elsevier, 2011. 
    3334* L. Gesbert, Z. Hu, F. Loulergue, K. Matsuzaki, and J. Tesson. [http://doi.ieeecomputersociety.org/10.1109/PDCAT.2010.86 Systematic Development of Correct Bulk Synchronous Parallel Programs]. In The 11th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT). IEEE Computer Society, 2010.