Changes between Version 13 and Version 14 of WikiStart


Ignore:
Timestamp:
Oct 27, 2010, 10:22:10 AM (8 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v13 v14  
    4141=== 2010 === 
    4242 
    43  * L. Gesbert, F. Gava, F. Loulergue, and F. Dabrowski. Bulk Synchronous Parallel ML with Exceptions. Future Generation Computer Systems, 26:486-490, 2010 
    44  * I. Garnier and F. Gava. CPS Implementation of a BSP Composition Primitive with Application to the Implementation of Algorithmic Skeletons Parallel, Emergent and Distributed Systems, 2010 
     43 * L. Gesbert, F. Gava, F. Loulergue, and F. Dabrowski. [http://dx.doi.org/10.1016/j.future.2009.05.021 Bulk Synchronous Parallel ML with Exceptions. Future Generation Computer Systems], 26:486-490, 2010 
     44 * I. Garnier and F. Gava. CPS Implementation of a BSP Composition Primitive with Application to the Implementation of Algorithmic Skeletons. Parallel, Emergent and Distributed Systems, 2010 
    4545 * W. Bousdira, F. Gava, L. Gesbert, F. Loulergue, and G. Petiot. Functional Parallel Programming with Revised Bulk Synchronous Parallel ML. In Koji Nakano, editor, 2nd International Workshop on Parallel and Distributed Algorithms and Applications (PDAA). IEEE Computer Society, 2010. 
    4646 
    4747=== 2009 === 
    4848 
    49  * L. Gesbert. Développement systématique et sûreté d'exécution en programmation parallèle structurée. PhD thesis, University Paris Est, LACL, 2009 
     49 * L. Gesbert. [http://tel.archives-ouvertes.fr/docs/00/48/13/76/PDF/2009PEST0004_0_1.pdf Développement systématique et sûreté d'exécution en programmation parallèle structurée]. PhD thesis, University Paris Est, LACL, 2009 
    5050 * F. Gava and I. Garnier. New Implementation of a BSP Composition Primitive with Application to the Implementation of Algorithmic Skeletons. In Workshop APDCM part of IPDPS 2009. IEEE Press, 2009 
    5151 
    5252=== 2008 ===  
    5353 
    54  * F. Gava. A Modular Implementation of Parallel Data Structures in BSML. Parallel Processing Letters, 18(1):39-53, 2008 
     54 * F. Gava. [http://dx.doi.org/10.1142/S0129626408003211 A Modular Implementation of Parallel Data Structures in BSML]. Parallel Processing Letters, 18(1):39-53, 2008 
    5555 * F. Gava. BSP Functional Programming; Examples of a cost based methodology. In M. Bubak, G. D. van Albada, J. Dongarra, and P. M. A. Sloot, editors, The International Conference on Computational Science (ICCS), Part I, volume 5101 of LNCS, pages 375-385. Springer-Verlag, 2008 
    5656 
    … …  
    7070=== 2005 === 
    7171 
    72  * F. Gava and F. Loulergue. A Static Analysis for Bulk Synchronous Parallel ML to Avoid Parallel Nesting. Future Generation Computer Systems, 21(5):665-671, 2005 
    73  * F. Gava. External Memory in Bulk Synchronous Parallel ML. Scalable Computing: Practice and Experience, 6(4):43-70, December 2005 
    74  * F. Gava. Approches fonctionnelles de la programmation paralléle et des méta-ordinateurs. Sémantiques, implantations et certification. PhD thesis, University Paris Val-de-Marne, LACL, 2005 
    75  * F. Loulergue, F. Gava, and D. Billiet. Bulk Synchronous Parallel ML: Modular Implementation and Performance Prediction. In Vaidy S. Sunderam, G. Dick van Albada, Peter M. A. Sloot, and Jack Dongarra, editors, International Conference on Computational Science (ICCS), LNCS 3515, pages 1046-1054. Springer, 2005.  
     72 * F. Gava and F. Loulergue. [http://dx.doi.org/10.1016/j.future.2004.05.006 A Static Analysis for Bulk Synchronous Parallel ML to Avoid Parallel Nesting]. Future Generation Computer Systems, 21(5):665-671, 2005 
     73 * F. Gava. [ External Memory in Bulk Synchronous Parallel ML]. Scalable Computing: Practice and Experience, 6(4):43-70, December 2005 
     74 * F. Gava. [http://tel.archives-ouvertes.fr/docs/00/11/08/31/PDF/gava-these.pdf Approches fonctionnelles de la programmation paralléle et des méta-ordinateurs. Sémantiques, implantations et certification]. PhD thesis, University Paris Val-de-Marne, LACL, 2005 
     75 * F. Loulergue, F. Gava, and D. Billiet. [http://dx.doi.org/10.1007/11428848_132 Bulk Synchronous Parallel ML: Modular Implementation and Performance Prediction]. In Vaidy S. Sunderam, G. Dick van Albada, Peter M. A. Sloot, and Jack Dongarra, editors, International Conference on Computational Science (ICCS), LNCS 3515, pages 1046-1054. Springer, 2005.  
    7676 * F. Gava. Implementation of Parallel Data Structures in BSML. In F. Loulergue and A. Tiskin, editors, Third International Workshop on High-Level Parallel Programming and Applications (HLPP 2005), pages 161-174, June 2005.  
    7777 
    7878=== 2004 === 
    7979 
    80  * F. Loulergue. A Calculus of Functional BSP Programs with Explicit Substitution. In G. Joubert, W. Nagel, F. Peters, and W. Walter, editors, Parallel Computing: Software Technology, Algorithms, Architectures and Applications, Proceedings of the 10th ParCo Conference, pages 127-134, Dresden, 2004. North Holland/Elsevier 
     80 * F. Loulergue. [http://dx.doi.org/10.1016/S0167-6423(99)00029-5 A Calculus of Functional BSP Programs with Explicit Substitution]. In G. Joubert, W. Nagel, F. Peters, and W. Walter, editors, Parallel Computing: Software Technology, Algorithms, Architectures and Applications, Proceedings of the 10th ParCo Conference, pages 127-134, Dresden, 2004. North Holland/Elsevier 
    8181 * F. Gava and F. Loulergue. Semantics of a Functional Bulk Synchronous Parallel Language with Imperative Features. In G. Joubert, W. Nagel, F. Peters, and W. Walter, editors, Parallel Computing: Software Technology, Algorithms, Architectures and Applications, Proceedings of the 10th ParCo Conference, pages 95-102, Dresden, 2004. North Holland/Elsevier 
    8282 * F. Gava. Parallel I/O in Bulk Synchronous Parallel ML. In M. Bubak, D. van Albada, P. Sloot, and J. Dongarra, editors, The International Conference on Computational Science (ICCS 2004), Part III, LNCS, pages 339-346. Springer Verlag, 2004 
    … …  
    8585=== 2003 === 
    8686 
    87  * F. Gava. Formal Proofs of Functional BSP Programs. Parallel Processing Letters, 13(3):365-376, 2003 
     87 * F. Gava. [http://dx.doi.org/10.1142/S0129626403001343 Formal Proofs of Functional BSP Programs]. Parallel Processing Letters, 13(3):365-376, 2003 
    8888 * F. Gava, F. Loulergue, and F. Dabrowski. A Parallel Categorical Abstract Machine for Bulk Synchronous Parallel ML. In W. Dosch and R. Y. Lee, editors, 4th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'03), pages 293-300. ACIS, 2003.  
    8989 * F. Dabrowski, F. Loulergue, and F. Gava. Pattern Matching of Parallel Values in Bulk Synchronous Parallel ML. In W. Dosch and R. Y. Lee, editors, 4th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'03), pages 301-308. ACIS, 2003.  
    … …  
    101101=== 2001 === 
    102102 
    103  * F. Loulergue. Distributed Evaluation of Functional BSP Programs. Parallel Processing Letters, (4):423-437, 2001.  
     103 * F. Loulergue. [http://dx.doi.org/10.1142/S0129626401000701 Distributed Evaluation of Functional BSP Programs]. Parallel Processing Letters, (4):423-437, 2001.  
    104104 * A. Merlin, G. Hains, and F. Loulergue. A SPMD Environment Machine for Functional BSP Programs. In Proceedings of the Third Scottish Functional Programming Workshop, august 2001.  
    105105 * F. Loulergue. Parallel Composition and Bulk Synchronous Parallel Functional Programming. In S. Gilmore, editor, Trends in Functional Programming, Volume 2, pages 77-88. Intellect Books, 2001.   
    … …  
    107107=== 2000 === 
    108108 
    109  * F. Loulergue, G. Hains, and C. Foisy. A Calculus of Functional BSP Programs. Science of Computer Programming, 37(1-3):253-277, 2000 
     109 * F. Loulergue, G. Hains, and C. Foisy. [http://dx.doi.org/10.1016/S0167-6423(99)00029-5 A Calculus of Functional BSP Programs]. Science of Computer Programming, 37(1-3):253-277, 2000 
    110110 * F. Loulergue. BSλp: Functional BSP Programs on Enumerated Vectors. In J. Kazuki, editor, International Symposium on High Performance Computing, number 1940 in Lecture Notes in Computer Science, pages 355-363. Springer, October 2000. [ .pdf ]  
    111111 * O. Ballereau, F. Loulergue, and G. Hains. High-level BSP Programming: BSML and BSλ. In G. Michaelson and Ph. Trinder, editors, Trends in Functional Programming, pages 29-38. Intellect Books, 2000.