UdS
CNRS
ICPS
LSIIT, UMR UdS- CNRS 7005
Pôle API,
Boulevard S. Brant
F-67400 Illkirch (France)
Tel: +33 (0)3 90 24 44 59
Fax +33 (0)3 90 24 45 47


Home

Projects

Publications

People

Equipment

Partnerships

News

Intranet

Publications

Books or books chapters

  1. A Peer-to-Peer Framework for Message Passing Parallel Programs, Stéphane Genaud and Choopan Rattanapoka, in Parallel Programming, Models and Applications in Grid and P2P Systems , vol. 17, pages 118--147, Ed. Fatos Xhafa, Advances in Parallel Computing,IOS Press, ISBN:978-1-60750-004-9, June 2009.
    doi:10.3233/978-1-60750-004-9-118
    (A chapter in a book)  [bibtex]
    #216   documents : download formats

    [ pdf ]icon
    307kb
    		IOS Press

  2. Loop Parallelization Algorithms, Alain Darte, Yves Robert, and Frédéric Vivien, in Compiler Optimizations for Scalable Parallel Systems, vol. 1808, pages 141-171, Ed. Dharma P. Agrawal and Santosh Pande, Springer-Verlag, 2001.
    (A chapter in a book)  [bibtex]
    #58   document : [link] documents : download formats

    [ ps.gz ]ps.gz
    96kb
    		Springer-Verlag

  3. Scheduling and Automatic Parallelization, Alain Darte, Yves Robert, and Frederic Vivien, Bikhauser Boston, ISBN:0-8176-4149-1, 2000.
    (Book)  [bibtex]
    #14   document : [link]

  4. Les langages de programmation parallèle et leurs compilateurs, P. Feautrier, G.R. Perrin, chapter XIII, in Ordinateurs et Calcul Parallèles, vol. 8, pages 231-253,OFTA, série ARAGO, April 1997.
    (A chapter in a book)  [bibtex]
    #35  

Articles in journals

  1. Fault management in P2P-MPI, Stéphane Genaud, Emmanuel Jeannot, Choopan Rattanapoka, in International Journal of Parallel Programming, volume 37(5), pages 433--461, Springer, August 2009.
    doi:10.1007/s10766-009-0115-8
    (Article in an international journal)  [bibtex]
    #217   documents : download formats

    [ pdf ]icon
    622kb
    		Springer

  2. Symbolic Polynomial Maximization over Convex Sets and its Application to Memory Requirement Estimation, Philippe Clauss, Federico Javier Fernandez, Diego Gabervetsky and Sven Verdoolaege, in IEEE Transactions on Very Large Scale Integration (VLSI) Systems, volume 17(8), pages 983-996, IEEE, ISSN:1063-8210 August 2009.
    (Article in an international journal)  [bibtex]
    #207  

  3. A Meta-predictor Framework for Prefetching in Object-based DSMs, Jean Christophe Beyler, Michael Klemm, Philippe Clauss and Michael Philippsen, in Concurrency and Computation: Practice and Experience, , John Wiley and Sons Ltd, 2009.
    note:accepted.
    (Article in an international journal)  [bibtex]
    #209  

  4. Exploitation of a parallel clustering algorithm on commodity hardware with P2P-MPI, Stéphane Genaud, Pierre Gançarski, Guillaume Latu, Alexandre Blansché, Choopan Rattanapoka and Damien Vouriot, in The Journal of SuperComputing, volume 43(1), pages 21--41, Ed. Springer, Springer, ISSN:0920-8542 (Print) January 2008.
    doi:10.1007/s11227-007-0136-2
    note:Online since Friday, May 5, 2007..
    (Article in an international journal)  [bibtex]
    #188  

  5. Global full-f gyrokinetic simulations of plasma turbulence, V. GRANDGIRARD, Y. SARAZIN, P. ANGELINO, B. ALBERTO, N. CROUSEILLES, G. DARMET, G. DIF-PRALADIER, X. GARBET, P. GHENDRIH, S. JOL, in Plasma physics and controlled fusion, , December 2007.
    (Article in an international journal)  [bibtex]
    #198  

  6. Counting integer points in parametric polytopes using Barvinok's rational functions, Sven Verdoolaege, Rachid Seghir, Kristof Beyls, Vincent Loechner and Maurice Bruynooghe, in Algorithmica, volume 48(1), pages 37--66, Springer New York, May 2007.
    doi:10.1007/s00453-006-1231-0
    (Article in an international journal)  [bibtex]
    #162  

  7. P2P-MPI: A Peer-to-Peer Framework for Robust Execution of Message Passing Parallel Programs on Grids, Stéphane Genaud and Choopan Rattanapoka, in Journal of Grid Computing, volume 5(1), pages 27-42, Springer, ISSN:1570-7873 2007.
    doi:10.1007/s10723-006-9056-2
    note:Online since Friday, December 15, 2006.
    (Article in an international journal)  [bibtex]
    #182   documents : download formats

    [ pdf ]icon
    406kb
    		Springer

  8. A parallel adaptive Vlasov solver based on hierarchical finite element interpolation, Michel Mehrenberger, Eric Violard, Olivier Hoenen, Martin Campos Pinto and Eric Sonnendrücker, in Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment, volume 558(1), pages 188-191, Elsevier, March 2006.
    (Article in an international journal)  [bibtex]
    #211   document : [link]

  9. Scheduling tasks sharing files on heterogeneous master-slave platforms, Arnaud Giersch, Yves Robert, and Frédéric Vivien, in Journal of Systems Architecture, special issue on Parallel, Distributed and Network-based Processing, volume 52(2), pages 88-104, Elsevier, February 2006.
    doi:10.1016/j.sysarc.2004.10.008
    (Article in an international journal)  [bibtex]
    #148  

  10. Efficient and Effective Array Bound Checking, T.V.N. Nguyen and F. Irigoin, in ACM Transactions on Programming Languages and Systems, volume 27(3), ACM, May 2005.
    (Article in an international journal)  [bibtex]
    #129  

  11. Calcul de rais en tomographie sismique : exploitation sur la grille, Stéphane Genaud and Marc Grunberg, in Technique et Science Informatiques, volume 24(5), pages 591--608, Hermès-Lavoisier, 2005.
    doi:10.3166/tsi.24.591-608
    note:Numéro thématique RenPar'15.
    (Article in a national journal)  [bibtex]
    #146   document : [link] documents : download formats

    [ pdf ]icon
    149kb
    [ ps ]icon
    1574kb

  12. Load-balancing scatter operations for grid computing, Stéphane Genaud and Arnaud Giersch, and Frédéric Vivien, in Parallel Computing, volume 30(8), pages 923--946, North-Holland Elsevier, ISSN:0167-8191 August 2004.
    doi:10.1016/j.parco.2004.07.005
    (Article in an international journal)  [bibtex]
    #125   documents : download formats

    [ pdf ]icon
    262kb
    [ ps.gz ]ps.gz
    203kb
    		Elsevier

  13. Seismic ray-tracing and Earth mesh modeling on various parallel architectures, Marc Grunberg, Stéphane Genaud and Catherine Mongenet, in The Journal of Supercomputing, volume 29(1), pages 27--44, Kluwer Academic Pub. - Springer, ISSN:0920-8542 July 2004.
    doi:10.1023/B:SUPE.0000022571.28175.e9
    (Article in an international journal)  [bibtex]
    #107   documents : download formats

    [ pdf ]icon
    389kb
    [ ps.gz ]ps.gz
    1175kb
    		Kluwer Academic Pub. - Springer

  14. A semantic framework to address data locality in data parallel languages, Eric Violard, in Parallel Computing, volume 30(1), pages 139--161, Elsevier B.V., January 2004.
    doi:10.1016/S0167-8191(03)00089-9
    (Article in an international journal)  [bibtex]
    #123   documents : download formats

    [ pdf ]icon
    328kb
    		Elsevier B.V.

  15. A Symbolic Approach To Bernstein Expansion (in russian), Ph. Clauss and I. Tchoupaeva, in Programmirovanie (Programming and Computer Software), volume 30(3), Ed. Ivannikov, V.P., Nauka, Russian Academy of Sciences, Moscow, ISSN:0132-3474 2004.
    (Article in a national journal)  [bibtex]
    #117   documents : download formats

    [ pdf ]icon
    471kb

  16. Alias verification for Fortran code optimization (extended version), T.V.N. Nguyen and F. Irigoin, in Journal of Universal Computer Science, volume 9(3), pages 270-298, Springer-Verlag, April 2003.
    (Article in an international journal)  [bibtex]
    #131  

  17. Sequencing Fortran Program Array Verifications, T.V.N. Nguyen, in ACM Fortran Forum journal, volume 22(1), pages 8-10, April 2003.
    (Article in an international journal)  [bibtex]
    #130  

  18. Constructing and exploiting linear schedules with prescribed parallelism, Alain Darte, Robert Schreiber, B. Ramakrishna Rau, and Frédéric Vivien, in ACM Transactions on Design Automation of Electronic Systems, volume 7(1), pages 159-172, ACM, January 2002.
    (Article in an international journal)  [bibtex]
    #23   document : [link] documents : download formats

    [ pdf ]icon
    251kb
    [ ps.gz ]ps.gz
    76kb
    		ACM

  19. Precise data locality optimization of nested loops, Vincent Loechner, Benoît Meister and Philippe Clauss, in The Journal of Supercomputing, volume 21(1), pages 37--76, Kluwer Academic Pub., January 2002.
    (Article in an international journal)  [bibtex]
    #21   documents : download formats

    [ pdf ]icon
    406kb
    		Kluwer Academic Pub.

  20. Alias verification for Fortran code optimization, T.V.N. Nguyen and F. Irigoin, in Electronic Notes in Theoretical Computer Science, volume 65(2), Elsevier Science, 2002.
    (Article in an international journal)  [bibtex]
    #134  

  21. Density of points clustering, application to transcriptomic data analysis., Nicolas Wicker, Doulaye Dembele, Wolfgang Raffelsberger and Olivier Poch., in Nucleic Acids Research, volume 30, pages 3392-4000, 2002.
    (Article in an international journal)  [bibtex]
    #68   document : [link]

  22. Parallélisation de l'évolution différentielle pour le recalage rigide d'images médicales volumiques, Michel Salomon, in Technique et science informatiques, volume 20(5), pages 605-627, 2001.
    note:(Numéro thématique RenPar'2000). French text..
    (Article in a national journal)  [bibtex]
    #78  

  23. Secator: A Program for Inferring Protein Subfamilies from Phylogenetic Trees, Nicolas Wicker, Guy Rene Perrin, Jean-Claude Thierry and Olivier Poch., in Mol. Biol. Evol., volume 18, pages 1435-1441, 2001.
    (Article in an international journal)  [bibtex]
    #67  

  24. Memory Cost Due to Anticipated Broadcast, V. Loechner and C. Mongenet, in Parallel Processing Letters, Special issue on Compilers for Parallel Computers, volume 10(2 and 3), June 2000.
    (Article in an international journal)  [bibtex]
    #17   documents : download formats

    [ ps.gz ]ps.gz
    93kb

  25. Communication Optimization for AffineRecurrence Equations using Broadcast and Locality, V. Loechner and C. Mongenet, in Int. J. of Parallel Programming, volume 28(1), February 2000.
    doi:10.1023/A:1007559710855
    (Article in an international journal)  [bibtex]
    #10   documents : download formats

    [ ps.gz ]ps.gz
    212kb

  26. Automatic Memory Layout Transformation to Optimize Spatial Locality in Parameterized Loop Nests, Ph. Clauss and B. Meister, in ACM SIGARCH, Computer Architecture News, volume 28(1), ACM, 2000.
    (Article in an international journal)  [bibtex]
    #9   documents : download formats

    [ ps.gz ]ps.gz
    125kb
    		ACM

  27. Sparse Computation with PEI, F. Voisin and G-R Perrin, in International Journal of Foundations of Computer Science, volume 10(4), pages 425, December 1999.
    (Article in an international journal)  [bibtex]
    #26   documents : download formats

    [ ps.gz ]ps.gz
    92kb

  28. Algorthmic Issues on Heterogeneous Computing Platforms, Pierre Boulet, Jack Dongarra, Fabrice Rastello, Yves Robert, and Frédéric Vivien, in Parallel Processing Letters, volume 9(2), pages 197-213, June 1999.
    (Article in an international journal)  [bibtex]
    #41   documents : download formats

    [ pdf ]icon
    275kb
    [ ps.gz ]ps.gz
    119kb

  29. Static tiling for heterogeneous computing systems, Pierre Boulet, Jack Dongarra, Yves Robert, and Frédéric Vivien, in Parallel Computing, volume 25(5), pages 547-568, North-Holland Elsevier, May 1999.
    (Article in an international journal)  [bibtex]
    #42   documents : download formats

    [ pdf ]icon
    275kb
    [ ps.gz ]ps.gz
    115kb
    		Elsevier

  30. A Parallel Algorithm to Reconstruct Bounding Surfaces in 3D Images, Frédéric Mabin and Catherine Mongenet, in The Journal of Supercomputing, volume 1(12), pages 137-155, Kluwer, January 1998.
    doi:10.1023/A:1007993814307
    (Article in an international journal)  [bibtex]
    #77   documents : download formats

    [ ps.gz ]ps.gz
    110kb
    		Kluwer

  31. Parametric Analysis of Polyhedral Iteration Spaces, Ph. Clauss and V. Loechner, in Journal of VLSI Signal Processing, volume 19(2), Kluwer Academic Pub., 1998.
    (Article in an international journal)  [bibtex]
    #54   documents : download formats

    [ ps.gz ]ps.gz
    475kb
    		Kluwer Academic Pub.

  32. Sur les extensions et les utilisations en Informatique d'un résultat Mathématique : Les polynômes d'Ehrhart, Ph. Clauss, in Bulletin de l'APMEP (Association Française des Professeurs de Mathématiques de l'Enseignement Public), (418-419), 1998.
    (Article in a national journal)  [bibtex]
    #55   documents : download formats

    [ pdf ]icon
    453kb
    [ ps.gz ]ps.gz
    207kb

  33. Affine Dependence Classification for Communications Minimization, C. Mongenet, in International Journal of Parallel Programming, volume 25(6), December 1997.
    doi:10.1023/A:1025165407063
    (Article in an international journal)  [bibtex]
    #33  

  34. Parameterized Polyhedra and their Vertices, V. Loechner and D. K. Wilde, in International Journal of Parallel Programming, volume 25(6), December 1997.
    (Article in an international journal)  [bibtex]
    #32   documents : download formats

    [ ps.gz ]ps.gz
    119kb

  35. Transformations d'énoncés Pei, Stéphane Genaud, in Technique et Science Informatiques, volume 15(5), pages 601--618, Hermes, April 1996.
    (Article in a national journal)  [bibtex]
    #2   documents : download formats

    [ ps.gz ]ps.gz
    62kb
    		Hermes

  36. A Refinement of Communicating Process, S. Damy, G.R. Perrin, in Computer and Artificial Intelligence, volume 15(6), pages 555-569, 1996.
    (Article in an international journal)  [bibtex]
    #29  

  37. A Mathematical Theory and Its Environment for Parallel Programming, E. Violard, in Parallel Processing Letters, volume 4, pages 313-328, World Scientific Publishing Company, 1994.
    (Article in an international journal)  [bibtex]
    #94   documents : download formats

    [ pdf ]icon
    379kb
    [ ps.gz ]ps.gz
    166kb

  38. Geometrical Tools to map Systems of Affine Recurrence Equations on Regular Arrays, Catherine Mongenet and Philippe Clauss and Guy-René Perrin, in Acta Informatica, volume 31, pages 137-160, 1994.
    (Article in an international journal)  [bibtex]
    #168  

  39. PEI: a Simple Unifying Model to Design Parallel Programs, E. Violard and G.-R. Perrin, in Future Generation Computer Systems, volume 10, pages 269-272, Elsevier, 1994.
    (Article in an international journal)  [bibtex]
    #95  

  40. Une expérience d'implantation d'un algorithme systolique sur hypercube, Stéphane Genaud and Guy-René Perrin, in La Lettre du Transputer et des calculateurs parallèles, (17), March 1993.
    note:French text.
    (Article in a national journal)  [bibtex]
    #69   documents : download formats

    [ ps.gz ]ps.gz
    58kb

  41. Synthesis aspects in the design of efficient processor arrays from affine recurrence equations, Philippe Clauss and Catherine Mongenet, in Journal of Symbolic Computation, volume 15, pages 547-569, Academic Press, 1993.
    (Article in an international journal)  [bibtex]
    #169  

  42. Synthesis of size-optimal toroidal arrays for the Algebraic Path Problem : A new contribution, Philippe Clauss and Catherine Mongenet and G.-R. Perrin, in Parallel Computing, volume 18(3), February 1992.
    (Article in an international journal)  [bibtex]
    #170  

  43. Calculus of space-optimal mappings of systolic algorithms on processor arrays, Philippe Clauss and Catherine Mongenet and Guy-René Perrin, in Journal of VLSI Signal Processing, , pages 27--36, 1992.
    (Article in an international journal)  [bibtex]
    #171  

  44. PEI: a Language and its Refinement Calculus for Parallel Programming, E. Violard and G.-R. Perrin, in Parallel Computing, volume 18, pages 1167-1184, Elsevier, 1992.
    (Article in an international journal)  [bibtex]
    #96  

Articles in conference proceedings

  1. Adaptive Runtime Selection for GPU, Jean-François Dollinger; Vincent Loechner, 42nd International Conference on Parallel Processing (ICPP), pages 70--79, Lyon, France, 2013.
    doi:10.1109/ICPP.2013.16
    (Refereed International Conference)  [bibtex]
    #227  

  2. Free elasticity and free CPU power for scientific workloads on IaaS Clouds , Etienne Michon, Julien Gossa and Stephane Genaud, 18th IEEE International Conference on Parallel and Distributed Systems, IEEE, Singapore, 2012.
    (Refereed International Conference)  [bibtex]
    #226   documents : download formats

    [ pdf ]icon
    485kb
    		IEEE

  3. Cost-wait Trade-offs in Client-side Resource Provisioning with Elastic Clouds, Stéphane Genaud and Julien Gossa, 4th IEEE International Conference on Cloud Computing (CLOUD 2011), IEEE, Washington DC, USA, July 2011.
    (Refereed International Conference)  [bibtex]
    #225   documents : download formats

    [ pdf ]icon
    390kb
    		IEEE

  4. Single Node On-Line Simulation of MPI Applications with SMPI., Pierre-Nicolas Clauss, Mark Stillwell, Stéphane Genaud, Frédéric Suter, Henri Casanova and Martin Quinson, 25th IEEE International Parallel & Distributed Processing Symposium (IPDPS 2011), IEEE, Anchorage, May 2011.
    (Refereed International Conference)  [bibtex]
    #224  

  5. Recovering the Memory Behavior of Executable Programs, Alain Ketterlin and Philippe Clauss, 10th IEEE Working Conference on Source Code Analysis and Manipulation, Timisoara, Romania, September 2010.
    (Refereed International Conference)  [bibtex]
    #221  

  6. Implementation of the AdaBoost Algorithm for Large Scale Distributed Environments: Comparing JavaSpace and MPJ, Virginie Galtier, Stéphane Genaud and Stéphane Vialle, Fifteenth International Conference on Parallel and Distributed Systems (ICPADS'09), IEEE, Shenzhen, China, December 2009.
    doi:10.1109/ICPADS.2009.67
    (Refereed International Conference)  [bibtex]
    #219  

  7. Efficient Parallel Implementation of Evolutionary Algorithms on GPGPU Cards, Ogier Maitre, Nicolas Lachiche, Philippe Clauss, Laurent Baumes, Avelino Corma and Pierre Collet, Euro-Par 2009, LNCS, Delft, The Netherlands, August 2009.
    (Refereed International Conference)  [bibtex]
    #215  

  8. Evaluation of Replication and Fault Detection in P2P-MPI, Stéphane Genaud and Choopan Rattanapoka, 6th High Performance Grid Computing International Workshop, IPDPS conference proceedings, IEEE, Rome, Italy, May 2009.
    (Refereed International Conference)  [bibtex]
    #214  

  9. Automatic Prefetching with Binary Code Rewriting in Object-based DSMs, Jean Christophe Beyler, Michael Klemm, Michael Philippsen and Philippe Clauss, Europar 2008, Las Palmas de Gran Canaria (Spain), August 2008.
    (Refereed International Conference)  [bibtex]
    #205  

  10. Prediction and Trace Compression of Data Access Addresses through Nested Loops Recognition, Alain Ketterlin and Philippe Clauss, IEEE/ACM International Symposium on Code Generation and Optimization 2008, CGO 2008, Boston, Massachusetts, USA, April 2008.
    (Refereed International Conference)  [bibtex]
    #194   documents : download formats

    [ pdf ]icon
    251kb

  11. Large-Scale Experiment of Co-allocation Strategies for Peer-to-Peer Supercomputing in P2P-MPI, Stéphane Genaud and Choopan Rattanapoka, 5th High Performance Grid Computing International Workshop, IPDPS conference proceedings, IEEE , Miami, April 2008.
    (Refereed International Conference)  [bibtex]
    #193   documents : download formats

    [ pdf ]icon
    120kb
    		IEEE

  12. Multi-GPU Sort Last Volume Visualization, S. MARCHESIN and C. MONGENET and J.-M. DISCHLER , EG Symposium on Parallel Graphics and Visualization (EGPGV'08), Eurographics, April 2008.
    (Refereed International Conference)  [bibtex]
    #206  

  13. Second Order Pre-Integrated Volume Rendering, J.-F. EL HAJJAR, S. MARCHESIN, J.-M. DISCHLER, C. MONGENET, IEEE Pacific Visualization Symposium, March 2008.
    (Refereed International Conference)  [bibtex]
    #195  

  14. Comparison of Two Eulerian solvers for the four dimensional Vlasov equation (Parts I and II), N. CROUSEILLES, M. GUTNIC, G. LATU, E. SONNENDRUCKER, Proc. of the 2nd international conference of Vlasovia, Communications in Nonlinear Science and Numerical Simulation, vol. 13(1), pages 88--99, February 2008.
    (Refereed International Conference)  [bibtex]
    #196  

  15. Computing ITG turbulence with a full-f semi-Lagrangian code, V. GRANDGIRARD, Y. SARAZIN, X. GARBET, G. DIF-PRALADIER, P. GHENDRIH, N. CROUSEILLES, G. LATU, E. SONNENDRUCKER, N. BESSE, Proc. of the 2nd international conference of Vlasovia, Elsevier, Communications in Nonlinear Science and Numerical Simulation, vol. 13(1), pages 81--87, February 2008.
    (Refereed International Conference)  [bibtex]
    #197  

  16. Load-Balancing for a Block-Based Parallel Adaptive 4D Vlasov Solver, Olivier Hoenen and Eric Violard, Proceedings of the 14th international Euro-Par conference on Parallel Processing, Lecture Notes In Computer Science, vol. 5168, Springer-Verlag, pages 822--832, 2008.
    (Refereed International Conference)  [bibtex]
    #210   document : [link] documents : download formats

    [ pdf ]icon
    205kb
    		Springer-Verlag

  17. A Block-Based Parallel Adaptive Scheme for Solving the 4D Vlasov Equation, Olivier Hoenen and Eric Violard, 7th International Conference on Parallel Processing and Applied Mathematics, LNCS, vol. 4967, Springer-Verlag, Gdańsk, Poland, September 2007.
    (Refereed International Conference)  [bibtex]
    #204   document : [link] documents : download formats

    [ pdf ]icon
    384kb
    		Springer-Verlag

  18. Comparison and tuning of MPI implementation in a grid context, Ludovic Hablot, Olivier Glück, Jean-Christophe Mignot, Stéphane Genaud, and Pascale Vicat-Blanc Primet, Proceedings of 2007 IEEE International Conference on Cluster Computing (CLUSTER), IEEE, pages 458-463, September 2007.
    (Refereed International Conference)  [bibtex]
    #192  

  19. Feature Enhancement using Locally Adaptive Volume Rendering, S. MARCHESIN, J.-M. DISCHLER, C. MONGENET, IEEE/EG International Symposium on Volume Graphics, September 2007.
    (Refereed International Conference)  [bibtex]
    #202  

  20. Esodyp+: Prefetching in the Jackal Software DSM, Michael Klemm, Jean Christophe Beyler, Ronny T. Lampert, Michael Philippsen and Philippe Clauss, Euro-Par 2007, Springer, Rennes, France, August 2007.
    (Refereed International Conference)  [bibtex]
    #190  

  21. Hermite Spline Interpolation on Patches for a parallel implementation of beam focusing problems, N. CROUSEILLES, G. LATU, E. SONNENDRUCKER, Proceedings of HIF 2006, Elsevier, Nuclear instruments and Methods in Physics Research A., vol. 557(1), pages 129--132, July 2007.
    (Refereed International Conference)  [bibtex]
    #199  

  22. Performance Driven Data Cache Prefetching in a Dynamic Software Optimization System, Jean-Christophe Beyler and Philippe Clauss, 21st ACM International Conference on Supercomputing, ICS'07, ACM, Seattle, WA, USA, June 2007.
    (Refereed International Conference)  [bibtex]
    #189   documents : download formats

    [ pdf ]icon
    153kb
    		ACM

  23. Fault management in P2P-MPI, Stéphane Genaud and Choopan Rattanapoka, In proceedings of International Conference on Grid and Pervasive Computing, GPC'07, LNCS, vol. 4459, Springer, Ed. C. Cérin and K.-C. Li, Paris, May 2007.
    (Refereed International Conference)  [bibtex]
    #185   documents : download formats

    [ pdf ]icon
    208kb
    		Springer

  24. Experiments in running a scientific MPI application on Grid'5000, Stéphane Genaud, Marc Grunberg and Catherine Mongenet, 4th High Performance Grid Computing International Workshop, IPDPS conference proceedings, IEEE, Long beach, USA, March 2007.
    note:received the 'Intel Best Paper Award'..
    (Refereed International Conference)  [bibtex]
    #184   documents : download formats

    [ pdf ]icon
    531kb
    		IEEE

  25. Adaptive two-dimensional Vlasov simulations of heavy ion beams, M. GUTNIC, G. LATU, E. SONNENDRUCKER, Proceedings of HIF 2006, Elsevier, Nuclear instruments and Methods in Physics Research A., vol. 557(1), pages 125--128, February 2007.
    (Refereed International Conference)  [bibtex]
    #200  

  26. Gyrokinetic Semi-Lagrangian Parallel Simulation using a Hybrid OpenMP/MPI Programming, G. LATU, N. CROUSEILLES, V. GRANDGIRARD, E. SONNENDRUCKER, Recent Advances in PVM an MPI, LNCS, vol. 4757, pages 356--364, 2007.
    (Refereed International Conference)  [bibtex]
    #201  

  27. Memory Optimization by Counting Points in Integer Transformations of Parametric Polytopes, Rachid Seghir and Vincent Loechner, In Proceedings of International Conference on Compilers, Architectures, and Synthesis for Embedded Systems, CASES 2006, pages 74--82, Seoul, Korea, October 2006.
    (Refereed International Conference)  [bibtex]
    #179   documents : download formats

    [ pdf ]icon
    151kb

  28. Polyhedral Modeling and Analysis of Memory Access Profiles, Philippe Clauss and Bénédicte Kenmei, IEEE 17th International Conference on Application-specific Systems, Architectures and Processors, ASAP 2006, IEEE Computer Society, pages 191-198,ISBN:1063-6862, Steamboat Springs, Colorado, September 2006.
    (Refereed International Conference)  [bibtex]
    #165   documents : download formats

    [ pdf ]icon
    132kb
    		IEEE Computer Society

  29. A Peer-to-Peer Framework for Robust Execution of Message Passing Parallel Programs, Stéphane Genaud and Choopan Rattanapoka, EuroPVM/MPI 2005, LNCS, vol. 3666, Springer-Verlag, pages 276--284, Ed. B. Di Martino et al., September 2005.
    doi:10.1007/11557265_37
    (Refereed International Conference)  [bibtex]
    #155   documents : download formats

    [ pdf ]icon
    235kb
    		Springer-Verlag

  30. The Periodic-Linear Model of Program Behavior Capture, Ph. Clauss, B. Kenmei and J.C. Beyler, ACM/IEEE Euro-Par 2005, LNCS, vol. 3648, Springer, pages 325--335, Ed. José C. Cunha, Pedro D. Medeiros,ISBN:0302-9743, Lisboa, Portugal, September 2005.
    (Refereed International Conference)  [bibtex]
    #153   documents : download formats

    [ pdf ]icon
    198kb
    		Springer

  31. Parallel Vlasov solver using a Wavelet based Adaptive Mesh Refinement, Gutnic (M.), Haefele (M.), Latu (G.), International Conference on Parallel Processing (ICPP'2005), 7th Workshop on High Perf. Scientific and Engineering Computing, IEEE Computer Society Press, pages 181--188, June 2005.
    (Refereed International Conference)  [bibtex]
    #160   documents : download formats

    [ pdf ]icon
    1319kb
    		IEEE Computer Society Press

  32. Vlasov Simulations of Beams and Halo, Sonnendrucker (E.), Gutnic (M.),Haefele (M.), Latu (G.), Lemaire (J.-L.)., Proceedings of the 2005 Particle Accelerator, IEEE Catalog Number 05CH37623C, May 2005.
    (Refereed International Conference)  [bibtex]
    #159   documents : download formats

    [ pdf ]icon
    1645kb

  33. La Projection Entière de Polytopes Paramétrés, Rachid Seghir, 16ème Rencontres Francophones du Parallélisme (RenPar 2005), pages 181-191, Le Croisic, France, April 2005.
    (Refereed National Conference)  [bibtex]
    #149   documents : download formats

    [ pdf ]icon
    165kb

  34. Ordonnancement sur plates-formes hétérogènes de tâches partageant des données, Arnaud Giersch, 16ème Rencontres Francophones du Parallélisme (RenPar 2005), pages 159-170, Le Croisic, France, April 2005.
    note:French text.
    (Refereed National Conference)  [bibtex]
    #147   documents : download formats

    [ pdf ]icon
    231kb
    [ ps.gz ]ps.gz
    84kb

  35. Parallélisation d'un solveur adaptatif de l'équation de Vlasov, Olivier Hoenen and Eric Violard, 16ème Rencontres Francophones du Parallélisme (RenPar 2005), pages 249-258, Le Croisic, France, April 2005.
    (Refereed National Conference)  [bibtex]
    #151  

  36. Parallel Adaptive Mesh Coarsening for Seismic Tomography, Marc Grunberg, Stéphane Genaud and Catherine Mongenet, SBAC-PAD 2004, 16th Symposium on Computer Architecture and High Performance Computing, IEEE Computer Society Press, Foz do Iguaçu, Brazil, October 2004.
    doi:10.1109/SBAC-PAD.2004.29
    (Refereed International Conference)  [bibtex]
    #124   documents : download formats

    [ pdf ]icon
    233kb
    		IEEE Computer Society Press

  37. Analytical computation of Ehrhart polynomials: enabling more compiler analyses and optimizations, Sven Verdoolaege, Rachid Seghir, Kristof Beyls, Vincent Loechner and Maurice Bruynooghe, Proceedings of International Conference on Compilers, Architectures, and Synthesis for Embedded Systems, pages 248--258, Washington D.C., September 2004.
    (Refereed International Conference)  [bibtex]
    #128   documents : download formats

    [ pdf ]icon
    273kb

  38. Parallelization of an Adaptive Vlasov Solver, Olivier Hoenen, Michel Mehrenberger and Eric Violard, 11th European PVM/MPI Users’ Group Conference (EuroPVM/MPI 2004), ParSim Session, Lecture Notes in Computer Science, vol. 3241, Springer-Verlag, pages 430-435, Budapest, Hungary, September 2004.
    (Refereed International Conference)  [bibtex]
    #150   document : [link] documents : download formats

    [ pdf ]icon
    276kb
    		Springer-Verlag

  39. Scheduling tasks sharing files from distributed repositories, Arnaud Giersch, Yves Robert, and Frédéric Vivien, Euro-Par 2004: Parallel Processing: 10th International Euro-Par Conference, Lecture Notes in Computer Science, vol. 3149, Springer-Verlag, Pisa, Italy, August 2004.
    (Refereed International Conference)  [bibtex]
    #120   document : [link] documents : download formats

    [ pdf ]icon
    264kb
    [ ps.gz ]ps.gz
    238kb
    		Springer-Verlag

  40. A Symbolic Approach to Bernstein Expansion for Program Analysis and Optimization, Ph. Clauss and I. Tchoupaeva, 13th International Conference on Compiler Construction, CC 2004, LNCS, vol. 2985, Springer, pages 120-133, Ed. Evelyn Duesterwald, Barcelona, Spain, April 2004.
    (Refereed International Conference)  [bibtex]
    #114   documents : download formats

    [ pdf ]icon
    223kb
    		Springer

  41. Periodic Polyhedra, Benoît Meister, 13th International Conference on Compiler Construction, CC 2004, LNCS, vol. 2985, Springer, pages 134-149, Ed. Evelyn Duesterwald,ISBN:3-540-21297-3, Barcelona, Spain, April 2004.
    (Refereed International Conference)  [bibtex]
    #116   documents : download formats

    [ pdf ]icon
    226kb
    		Springer

  42. Scheduling tasks sharing files on heterogeneous master-slave platforms, Arnaud Giersch, Yves Robert, and Frédéric Vivien, 12th Euromicro Conference on Parallel, Distributed and Network based Processing (PDP 2004), IEEE Computer Society Press, pages 364--371, A Coruña, Spain, February 2004.
    (Refereed International Conference)  [bibtex]
    #112   document : [link] documents : download formats

    [ pdf ]icon
    246kb
    [ ps.gz ]ps.gz
    101kb
    		IEEE Computer Society Press

  43. Calcul de rais en tomographie sismique : exploitation sur la Grille, Marc Grunberg and Stéphane Genaud, Renpar 15, INRIA, pages 179--186,ISBN:2 - 7261 - 1264 - 1, La Colle sur Loup, October 2003.
    (Refereed National Conference)  [bibtex]
    #111   documents : download formats

    [ pdf ]icon
    120kb
    [ ps.gz ]ps.gz
    52kb
    		INRIA

  44. Scheduling tasks sharing files on heterogeneous clusters, Arnaud Giersch, Yves Robert, and Frédéric Vivien, 10th European PVM/MPI Users' Group Conference (EuroPVM/MPI 2003), Lecture Notes in Computer Science, vol. 2840, Springer-Verlag, pages 657--660, Venice, Italy, September 2003.
    (Refereed International Conference)  [bibtex]
    #109   document : [link] documents : download formats

    [ pdf ]icon
    57kb
    [ ps.gz ]ps.gz
    46kb
    		Springer-Verlag

  45. Modeling Program Traces with Nested Loops, Philippe Clauss, Bénédicte Kenmei Youta and Odile Rousselet, Workshop on Exploring the Trace Space for Dynamic Optimization Techniques, held in conjunction with ICS'03, San Francisco, June 2003.
    (Refereed International Conference)  [bibtex]
    #108   documents : download formats

    [ pdf ]icon
    163kb

  46. Automatic detection of uninitialized variables, T.V.N. Nguyen, F. Irigoin, C. Ancourt and F. Coelho, 12th International Conference on Compiler Construction, LNCS 2622, pages 217-231, Warsaw, Poland, April 2003.
    (Refereed International Conference)  [bibtex]
    #132  

  47. Load-Balancing Scatter Operations for Grid Computing, Stéphane Genaud, Arnaud Giersch, and Frédéric Vivien, Proceedings of 12th Heterogeneous Computing Workshop (HCW '03), IEEE Computer Society Press, ISBN:0-7695-1926-1, Nice, France, April 2003.
    doi:10.1109/IPDPS.2003.1213207
    (Refereed International Conference)  [bibtex]
    #75   document : [link] documents : download formats

    [ pdf ]icon
    127kb
    [ ps.gz ]ps.gz
    64kb
    		IEEE Computer Society Press

  48. Source-code Transformations Strategies to Load-balance Grid Applications, Romaric David, Stéphane Genaud, Arnaud Giersch, Éric Violard, and Benjamin Schwarz, Grid Computing - GRID'2002, Lecture Notes in Computer Science, vol. 2536, Springer-Verlag, pages 82--87, Baltimore, MD, USA, November 2002.
    (Refereed International Conference)  [bibtex]
    #62   document : [link] documents : download formats

    [ pdf ]icon
    286kb
    [ ps.gz ]ps.gz
    52kb
    		Springer-Verlag

  49. Experiments in load balancing across the Grid via a code transformation, E. Violard and R. David and B. Schwarz, DAPSYS 2002, Kluwer, pages 66--73, Johannes Kepler University, Linz (Austria), September 2002.
    (Refereed International Conference)  [bibtex]
    #49   documents : download formats

    [ pdf ]icon
    376kb
    [ ps.gz ]ps.gz
    72kb
    		Kluwer

  50. On the Optimality of Feautrier's Scheduling Algorithm, Frédéric Vivien, Euro-Par 2002, LNCS, vol. 2400, Springer-Verlag, pages 299-308, Paderborn, Germany, August 2002.
    (Refereed International Conference)  [bibtex]
    #61   documents : download formats

    [ pdf ]icon
    279kb
    [ ps.gz ]ps.gz
    71kb
    		Springer-Verlag

  51. Parallel Sampling with Stochastic Differential Equations for 3D Deformable Matching of Medical Images, Michel Salomon, Guy-René Perrin, Fabrice Heitz, Proceedings of PDPTA'02, Las Vegas, June 2002.
    (Refereed International Conference)  [bibtex]
    #24   documents : download formats

    [ ps.gz ]ps.gz
    253kb

  52. Parallel Seismic Ray-tracing in a Global Earth Mesh, Marc Grunberg, Stéphane Genaud, Catherine Mongenet, Proceedings of the 2002 Parallel and Distributed Processing Techniques and Applications (PDPTA'02), pages 1151-1157,ISBN:ISBN:1-892512-89-0, Las Vegas, June 2002.
    (Refereed International Conference)  [bibtex]
    #20   documents : download formats

    [ pdf ]icon
    851kb
    [ ps.gz ]ps.gz
    1209kb

  53. Parallelization of a Vlasov Solver by Communication Overlapping, Eric Violard, Francis Filbet, proceedings of PDPTA'02, CSREA Press, pages 1049--1055, Las Vegas, June 2002.
    (Refereed International Conference)  [bibtex]
    #22   documents : download formats

    [ pdf ]icon
    287kb
    [ ps.gz ]ps.gz
    55kb

  54. Alias verification for Fortran code optimization, T.V.N. Nguyen and F. Irigoin, International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2002), pages 56-70, Grenoble, France, April 2002.
    (Refereed International Conference)  [bibtex]
    #138  

  55. Data Sequence Locality: a Generalization of Temporal Locality, V. Loechner, B. Meister and Ph. Clauss, 7th Int. Euro-Par Conference, LNCS 2150 (Europar'2001), Springer, Ed. R. Sakellariou et al., Manchester (UK), August 2001.
    (Refereed International Conference)  [bibtex]
    #19   documents : download formats

    [ ps.gz ]ps.gz
    154kb
    		Springer

  56. A Unified Framework for Schedule and Storage Optimization, William Thies, Frédéric Vivien, Jeffrey Sheldon, and Saman Amarasinghe, ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation, ACM, Snowbird, Utah, USA, June 2001.
    (Refereed International Conference)  [bibtex]
    #53   documents : download formats

    [ pdf ]icon
    299kb
    [ ps.gz ]ps.gz
    256kb
    		ACM

  57. Array resizing for code debugging, maintenance and reuse, C. Ancourt and T.V.N. Nguyen, ACM SIGLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE01), pages 32-37, Snowbird, Utah, USA, June 2001.
    (Refereed International Conference)  [bibtex]
    #135  

  58. Differential Evolution for Medical Image Registration, Michel Salomon, Guy-René Perrin and Fabrice Heitz,, International Conference on Artificial Intelligence (IC-AI'2001), Las Vegas (U.S.A.), June 2001.
    note:Revised version of Research Report ICPS RR-01-04.
    (Refereed International Conference)  [bibtex]
    #18  

  59. Incrementalized Pointer and Escape Analysis, Frédéric Vivien and Martin Rinard, ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation, SNOWBIRD (UTAH), June 2001.
    (Refereed International Conference)  [bibtex]
    #52   documents : download formats

    [ pdf ]icon
    258kb
    [ ps.gz ]ps.gz
    560kb

  60. Minimizing strides in Loops with Affine Array References, Ph. Clauss, V. Loechner and B. Meister, CPC'2001, Compilers for Parallel Computers, June 2001.
    (Refereed International Conference)  [bibtex]
    #7   documents : download formats

    [ ps.gz ]ps.gz
    81kb

  61. Efficient Intraprocedural Array Bound Checking, T.V.N. Nguyen, F. Irigoin, C. Ancourt and R. Keryell, Second International Workshop on Automated Program Analysis, Testing and Verification (WAPATV01), Toronto, Canada, May 2001.
    (Refereed International Conference)  [bibtex]
    #136  

  62. Localité de données dans les opérations stencil, Benoît Meister, RenPar'2001, Cité des Sciences et de l'Industrie, Paris (France), April 2001.
    (Refereed National Conference)  [bibtex]
    #51  

  63. A Theoretical Framework of Data Parallelism and its Operational Semantics, Ph. Gerner and E. Violard, EUROPAR'2000, LNCS 1900, Springer-Verlag, pages 668--677, Munich, September 2000.
    (Refereed International Conference)  [bibtex]
    #11   documents : download formats

    [ ps ]icon
    426kb
    [ ps.gz ]ps.gz
    91kb
    		Springer-Verlag

  64. Scheduling the Computations of a Loop Nest with Respect to a Given Mapping, Alain Darte, Claude Diderich, Marc Gengler, and Frédéric Vivien, Euro-Par'2000, vol. 1900, Springer-Verlag, pages 405-414, Munich (Germany), September 2000.
    (Refereed International Conference)  [bibtex]
    #15   documents : download formats

    [ pdf ]icon
    210kb
    [ ps.gz ]ps.gz
    81kb
    		Springer-Verlag

  65. Parallélisation de l'évolution différentielle pour le recalage rigide d'images médicales volumiques, M. Salomon, RenPAR'2000, 12ème Rencontres Francophones du Parallélisme, Revised version of Research Report ICPS RR-00-05, Besançon (France), June 2000.
    (Refereed National Conference)  [bibtex]
    #16   documents : download formats

    [ ps.gz ]ps.gz
    72kb

  66. A constructive solution to the juggling problem in processor array synthesis, Alain Darte, B. R. Rau, Rob Schreiber, and Frederic Vivien, International Parallel and Distributed Processing Symposium, IPDPS 2000, May 2000.
    (Refereed International Conference)  [bibtex]
    #13   documents : download formats

    [ pdf ]icon
    94kb
    [ ps.gz ]ps.gz
    39kb

  67. Automatic Memory Layout Transformation to Optimize Spatial Locality in Parameterized Loop Nests, Ph. Clauss and B. Meister, 4th Annual Workshop on Interaction between Compilers and Computer Architectures, INTERACT-4, February 2000.
    (Refereed International Conference)  [bibtex]
    #12   documents : download formats

    [ ps.gz ]ps.gz
    125kb

  68. Formal concept analysis on ordered set, Q.T. Nguyen, V.N. Huynh and T.V.N. Nguyen, International Conference on Mathematical Foundation of Computer Science, Hanoi, Vietnam, October 1999.
    (Refereed International Conference)  [bibtex]
    #137  

  69. Sparse Computation with PEI, Frédérique Voisin and Guy-René Perrin, 6th International Workshop on Solving Irregularly Structured Problems in Parallel, Proceedings of 11 IPPS/SPDP'99 Workshops, LNCS 1586, Springer-Verlag, San Juan, Puerto Rico, April 1999.
    (Refereed International Conference)  [bibtex]
    #81   documents : download formats

    [ ps.gz ]ps.gz
    36kb
    		Springer-Verlag

  70. Minimisation des communications dans une résolution distribuée des équations de Navier-Stokes, Frédérique Voisin, Renpar'10, pages 183-186, Strasbourg, June 1998.
    note:French text.
    (Refereed National Conference)  [bibtex]
    #80   documents : download formats

    [ ps.gz ]ps.gz
    35kb

  71. Handling Memory Cache Policy with Integer Points Countings, Ph. Clauss, Europar'97, LNCS, vol. 1300, Springer-Verlag, Passau, August 1997.
    (Refereed International Conference)  [bibtex]
    #37   documents : download formats

    [ ps.gz ]ps.gz
    111kb
    		Springer-Verlag

  72. Solutions to the Communication Minimization Problem for Affine recurrence Equations, V. Loechner and C. Mongenet, Europar'97, LNCS 1300, pages Springer-Verlag, Passau (Germany), August 1997.
    (Refereed International Conference)  [bibtex]
    #38   documents : download formats

    [ ps.gz ]ps.gz
    79kb

  73. Typechecking of PEI expressions, E. Violard, EUROPAR'97, LNCS 1300, Springer-Verlag, pages 521-529, Passau (Germany), August 1997.
    (Refereed International Conference)  [bibtex]
    #34   documents : download formats

    [ pdf ]icon
    592kb
    [ ps.gz ]ps.gz
    50kb
    		Springer-Verlag

  74. A parallel algorithm to reconstruct bounding surfaces in 3D images, F. Mabin, C. Mongenet, Proceedings of PDPTA'97, Las Vegas, July 1997.
    (Refereed International Conference)  [bibtex]
    #39   documents : download formats

    [ ps.gz ]ps.gz
    163kb

  75. Refinement of data-parallel programs in PEI, E. Violard, S. Genaud, G.-R. Perrin, IFIP Working Conference on Algorithmic Language and Calculi, Chapman & Hall Ed., Ed. R. Bird and L. Meertens,ISBN:0-412-82050-1, February 1997.
    note:25 pages.
    (Refereed International Conference)  [bibtex]
    #3   documents : download formats

    [ pdf ]icon
    304kb
    [ ps.gz ]ps.gz
    77kb
    		Chapman & Hall Ed.

  76. Sewing Faces : A topological reconstruction algorithm of 6-connected objects bounding surfaces in 3D digital images, F. Mabin, C. Mongenet, Proceedings of WSCG' 97, vol. 2, pages 331-340, Plzen (Czech Republic), February 1997.
    (Refereed International Conference)  [bibtex]
    #40   documents : download formats

    [ ps.gz ]ps.gz
    115kb

  77. Types in Parallel Programming, E. Violard, Theory and Practice of Higher-Order Parallel Programming, 9708, SCHLOSS DAGSTUHL : INTERNATIONAL CONFERENCE AND RESEARCH CENTER, February 1997.
    (Refereed International Conference)  [bibtex]
    #100   document : [link]

  78. Parametric Analysis of Polyhedral Iteration Spaces, Ph. Clauss and V. Loechner, Proceedings of Int. Conf. on Application Specific Array Processors, ASAP'96, IEEE Computer Society Press, Chicago, USA, August 1996.
    (Refereed International Conference)  [bibtex]
    #31   documents : download formats

    [ ps.gz ]ps.gz
    286kb
    		IEEE Computer Society Press

  79. Counting Solutions to Linear and Nonlinear Constraints throughEhrhart polynomials: Applications to Analyse and Transform Scientific Programs, Ph. Clauss, Proceedings of the 10th International Conference on Supercomputing, ICS'96, Philadelphia, May 1996.
    (Refereed International Conference)  [bibtex]
    #30   documents : download formats

    [ ps.gz ]ps.gz
    200kb

  80. Transformation techniques in PEI, S. Genaud, E. Violard, G.-R. Perrin, EUROPAR'95, LNCS 966, Springer-Verlag, pages 131--142, Ed. S. Haridi, K. Ali, P. Magnusson, Stockholm, August 1995.
    doi:10.1007/BFb0020460
    (Refereed International Conference)  [bibtex]
    #1   documents : download formats

    [ ps.gz ]ps.gz
    45kb
    		Springer-Verlag

  81. A toolbox for affine recurrence equations parallelization, V. Loechner, C. Mongenet, HPCN'95, LNCS 919, pages Springer-Verlag, Milan (Italy), May 1995.
    (Refereed International Conference)  [bibtex]
    #27   documents : download formats

    [ ps.gz ]ps.gz
    62kb

  82. Mappings for communication minimization using distribution and alignment, C. Mongenet, Proceedings of PACT'95, ACM Press, pages 185-193, Limassol, Cyprus (Greece), May 1995.
    (Refereed International Conference)  [bibtex]
    #28   documents : download formats

    [ ps.gz ]ps.gz
    59kb
    		ACM Press

  83. Techniques de tranformations d'énoncés PEI pour la production de programmes data-parallèles, Stéphane Genaud, RenPar 7, Mons (Belgium), May 1995.
    note:french text.
    (Refereed National Conference)  [bibtex]
    #6   documents : download formats

    [ ps.gz ]ps.gz
    31kb

  84. Reduction in PEI, E. Violard, G.-R. Perrin, CONPAR'94, LNCS 854, Springer Verlag, pages 112--123, September 1994.
    (Refereed International Conference)  [bibtex]
    #48   documents : download formats

    [ pdf ]icon
    655kb
    [ ps.gz ]ps.gz
    118kb
    		Springer Verlag

  85. Data compiling for Systems of Affine Recurrence Equations, C. Mongenet, ASAP'94, IEEE Society Press, pages 212-223, June 1994.
    (Refereed International Conference)  [bibtex]
    #45   documents : download formats

    [ ps.gz ]ps.gz
    120kb
    		IEEE Society Press

  86. Optimal mapping of Systolic Algorithms by regular Instruction Shifts, Ph. Clauss, G.-R. Perrin, ASAP'94, IEEE Computer Society Press, June 1994.
    (Refereed International Conference)  [bibtex]
    #47   documents : download formats

    [ ps.gz ]ps.gz
    176kb
    		IEEE Computer Society Press

  87. PEI: a theoretical framework for Data-Parallel Programming, G.-R. Perrin, E. Violard, S. Genaud, Workshop on Data-Parallel Languages and Compilers, Lille (France), May 1994.
    (Refereed National Conference)  [bibtex]
    #46   documents : download formats

    [ pdf ]icon
    939kb
    [ ps.gz ]ps.gz
    199kb

  88. An efficient Allocation Strategy for Mapping affine Recurrences into space and time-optimal regular Processor Arrays, Ph. Clauss, Parcella'94, 1994.
    (Refereed International Conference)  [bibtex]
    #44   documents : download formats

    [ ps.gz ]ps.gz
    204kb

  89. Some synthesis aspects for Data-Parallel Programming, G.-R. Perrin, HPCN'94, LNCS 797, Springer-Verlag, 1994.
    (Refereed International Conference)  [bibtex]
    #43  

  90. A Mathematical Theory and its Environment for Parallel Programming, E. Violard, Parallelization Techniques for Uniform Algorithms, 9325, SCHLOSS DAGSTUHL : INTERNATIONAL CONFERENCE AND RESEARCH CENTER, June 1993.
    (Refereed International Conference)  [bibtex]
    #101   document : [link]

  91. PEI: a Single Unifying Model to Design Parallel Programs, E. Violard and G.-R. Perrin, PARLE'93, Springer Verlag, Munich, June 1993.
    (Refereed International Conference)  [bibtex]
    #97  

  92. PEI: un modèle unificateur simple pour la conception de programmes parallèles, E. Violard, RenPAR, Brest, May 1993.
    (Refereed National Conference)  [bibtex]
    #98  

Theses

  1. Exécutions de programmes parallèles à passage de messages sur grille de calcul, Stéphane Genaud, Université Henri Poincaré, Nancy, December 2009.
    note:Habilitation à Diriger des Recherches.
    (PhD thesis)  [bibtex]
    #220   document : [link]

  2. Parallélisation de Méthodes Adaptatives Semi-Lagrangiennes pour la Résolution de l'Equation de Vlasov, Olivier Hoenen, University of Strasbourg I (Louis Pasteur University), July 2008.
    (PhD thesis)  [bibtex]
    #213   document : [link] documents : download formats

    [ ps.gz ]ps.gz
    1050kb

  3. P2P-MPI : A fault-tolerant Message Passing Interface Implementation for Grids., Choopan Rattanapoka, University Louis Pasteur, Strasbourg, April 2008.
    (PhD thesis)  [bibtex]
    #208   documents : download formats

    [ pdf ]icon
    2204kb

  4. Dynamic and Software Optimization of Data Accesses: Memory Latency Reduction by Low-Cost Dynamic Binary Analysis and Transformations, Jean Christophe Beyler, Université Louis Pasteur, December 2007.
    (PhD thesis)  [bibtex]
    #203   documents : download formats

    [ pdf ]icon
    1416kb

  5. Méthodes de dénombrement de points entiers de polyèdres et applications à l'optimisation de programmes, Rachid Seghir, December 2006.
    (PhD thesis)  [bibtex]
    #187   documents : download formats

    [ pdf ]icon
    1603kb

  6. Génération de programmes modèles pour la représentation et l'analyse de profils d'exécution : le modèle périodique-linéaire, Bénédicte Kenmei, Université Louis Pasteur, June 2006.
    (PhD thesis)  [bibtex]
    #167   documents : download formats

    [ pdf ]icon
    1392kb

  7. Modèle de coût des communications TCP à un niveau applicatif, Constantinos Makassikis, University Louis Pasteur (Strasbourg), June 2006.
    note:french text.
    (Master thesis)  [bibtex]
    #180   documents : download formats

    [ pdf ]icon
    430kb

  8. Sélection de pairs et allocation de tâches dans P2P-MPI, Ghazi Bouabene, Université Louis Pasteur, June 2006.
    (Master thesis)  [bibtex]
    #166   documents : download formats

    [ pdf ]icon
    551kb

  9. Ordonnancement sur plates-formes hétérogènes de tâches partageant des données, Arnaud Giersch, Université Louis Pasteur, Strasbourg, France, December 2004.
    note:French text.
    (PhD thesis)  [bibtex]
    #142   document : [link] documents : download formats

    [ pdf ]icon
    1308kb
    [ ps.gz ]ps.gz
    691kb

  10. Stating and Manipulating Periodicity in the Polytope Model. Applications to Program Analysis and Optimization., Benoît Meister, Université Louis Pasteur, December 2004.
    (PhD thesis)  [bibtex]
    #141   documents : download formats

    [ ps.gz ]ps.gz
    465kb

  11. Mécanisme de régulation dynamique de la charge pour un solveur de Vlasov semi-Lagrangien, Olivier Hoenen, University of Strasbourg I (Louis Pasteur University), July 2004.
    (Master thesis)  [bibtex]
    #212   documents : download formats

    [ pdf ]icon
    742kb

  12. P2P-MPI : A Peer-to-Peer FrameWork for Robust Execution of Message Passing Parallel Programs on Grids, Choopan Rattanapoka, Université Louis-Pasteur de Strasbourg, July 2004.
    (Master thesis)  [bibtex]
    #139   documents : download formats

    [ pdf ]icon
    809kb
    [ ps.gz ]ps.gz
    295kb

  13. La sémantique des directives au compilateur : application au parallélisme de données, Philippe Gerner, Thèse en informatique de l'Université Louis Pasteur, December 2002.
    (PhD thesis)  [bibtex]
    #73   documents : download formats

    [ ps.gz ]ps.gz
    419kb

  14. Vers un profiling adaptatif : Etat de l'art des méthodes actuelles d'analyse de programmes et perspectives, Bénédicte Ramelie Kenmei Youta, Université de Yaoundé I, Cameroun, November 2002.
    (Master thesis)  [bibtex]
    #71   documents : download formats

    [ pdf ]icon
    351kb

  15. Durées de vie et compression mémoire, Ridha Kouache, Université Louis Pasteur, Strasbourg, June 2002.
    note:French text.
    (Master thesis)  [bibtex]
    #63   documents : download formats

    [ ps.gz ]ps.gz
    197kb

  16. Ordonnancement d'applications parallèles sur la grille, Dominique Stehly, Université Louis Pasteur, 2002.
    (Master thesis)  [bibtex]
    #64   documents : download formats

    [ ps.gz ]ps.gz
    239kb

  17. Etude de la parallélisation de méthodes heuristiques d'optimisation combinatoire. Application au recalage d'images médicales, Michel Salomon, Thèse en informatique de l'Université Louis Pasteur, December 2001.
    (PhD thesis)  [bibtex]
    #74   documents : download formats

    [ pdf ]icon
    5536kb
    [ ps.gz ]ps.gz
    3366kb

  18. Étude d'outils logiciels pour la parallélisation et la transformation de programmes dans les applications de calculs numériques, Frédérique Voisin-Demery, Thèse en informatique de l'Université Louis Pasteur, July 2001.
    (PhD thesis)  [bibtex]
    #76   documents : download formats

    [ ps.gz ]ps.gz
    938kb

  19. Méthodes polyédriques pour la parallélisation et l'optimisation de programmes, Ph. Clauss, Université Louis Pasteur, Habilitation à diriger des recherches, 2000.
    (PhD thesis)  [bibtex]
    #57   documents : download formats

    [ ps.gz ]ps.gz
    585kb

  20. Contribution à l'étude des polyèdres paramétrés et applications en parallélisation automatique, V. Loechner, Université Louis Pasteur, Strasbourg, December 1997.
    (PhD thesis)  [bibtex]
    #36   documents : download formats

    [ ps.gz ]ps.gz
    987kb

  21. Transformations de programmes Pei : applications au parallélisme de données, Stéphane Genaud, Université Louis Pasteur, Strasbourg, January 1997.
    (PhD thesis)  [bibtex]
    #4   documents : download formats

    [ ps.gz ]ps.gz
    268kb

  22. Une théorie unificatrice pour la construction de programmes parallèles par des techniques de transformations, E. Violard, Université de France-Comté, Besançon, October 1992.
    (PhD thesis)  [bibtex]
    #99  

Research reports

  1. Counting Points in Integer Affine Transformations of Parametric Z-polytopes, Rachid Seghir, Vincent Loechner and Benoît Meister, 2008.
    (Research Report)  [bibtex]
    #218  

  2. Approximations of Polytope Enumerators using Linear Expansions, Benoit Meister, Universite Louis Pasteur, May 2007.
    note:Revised edition of a paper submitted in 2005.
    (Research Report)  [bibtex]
    #191   documents : download formats

    [ pdf ]icon
    253kb

  3. Symbolic Polynomial Maximization over Convex Sets and its Application to Memory Requirement Estimation, Philippe Clauss, Federico Javier Fernandez, Diego Gabervetsky and Sven Verdoolaege, number 06-04, Université Louis Pasteur, October 2006.
    (Research Report)  [bibtex]
    #173   documents : download formats

    [ pdf ]icon
    312kb

  4. A Local Adaptive Algorithm for Solving the Vlasov Equation, Olivier Hoenen and Eric Violard, number 06-05, August 2006.
    (Research Report)  [bibtex]
    #181   documents : download formats

    [ pdf ]icon
    195kb

  5. Experiments in running a scientific MPI application on Grid'5000, Stéphane Genaud and Marc Grunberg and Catherine Mongenet, number 06-03, University Louis Pasteur, July 2006.
    (Research Report)  [bibtex]
    #172   documents : download formats

    [ pdf ]icon
    408kb

  6. An Efficient Data Structure for an Adaptive Vlasov Solver, Olivier Hoenen and Eric Violard, number 06-02, February 2006.
    (Research Report)  [bibtex]
    #161   documents : download formats

    [ pdf ]icon
    242kb
    [ ps ]icon
    218kb

  7. Minimizing Memory Strides using Integer Transformations of Parametric Polytopes, Rachid Seghir, Vincent Loechner and Benoît Meister, January 2006.
    (Research Report)  [bibtex]
    #177   documents : download formats

    [ pdf ]icon
    241kb

  8. Technical report: Dynamic optimizations, Jean Christophe Beyler, Philippe Clauss and Guang R. Gao, number 05-01, ICPS/LSIIT - Université Louis Pasteur, University of Delaware, June 2005.
    (Research Report)  [bibtex]
    #154   documents : download formats

    [ pdf ]icon
    217kb

  9. ESODYP: An Entirely Software and Dynamic Data Prefetcher based on a Memory Strides Markov Model, Jean Christophe Beyler and Philippe Clauss, number 04-03, ICPS/LSIIT - Université Louis Pasteur, June 2004.
    (Research Report)  [bibtex]
    #145   documents : download formats

    [ pdf ]icon
    132kb

  10. Projecting Periodic Polyhedra for Loop Nest Analysis, B. Meister, number 04-02, ICPS - LSIIT, Université Louis Pasteur, April 2004.
    note:To be presented to Compilers for Parallel Computers (CPC) 2004.
    (Research Report)  [bibtex]
    #121   documents : download formats

    [ ps.gz ]ps.gz
    69kb

  11. Analytical Computation of Ehrhart Polynomials and its Application in Compile-Time Generated Cache Hints, Rachid Seghir, Sven Verdoolaege, Kristof Beyls, and Vincent Loechner, number 04-01, February 2004.
    (Research Report)  [bibtex]
    #118   documents : download formats

    [ pdf ]icon
    593kb
    [ ps.gz ]ps.gz
    343kb

  12. The Status of Non-Mandatory Directives, Philippe Gerner et Eric Violard, number RR 03-01, September 2003.
    (Research Report)  [bibtex]
    #183   documents : download formats

    [ ps ]icon
    297kb

  13. Using Periodics in Integer Polyhedral Problems, Benoît Meister, number 03-01, LSIIT - ICPS UMR7005 ULP-CNRS, 2003.
    (Research Report)  [bibtex]
    #115   document : [link] documents : download formats

    [ ps.gz ]ps.gz
    153kb

  14. An Approach for Defining the Semantics of Directives, Philippe Gerner, number 02-02, Université Louis Pasteur, October 2002.
    (Research Report)  [bibtex]
    #72   documents : download formats

    [ ps ]icon
    298kb

  15. Source-code Transformations Strategies to Load-balance Grid Applications, Romaric David, Stéphane Genaud, Arnaud Giersch, Éric Violard, and Benjamin Schwarz, number 02-01, LSIIT-ICPS, Université Louis Pasteur, August 2002.
    (Research Report)  [bibtex]
    #50   documents : download formats

    [ pdf ]icon
    560kb
    [ ps.gz ]ps.gz
    116kb

  16. On High-Level Low-Level Programming, Philippe Gerner, number RR 02-08, Université Louis Pasteur, Strasbourg, July 2002.
    (Research Report)  [bibtex]
    #66   documents : download formats

    [ ps ]icon
    186kb

  17. A Note on Computational Meaning Attribution in Rewriting Logic, Philippe Gerner, number RR 02-07, Université Louis Pasteur, Strasbourg, May 2002.
    (Research Report)  [bibtex]
    #25   documents : download formats

    [ ps ]icon
    195kb

  18. On the Optimality of Feautrier's Scheduling Algorithm, Frédéric Vivien, number 02-04, May 2002.
    (Research Report)  [bibtex]
    #60   documents : download formats

    [ pdf ]icon
    251kb
    [ ps.gz ]ps.gz
    94kb

  19. Localité de données et compression mémoire dans les opérations stencil, Benoît Meister, ICPS - LSIIT, Université Louis Pasteur, March 2002.
    (Research Report)  [bibtex]
    #122   document : [link]

  20. Describing Execution Graphs with Rewriting Logic, Philippe Gerner, number RR 01-06, Université Louis Pasteur, Strasbourg, December 2001.
    (Research Report)  [bibtex]
    #65   documents : download formats

    [ ps.gz ]ps.gz
    83kb

  21. A Semantic Framework To Adress Data Locality in Data Parallel Languages, E. Violard, LSIIT-ICPS, Université Louis Pasteur, June 2001.
    note:RR 01-05.
    (Research Report)  [bibtex]
    #87   documents : download formats

    [ pdf ]icon
    964kb
    [ ps.gz ]ps.gz
    149kb

  22. The Polytope Model for Optimizing Cache Locality, B. Meister, V. Loechner and Ph. Clauss, May 2000.
    (Research Report)  [bibtex]
    #102   documents : download formats

    [ ps.gz ]ps.gz
    107kb

  23. A Theoretical Framework of Data Parallelism and its Operational Semantics, P. Gerner and E. Violard, LSIIT-ICPS, Université Louis Pasteur, January 2000.
    note:RR 00-02.
    (Research Report)  [bibtex]
    #88   documents : download formats

    [ ps.gz ]ps.gz
    68kb

  24. What really is Data Parallel Programming?, E. Violard, LSIIT-ICPS, Université Louis Pasteur, January 2000.
    note:RR 00-01.
    (Research Report)  [bibtex]
    #82   documents : download formats

    [ pdf ]icon
    378kb
    [ ps.gz ]ps.gz
    113kb

  25. Automatic Memory Layout Transformations to Optimize Spatial Locality in Parameterized Loop Nests, Ph. Clauss and B. Meister, August 1999.
    (Research Report)  [bibtex]
    #103   documents : download formats

    [ ps.gz ]ps.gz
    47kb

  26. Data Parallelism and PEI Equational Language, G.-R. Perrin and E. Violard, LSIIT-ICPS, Université Louis Pasteur, May 1999.
    note:RR 99-01.
    (Research Report)  [bibtex]
    #83   documents : download formats

    [ pdf ]icon
    754kb
    [ ps.gz ]ps.gz
    98kb

  27. A Formal Semantics of Data Parallel Languages, E. Violard, LSIIT-ICPS Université Louis Pasteur, December 1998.
    note:RR 98-04.
    (Research Report)  [bibtex]
    #84   documents : download formats

    [ pdf ]icon
    709kb
    [ ps.gz ]ps.gz
    96kb

  28. Advances in parameterized linear diophantine equations for precise program analysis, Ph. Clauss, September 1998.
    (Research Report)  [bibtex]
    #104   documents : download formats

    [ ps.gz ]ps.gz
    64kb

  29. On deriving HPF Code from Pei programs, S. Genaud, number RR 98-05, ICPS-Université Louis Pasteur, June 1998.
    (Research Report)  [bibtex]
    #5   documents : download formats

    [ ps.gz ]ps.gz
    90kb

  30. Asynchronous Parallel Programming in PEI, E. Violard, LSIIT-ICPS, Université Louis Pasteur, October 1997.
    note:RR 97-10.
    (Research Report)  [bibtex]
    #91   documents : download formats

    [ pdf ]icon
    605kb
    [ ps.gz ]ps.gz
    51kb

  31. Handling Memory Cache Policy with Integer Points Countings (extended version), Ph. Clauss, January 1997.
    (Research Report)  [bibtex]
    #105   documents : download formats

    [ ps.gz ]ps.gz
    54kb

  32. Deriving Formulae to Count Solutions to Parameterized Linear Systems using Ehrhart Polynomials: Applications to the Analysis of Nested-Loop Programs, Ph. Clauss, V. Loechner and D.K. Wilde, 1997.
    (Research Report)  [bibtex]
    #56   documents : download formats

    [ ps.gz ]ps.gz
    571kb

  33. Data-Parallelism Versus Functional Programming: the Contribution of PEI, E. Violard, LSIIT-ICPS, Université Louis Pasteur, January 1995.
    note:RR 95-03.
    (Research Report)  [bibtex]
    #86   documents : download formats

    [ pdf ]icon
    497kb
    [ ps.gz ]ps.gz
    54kb

  34. The Volume of a Lattice Polyhedron to Enumerate Processors and Parallelism, Ph. Clauss, 1995.
    (Research Report)  [bibtex]
    #106   documents : download formats

    [ ps.gz ]ps.gz
    66kb

Miscellenaous communications

  1. ESODYP: An Entirely Software and Dynamic Data Prefetcher based on a Markov Model, Jean Christophe Beyler and Philippe Clauss, Proceedings of the 12th Workshop on Compilers for Parallel Computers, CPC 2006, University of A Coruna, pages 118-132,ISBN:54-609-8459-1, A Coruna, Spain, January 2006.
    (International Conference)  [bibtex]
    #158   documents : download formats

    [ pdf ]icon
    135kb

  2. Projecting Periodic Polyhedra for Loop Nest Analysis, B. Meister, Proceedings of the 11th Workshop on Compilers for Parallel Computers (CPC 04), Shaker Verlag, pages 13--24, Ed. M. Gerndt / E. Kereku (Eds.), Kloster Seeon, Germany, July 2004.
    (International Conference)  [bibtex]
    #140   documents : download formats

    [ ps.gz ]ps.gz
    69kb

  3. Analytical Computation of Ehrhart Polynomials and its Applications for Embedded Systems, Sven Verdoolaege, Kristof Beyls, Maurice Bruynooghe, Rachid Seghir and Vincent Loechner, Workshop on Optimizations for DSP and Embedded Systems, in conjunction with IEEE/ACM International Symposium on Code Generation, Palo Alto, california, March 2004.
    (International Conference)  [bibtex]
    #119   documents : download formats

    [ ps.gz ]ps.gz
    145kb

  4. Geographical ISC data Characterization with Parallel Ray-tracing, Marc Grunberg, Stéphane Genaud and Michel Granet, Eos Trans. AGU, 84(46), Fall-Meeting Suppl., Abstract S31E-0793, San Francisco, December 2003.
    (International Conference)  [bibtex]
    #113  

  5. Une nouvelle méthode de calcul de l'enveloppe entière d'un polyèdre paramétré, Benoît Meister, June 2003.
    (Misc.)  [bibtex]
    #110   documents : download formats

    [ pdf ]icon
    114kb
    [ ps.gz ]ps.gz
    43kb

  6. Advanced program analyses and verifications, T.V.N. Nguyen and F. Irigoin, First International Conference of French Speaking Vietnamese Computer Scientists (RIVF 2003), pages 77-81, Hanoi, Vietnam, February 2003.
    (International Conference)  [bibtex]
    #133