Changes between Version 33 and Version 34 of WikiStart


Ignore:
Timestamp:
May 18, 2011, 8:58:40 AM (7 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v33 v34  
    2828=== Journal and conferences === 
    2929 
    30  *  * 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. 
     30 *  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. 
    3131 * 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. 
    3232 * J. Tesson, H. Hashimoto, Z. Hu, F. Loulergue, and M. Takeichi. [http://dx.doi.org/10.1007/978-3-642-17796-5_10 Program Calculation in Coq]. In Thirteenth International Conference on Algebraic Methodology And Software Technology (AMAST2010), LNCS 6486, pages 163–179, Springer, 2010