UdS
CNRS

Publications

All publications
  • 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  

  • 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

  • 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

  • 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  

  • 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  

  • 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]

  • 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  

  • 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  

  • 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

  • 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  

  • 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

  • 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  

  • 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  

  • 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  

  • 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

  • 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

  • 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

  • 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  

  • 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

  • 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  

  • 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  

  • 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  

  • 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  

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

  • 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

  • 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

  • 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  

  • 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

  • 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  

  • 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  

  • 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  

  • 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  

  • 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

  • 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

  • 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  

  • 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

  • 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

  • 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  

  • 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  

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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]

  • 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

  • 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  

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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  

  • 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

  • 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

  • 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

  • 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  

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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.

  • 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

  • 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  

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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  

  • 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  

  • 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

  • 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  

  • 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  

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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  

  • 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]

  • 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

  • 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.

  • 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  

  • 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]

  • 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

  • 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

  • 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

  • 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

  • É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

  • 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

  • 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

  • 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  

  • 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  

  • 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

  • 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

  • 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  

  • 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  

  • 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

  • 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  

  • 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  

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

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

  • 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

  • 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  

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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.

  • 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

  • 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  

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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  

  • 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.

  • 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

  • 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]

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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  

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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  

  • 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  

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

  • 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]

  • 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  

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

  • 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

  • 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  

  • 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  

  • 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  

  • 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  

  • 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