Changes between Version 40 and Version 41 of WikiStart


Ignore:
Timestamp:
Nov 9, 2011, 8:25:44 AM (7 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v40 v41  
    4747=== 2011 === 
    4848 
    49  
     49 * Julien Tesson, Environnement pour le développement et la preuve de correction systématiques de programmes parallèles fonctionnels. PhD Thesis, LIFO, University of Orléans, November 2011 
    5050 * Frédéric Gava, Louis Gesbert, and Frédéric Loulergue. [http://dx.doi.org/10.1145/2034751.2034759 Type System for a Safe Execution of Parallel Programs in BSML]. In 5th ACM SIGPLAN workshop on High-Level Parallel Programming and Applications. pages 27-34, ACM, 2011 
    5151 *     N. Javed, F. Loulergue, J. Tesson, and W. Bousdira. Prototyping a Library of Algorithmic Skeletons with Bulk Synchronous Parallel ML. In The 2011 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'11). pages 520-526, CSREA Press, 2011