2017

Conference papers

titre
Temporary Read-Only Permissions for Separation Logic
auteur
Arthur Charguéraud, François Pottier
article
Proceedings of the 26th European Symposium on Programming (ESOP 2017), Apr 2017, Uppsala, Sweden
typdoc
Conference papers
audience
International
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01408657/file/readonlysep.pdf BibTex
titre
Splitting Polyhedra to Generate More Efficient Code
auteur
Harenome Razanajato, Vincent Loechner, Cédric Bastoul
article
IMPACT 2017, 7th International Workshop on Polyhedral Compilation Techniques, Jan 2017, Stockholm, Sweden. 2017, <http://impact.gforge.inria.fr/impact2017/>
typdoc
Conference papers
audience
International
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01505764/file/impact-17-splitting-polyhedra-to-generate-more-efficient-code.pdf BibTex
titre
Transferring Arithmetic Decision Procedures (on Z) to Alternative Representations
auteur
Nicolas Magaud
article
CoqPL 2017: The Third International Workshop on Coq for Programming Languages, Jan 2017, Paris, France. <http://conf.researchr.org/track/CoqPL-2017/main>. <10.1145/nnnnnnn.nnnnnnn>
typdoc
Conference papers
DOI
DOI : 10.1145/nnnnnnn.nnnnnnn
audience
International
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01518660/file/ssr_omega.pdf BibTex

Reports

titre
Arbogast: Higher order AD for special functions with Modular C
auteur
Isabelle Charpentier, Jens Gustedt
article
[Research Report] RR-8907, Inria Nancy - Grand Est (Villers-lès-Nancy, France). 2017, pp.20
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01307750/file/RR-8907.pdf BibTex

2016

Journal articles

titre
The Polyhedral Model of Nonlinear Loops
auteur
Aravind Sukumaran-Rajam, Philippe Clauss
article
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2016, 12 (4), <10.1145/2838734>
typdoc
Journal articles
DOI
DOI : 10.1145/2838734
audience
International
Accès au bibtex
BibTex

Conference papers

titre
Automatic Code Generation for Iterative Multi-dimensional Stencil Computations
auteur
Mariem Saied, Jens Gustedt, Gilles Muller
article
Anne Benoît. High Performance Computing, Data, and Analitics, Dec 2016, Hydarabat, India. IEEE, 2016, <http://www.hipc.org/hipc2016/index.php>
typdoc
Conference papers
audience
International
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01337093/file/RR-8928.pdf BibTex
titre
Resource-Centered Distributed Processing of Large Histopathology Images
auteur
Daniel Salas, Jens Gustedt, Daniel Racoceanu, Isabelle Perseil
article
19th IEEE International Conference on Computational Science and Engineering, Aug 2016, Paris, France. 2016
typdoc
Conference papers
audience
International
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01325648/file/RR-8921.pdf BibTex
titre
Code Bones: Fast and Flexible Code Generation for Dynamic and Speculative Polyhedral Optimization
auteur
Juan Manuel Martinez Caamaño, Willy Wolff, Philippe Clauss
article
Springer-Verlag. Euro-Par 2016, Aug 2016, Grenoble, France. 9833, pp.12, 2016, Proceedings of the 22nd International Conference Euro-Par 2016: Parallel Processing. <10.1007/978-3-319-43659-3_17>
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-319-43659-3_17
audience
International
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01377656/file/paper.pdf BibTex
titre
Le modèle de programmation ORWL pour la parallélisation d'une application de suivi vidéo HD sur architecture multi-coeurs
auteur
Farouk Mansouri, Jens Gustedt
article
Confrence d'informatique en Paralllisme, Architecture et Systme (COMPAS), Jul 2016, Lorient, France. 2016
typdoc
Conference papers
audience
National
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01325850/file/RR-8922.pdf BibTex
titre
Futex based locks for C11's generic atomics (extended abstract)
auteur
Jens Gustedt
article
The 31st Annual ACM Symposium on Applied Computing, Apr 2016, Pisa, Italy. The 31st Annual ACM Symposium on Applied Computing, 2016, <10.1145/2851613.2851956>
typdoc
Conference papers
DOI
DOI : 10.1145/2851613.2851956
audience
International
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01304108/file/sac2016.pdf BibTex
titre
Mapping Deviation: A Technique to Adapt or to Guard Loop Transformation Intuitions for Legality
auteur
Cédric Bastoul
article
CC'2016 25th International Conference on Compiler Construction, Mar 2016, Barcelone, Spain. CC 2016 - 25th International Conference on Compiler Construction, <http://cc2016.eew.technion.ac.il/>
typdoc
Conference papers
audience
International
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01271998/file/cc16.pdf BibTex
titre
Opening Polyhedral Compiler's Black Box
auteur
Lénaïc Bagnères, Oleksandr Zinenko, Stéphane Huot, Cédric Bastoul
article
CGO 2016 - 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization, Mar 2016, Barcelona, Spain. <http://cgo.org/cgo2016/>
typdoc
Conference papers
audience
International
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01253322/file/2015.09.18_Polyhedral_Compiler_White_Boxing.pdf BibTex

Book sections

titre
Transparent distributed data management in large scale distributed systems
auteur
Soumeya Leila Hernane, Jens Gustedt
article
Pervasive Computing, Academic Press, pp.153-194, 2016, 978-0-12-803663-1
typdoc
Book sections
audience
International
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01308989/file/chapter.pdf BibTex

Reports

titre
Fully-abstracted affinity optimization for task-based models
auteur
Jens Gustedt, Emmanuel Jeannot, Farouk Mansouri
article
[Research Report] RR-8993, INRIA Nancy. 2016
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01409101/file/RR-8993.pdf BibTex
titre
Arbogast – Origine d'un outil de dérivation automatique
auteur
Isabelle Charpentier, Jean-Pierre Friedelmeyer, Jens Gustedt
article
[Rapport de recherche] RR-8911, INRIA. 2016
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01313355/file/RR-8911.pdf BibTex

Theses

titre
Fast and Flexible Compilation Techniques for Effective Speculative Polyhedral Parallelization
auteur
Juan Manuel Martinez Caamaño
article
Computation and Language [cs.CL]. Université de Strasbourg, 2016. English
typdoc
Theses
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01377758/file/thesis.pdf BibTex

Preprints, Working Papers, ...

titre
Interactive Program Restructuring
auteur
Oleksandr Zinenko, Stéphane Huot, Cédric Bastoul
article
2016
typdoc
Preprints, Working Papers, ...
Accès au bibtex
BibTex

2015

Conference papers

titre
Automatic Generation of Adaptive Simulation Codes
auteur
Cédric Bastoul, César Sabater
article
SimRace, Conference on Numerical Methods and High Performance Computing for Industrial Fluid Flows, Dec 2015, Rueil-Malmaison, France. 2015, <http://www.rs-simrace.com/>
typdoc
Conference papers
audience
International
Accès au bibtex
BibTex
titre
Towards Complete Tracking of Provenance in Experimental Distributed Systems Research
auteur
Tomasz Buchert, Lucas Nussbaum, Jens Gustedt
article
REPPAR - Second International Workshop on Reproducibility in Parallel Computing -- held together with Euro-Par, Aug 2015, Vienna, Austria. 2015
typdoc
Conference papers
audience
International
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01191855/file/provenance.pdf BibTex
titre
Dynamic Re-Vectorization of Binary Code
auteur
Nabil Hallou, Erven Rohou, Philippe Clauss, Alain Ketterlin
article
International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation - SAMOS XV, Jul 2015, Agios Konstantinos, Greece
typdoc
Conference papers
audience
International
Accès au bibtex
BibTex
titre
XFOR: Filling the Gap between Automatic Loop Optimization and Peak Performance
auteur
Imen Fassi, Philippe Clauss
article
IEEE. 14th International Symposium on Parallel and Distributed Computing, Jun 2015, Limassol, Cyprus. 2015, <10.1109/ISPDC.2015.19>
typdoc
Conference papers
DOI
DOI : 10.1109/ISPDC.2015.19
audience
International
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01155144/file/paper.pdf BibTex
titre
Speculative Runtime Parallelization of Loop Nests: Towards Greater Scope and Efficiency
auteur
Aravind Sukumaran-Rajam, Luis Esteban Campostrini, Martinez Juan Manuel, Philippe Clauss
article
20th International Workshop on High-level Parallel Programming Models and Supportive Environments, held in conjunction with 29th IEEE International Parallel & Distributed Processing Symposium, May 2015, Hyderabad, India. 2015
typdoc
Conference papers
audience
International
Accès au bibtex
BibTex
titre
Manipulating Visualization, Not Codes
auteur
Oleksandr Zinenko, Cédric Bastoul, Stéphane Huot
article
International Workshop on Polyhedral Compilation Techniques (IMPACT), Jan 2015, Amsterdam, Netherlands. pp.8, <http://impact.gforge.inria.fr/impact2015/>
typdoc
Conference papers
audience
International
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01100974/file/paper.pdf BibTex
titre
CPU+GPU Load Balance Guided by Execution Time Prediction
auteur
Jean-François Dollinger, Vincent Loechner
article
Fifth International Workshop on Polyhedral Compilation Techniques (IMPACT 2015), Jan 2015, Amsterdam, Netherlands. 2015, <http://impact.gforge.inria.fr/impact2015>
typdoc
Conference papers
audience
International
Accès au bibtex
BibTex
titre
Mind The Gap! A study of some pitfalls preventing peak performance in polyhedral compilation using a polyhedral antidote
auteur
Philippe Clauss
article
IMPACT 2015, Fifth International Workshop on Polyhedral Compilation Techniques, In conjunction with HiPEAC 2015, Jan 2015, Amsterdam, Netherlands. 2015, <http://impact.gforge.inria.fr/impact2015>
typdoc
Conference papers
audience
International
Accès au bibtex
BibTex

Reports

titre
Futex based locks for C11's generic atomics
auteur
Jens Gustedt
article
[Research Report] RR-8818, INRIA Nancy. 2015
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01236734/file/RR-8818.pdf BibTex
titre
Modular C
auteur
Jens Gustedt
article
[Research Report] RR-8751, INRIA. 2015
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01169491/file/RR-8751.pdf BibTex
titre
Data handover on a peer-to-peer system
auteur
Soumeya Leila Hernane, Jens Gustedt, Mohamed Benyettou
article
[Research Report] RR-8690, Inria Nancy - Grand Est (Villers-lès-Nancy, France); INRIA. 2015, pp.37
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01120837/file/RR-8690.pdf BibTex
titre
Underspecified Aspects of Threads in C
auteur
David Keaton, Jens Gustedt
article
[Technical Report] RT-0470, Inria. 2015
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01230011/file/RT470.pdf BibTex

Theses

titre
XFOR (Multifor): A New Programming Structure to Ease the Formulation of Efficient Loop Optimizations
auteur
Imen Fassi
article
Computation and Language [cs.CL]. Université de Strasbourg, 2015. English
typdoc
Theses
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01251721/file/x-for.pdf BibTex
titre
Beyond the Realm of the Polyhedral Model: Combining Speculative Program Parallelization with Polyhedral Compilation
auteur
Aravind Sukumaran-Rajam
article
Computation and Language [cs.CL]. Université de Strasbourg, 2015. English
typdoc
Theses
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01251748/file/dissertation.pdf BibTex
titre
A framework for efficient execution on GPU and CPU+GPU systems
auteur
Jean-François Dollinger
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Strasbourg, 2015. English
typdoc
Theses
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01251719/file/thesis.pdf BibTex

2014

Journal articles

titre
Numerical simulation for the MHD system in 2D using OpenCL
auteur
Michel Massaro, Philippe Helluy, Vincent Loechner
article
ESAIM: Proceedings, EDP Sciences, 2014, 45, pp.485-492
typdoc
Journal articles
audience
International
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00919751/file/massaro.pdf BibTex
titre
Dynamic and Speculative Polyhedral Parallelization Using Compiler-Generated Skeletons
auteur
Alexandra Jimborean, Philippe Clauss, Jean-François Dollinger, Vincent Loechner, Martinez Juan Manuel
article
International Journal of Parallel Programming, Springer Verlag, 2014, 42 (4), pp.529-545
typdoc
Journal articles
audience
International
Accès au bibtex
BibTex
titre
Recovering memory access patterns of executable programs
auteur
Alain Ketterlin, Philippe Clauss
article
Science of Computer Programming, Elsevier, 2014, 80, pp.440-456. <http://www.sciencedirect.com/science/article/pii/S0167642312001505>. <10.1016/j.scico.2012.08.002>
typdoc
Journal articles
DOI
DOI : 10.1016/j.scico.2012.08.002
audience
International
Accès au bibtex
BibTex

Conference papers

titre
Hardware/Software Helper Thread Prefetching On Heterogeneous Many Cores
auteur
Bharath Narasimha Swamy, Alain Ketterlin, André Seznec
article
2014 IEEE 26th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), Oct 2014, Paris, France. <10.1109/SBAC-PAD.2014.39>
typdoc
Conference papers
DOI
DOI : 10.1109/SBAC-PAD.2014.39
audience
International
Accès au bibtex
BibTex
titre
Speculative Program Parallelization with Scalable and Decentralized Runtime Verification
auteur
Aravind Sukumaran-Rajam, Juan Manuel Martinez, Willy Wolff, Alexandra Jimborean, Philippe Clauss
article
Borzoo Bonakdarpour; Scott A. Smolka. Runtime Verification, Sep 2014, Toronto, Canada. Springer, 8734, pp.124-139, 2014, <http://link.springer.com/chapter/10.1007%2F978-3-319-11164-3_11>. <10.1007/978-3-319-11164-3_11>
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-319-11164-3_11
audience
International
Accès au bibtex
BibTex
titre
Switchable Scheduling for Runtime Adaptation of Optimization
auteur
Lénaïc Bagnères, Cédric Bastoul
article
Euro-Par 2014 Parallel Processing, Aug 2014, Porto, Portugal. Springer International Publishing, Lecture Notes in Computer Science, 8632, pp.222 - 233, 2014, Lecture Notes in Computer Science. <http://europar2014.dcc.fc.up.pt/>. <10.1007/978-3-319-09873-9_19>
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-319-09873-9_19
audience
International
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01097200/file/2014.02.13_Switchable_Scheduling_for_Runtime_Adaptation_of_Optimizations.pdf BibTex
interface.png
titre
Clint: A Direct Manipulation Tool for Parallelizing Compute-Intensive Program Parts
auteur
Oleksandr Zinenko, Stéphane Huot, Cédric Bastoul
article
IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Jul 2014, Melbourne, Australia. IEEE, pp.109-112, 2014
typdoc
Conference papers
audience
International
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01055788/file/Clint-VL_HCC_14.pdf BibTex
titre
Software-controlled Processor Stalls for Time and Energy Efficient Data Locality Optimization
auteur
Philippe Clauss, Imen Fassi, Alexandra Jimborean
article
International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation - SAMOS XIV, Jul 2014, Agios Konstantinos, Greece. 2014
typdoc
Conference papers
audience
International
Accès au bibtex
BibTex
titre
Improving X10 Program Performances by Clock Removal
auteur
Paul Feautrier, Eric Violard, Alain Ketterlin
article
23rd International Conference on Compiler Construction (CC’14), part of ETAPS’14, Apr 2014, Grenoble, France. 2014
typdoc
Conference papers
audience
International
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00924206/file/paper.pdf BibTex
titre
PADRONE: a Platform for Online Profiling, Analysis, and Optimization
auteur
Emmanuel Riou, Erven Rohou, Philippe Clauss, Nabil Hallou, Alain Ketterlin
article
DCE 2014 - International workshop on Dynamic Compilation Everywhere, Jan 2014, Vienne, Austria. 2014
typdoc
Conference papers
audience
International
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00917950/file/dce.pdf BibTex
titre
Counting Solutions to Linear and Nonlinear Constraints Through Ehrhart Polynomials: Applications to Analyze and Transform Scientific Programs
auteur
Philippe Clauss
article
ICS, International Conference on Supercomputing, 2014, Munich, Germany. ACM International Conference on Supercomputing 25th Anniversary Volume. <10.1145/2591635.2667172>
typdoc
Conference papers
DOI
DOI : 10.1145/2591635.2667172
audience
International
Accès au bibtex
BibTex
titre
Author Retrospective for Counting Solutions to Linear and Nonlinear Constraints Through Ehrhart Polynomials: Applications to Analyze and Transform Scientific Programs
auteur
Philippe Clauss
article
ICS, International Conference on Supercomputing, 2014, New York, United States. ACM, ACM International Conference on Supercomputing 25th Anniversary Volume. <10.1145/2591635.2591654>
typdoc
Conference papers
DOI
DOI : 10.1145/2591635.2591654
audience
International
Accès au bibtex
BibTex

Reports

titre
Loop-based Modeling of Parallel Communication Traces
auteur
Alain Ketterlin, Matthieu Kuhn, Stéphane Genaud, Philippe Clauss
article
[Research Report] RR-8562, INRIA. 2014, pp.10
typdoc
Reports
audience
Not specified
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01044636/file/RR-8562.pdf BibTex

2013

Journal articles

titre
Predictive Modeling in a Polyhedral Optimization Space
auteur
Eunjung Park, John Cavazos, Louis-Noël Pouchet, Cédric Bastoul, Albert Cohen, P. Sadayappan
article
International Journal of Parallel Programming, Springer Verlag, 2013, 41 (5), pp.704--750. <10.1007/s10766-013-0241-1>
typdoc
Journal articles
DOI
DOI : 10.1007/s10766-013-0241-1
audience
International
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00918653/file/ijpp-article.13_3.pdf BibTex

Conference papers

titre
Toward Better Simulation of MPI Applications on Ethernet/TCP Networks
auteur
Paul Bedaride, Augustin Degomme, Stéphane Genaud, Arnaud Legrand, George Markomanolis, Martin Quinson, Mark Stillwell, Frédéric Suter, Brice Videau
article
PMBS13 - 4th International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems, Nov 2013, Denver, United States. 2013
typdoc
Conference papers
audience
International
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00919507/file/smpi_pmbs13.pdf BibTex
titre
Online Dynamic Dependence Analysis for Speculative Polyhedral Parallelization
auteur
Alexandra Jimborean, Philippe Clauss, Juan Manuel Martinez, Aravind Sukumaran-Rajam
article
Felix Wolf and Bernd Mohr and Dieter an Mey. Euro-Par 2013, Aug 2013, Aachen, Germany. Springer, 8097, pp.191-202, 2013, Lecture Notes in Computer Science; Euro-Par 2013 Parallel Processing Lecture Notes in Computer Science Volume 8097, 2013, pp 191-202. <10.1007/978-3-642-40047-6_21>
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-642-40047-6_21
audience
International
Accès au bibtex
BibTex
titre
On the benefits of repeated game models for green cross-layer power control in small cells
auteur
Mariem Mhiri, V.S. Varma, Mael Le Treust, Samson Lasaulce, Salih Abdelaziz
article
IEEE International Black Sea Conference on Communications and Networking, Jul 2013, Georgia. pp.1-6, 2013
typdoc
Conference papers
audience
International
Accès au bibtex
BibTex
titre
Dynamic and Speculative Polyhedral Parallelization Using Compiler-Generated Skeletons
auteur
Alexandra Jimborean, Philippe Clauss, Jean-François Dollinger, Vincent Loechner, Juan Manuel Martinez
article
International Symposium on High-level Parallel Programming and Applications‎, HLPP, Jul 2013, Paris, France. 2013
typdoc
Conference papers
audience
International
Accès au bibtex
BibTex
titre
Multifor for Multicore
auteur
Imèn Fassi, Philippe Clauss, Matthieu Kuhn, Yosr Slama
article
Armin Grösslinger and Louis-Noël Pouchet. IMPACT 2013, Third International Workshop on Polyhedral Compilation Techniques, Jan 2013, Berlin, Germany. Epubli, pp.37-44, 2013, Proceedings of the 3rd International Workshop on Polyhedral Compilation Techniques
typdoc
Conference papers
audience
International
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00780748/file/paper.pdf BibTex
titre
Adaptive Runtime Selection for GPU
auteur
Jean-François Dollinger, Vincent Loechner
article
42nd International Conference on Parallel Processing, 2013, Lyon, France. IEEE, pp.70-79, 2013, <10.1109/ICPP.2013.16>
typdoc
Conference papers
DOI
DOI : 10.1109/ICPP.2013.16
audience
International
Accès au bibtex
BibTex

Reports

titre
Improving Simulations of MPI Applications Using A Hybrid Network Model with Topology and Contention Support
auteur
Paul Bedaride, Stéphane Genaud, Augustin Degomme, Arnaud Legrand, George Markomanolis, Martin Quinson, Mark Stillwell, Frédéric Suter, Brice Videau
article
[Research Report] RR-8300, INRIA. 2013, pp.22
typdoc
Reports
audience
Not specified
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00821446/file/RR-8300.pdf BibTex

Theses

titre
Consolidation de relevés laser d'intérieurs construits : pour une approche probabiliste initialisée par géolocalisation
auteur
Jean-Francois Hullo
article
Autre. Université de Strasbourg, 2013. Français. <NNT : 2013STRAD001>
typdoc
Theses
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00801974/file/Hullo_Jean-Francois_2013_ED269.pdf BibTex

2012

Journal articles

titre
Integer Affine Transformations of Parametric Z-polytopes and Applications to Loop Nest Optimization
auteur
Rachid Seghir, Vincent Loechner, Benoit Meister
article
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2012, 9 (2), pp.8.1-8.27. <10.1145/2207222.2207224>
typdoc
Journal articles
DOI
DOI : 10.1145/2207222.2207224
audience
International
Accès au bibtex
BibTex
titre
Polyhedral parallelization of binary code
auteur
Benoit Pradelle, Alain Ketterlin, Philippe Clauss
article
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2012, Special issue on high-performance and embedded architectures and compilers, 8 (4), pp.39:1--39:21. <http://doi.acm.org/10.1145/2086696.2086718>. <10.1145/2086696.2086718>
typdoc
Journal articles
DOI
DOI : 10.1145/2086696.2086718
audience
International
Accès au bibtex
BibTex

Conference papers

titre
Free elasticity and free CPU power for scientific workloads on IaaS Clouds
auteur
Etienne Michon, Julien Gossa, Stéphane Genaud
article
18th IEEE International Conference on Parallel and Distributed Systems, Dec 2012, Singapour, Singapore. IEEE, 2012
typdoc
Conference papers
audience
International
Accès au bibtex
BibTex
titre
Profiling Data-Dependence to Assist Parallelization: Framework, Scope, and Optimization
auteur
Alain Ketterlin, Philippe Clauss
article
MICRO-45, The 45th Annual IEEE/ACM International Symposium on Microarchitecture, Dec 2012, Vancouver, Canada. 2012
typdoc
Conference papers
audience
International
Accès au bibtex
BibTex
titre
VMAD: an Advanced Dynamic Program Analysis & Instrumentation Framework
auteur
Alexandra Jimborean, Luis Mastrangelo, Vincent Loechner, Philippe Clauss
article
M. O'Boyle. CC - 21st International Conference on Compiler Construction, Mar 2012, Tallinn, Estonia. Springer, 7210, pp.220-237, 2012, Lecture Notes in Computer Science; 21st International Conference on Compiler Construction - CC 2012
typdoc
Conference papers
audience
International
Accès au bibtex
BibTex
titre
Suivi du fonctionnement énergétique des surfaces : préparation des missions infrarouge thermique.
auteur
J.P. Lagouarde, J.A. Sobrino, M. Bach, G. Boulet, X. Briottet, S. Cherchali, B. Coudert, I. Dadou, G. Dedieu, P. Gamet, Olivier Hagolle, F. Jacob, Françoise Nerry, Albert Olioso, Catherine Ottlé, V. Pascal, J.-L. Roujean, Francesc Tinto Garcia-Moreno
article
Colloque de restitution TOSCA-CNES, Mar 2012, Paris, France
typdoc
Conference papers
audience
National
Accès au bibtex
BibTex
titre
Adapting the Polyhedral Model as a Framework for Efficient Speculative Parallelization
auteur
Alexandra Jimborean, Philippe Clauss, Benoit Pradelle, Luis Mastrangelo, Vincent Loechner
article
PPoPP - 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Feb 2012, New Orleans, United States. ACM Press, 2012, 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP'12
typdoc
Conference papers
audience
International
Accès au bibtex
BibTex
titre
Does dynamic and speculative parallelization enable advanced parallelizing and optimizing code transformations?
auteur
Philippe Clauss, Alexandra Jimborean
article
DCE - 1st International Workshop on Dynamic compilation from SoC to Web Browser via HPC, in conjonction with HiPEAC 2012, Jan 2012, Paris, France. 2012
typdoc
Conference papers
audience
International
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00664339/file/paper.pdf BibTex
titre
Dealing with arithmetic overflows in the polyhedral model
auteur
Bruno Cuervo Parrino, Julien Narboux, Eric Violard, Nicolas Magaud
article
Uday Bondhugula and Vincent Loechner. IMPACT 2012 - 2nd International Workshop on Polyhedral Compilation Techniques, Jan 2012, Paris, France. 2012
typdoc
Conference papers
audience
International
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00655485/file/polyproofs.pdf BibTex

Theses

titre
Conception de mécanismes compliants pour la robotique chirurgicale
auteur
Lennart Rubbert
article
Autre. Université de Strasbourg, 2012. Français. <NNT : 2012STRAD035>
typdoc
Theses
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00801892/file/Rubbert_Lennart_2012_ED269.pdf BibTex
titre
Développement d'un système robotique pour la radiologie interventionnelle sous IRM
auteur
Salih Abdelaziz
article
Autre. Université de Strasbourg, 2012. Français. <NNT : 2012STRAD034>
typdoc
Theses
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00801844/file/Abdelaziz_Salih_2012_ED269.pdf BibTex
titre
Gestion de la mobilité dans les réseaux de capteurs sans fil
auteur
Damien Roth
article
Autre. Université de Strasbourg, 2012. Français. <NNT : 2012STRAD031>
typdoc
Theses
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00793315/file/Roth_Damien_2012_ED269.pdf BibTex
titre
Approches statistiques pour la détection de changements en IRM de diffusion : application au suivi longitudinal de pathologies neuro-dégénératives
auteur
Antoine Grigis
article
Autre. Université de Strasbourg, 2012. Français. <NNT : 2012STRAD018>
typdoc
Theses
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00750933/file/grigis_antoine_2012_ED269.pdf BibTex
titre
Stereo visual servoing from straight lines
auteur
Fadi Alkhalil
article
Other. Université de Strasbourg, 2012. English. <NNT : 2012STRAD026>
typdoc
Theses
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00750946/file/Alkhalil_Fadi_2012_ED269.pdf BibTex
titre
Adapting the polytope model for dynamic and speculative parallelization
auteur
Alexandra Jimborean
article
Other [cs.OH]. Université de Strasbourg, 2012. English. <NNT : 2012STRAD020>
typdoc
Theses
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00733850/file/Jimborean_Alexandra_2012_ED269.pdf BibTex
titre
Commande linéaire à paramètres variants des robots manipulateurs flexibles
auteur
Houssem Halalchi
article
Autre. Université de Strasbourg, 2012. Français. <NNT : 2012STRAD028>
typdoc
Theses
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00762367/file/Halalchi_Houssem_2012_ED269.pdf BibTex
titre
Une approche collaborative segmentation - classification pour l'analyse descendante d'images multirésolutions
auteur
Camille Kurtz
article
Autre [cs.OH]. Université de Strasbourg, 2012. Français. <NNT : 2012STRAD021>
typdoc
Theses
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00735217/file/Kurtz_Camille_2012_ED269.pdf BibTex
titre
Non-linear statistical models for shape analysis : application to brain imaging
auteur
Giorgos Sfikas
article
Human health and pathology. Université de Strasbourg, 2012. English. <NNT : 2012STRAD032>
typdoc
Theses
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00789793/file/Sfikas_Giorgos_2012_ED269.pdf BibTex
titre
Utilisation des données hyperspectrales du capteur IASI pour la restitution des paramètres thermo-optiques des surfaces terrestres
auteur
Nicolas Albalat
article
Sciences de la Terre. Université de Strasbourg, 2012. Français. <NNT : 2012STRAD013>
typdoc
Theses
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00747800/file/Albalat_Nicolas_2012_ED269.pdf BibTex
titre
Contributions à la segmentation des structures cérébrales en IRM foetale
auteur
Benoît Caldairou
article
Autre. Université de Strasbourg, 2012. Français. <NNT : 2012STRAD015>
typdoc
Theses
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00747860/file/caldairou_benoit_2012_ED269.pdf BibTex
titre
Indexing of HSQC spectra and FMRI images for biomarker identification
auteur
Akram Belghith
article
Other. Université de Strasbourg, 2012. English. <NNT : 2012STRAD001>
typdoc
Theses
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00712070/file/Belghith_Akram_2012_ED269.pdf BibTex

2011

Conference papers

titre
Une suite logicielle pour la protéomique interfacée sur une grille de calcul. Utilisation d'algorithmes libres pour l'identification MS/MS, le séquençage de novo et l'annotation fonctionnelle.
auteur
Christine Carapito, Jérôme Pansanel, Patrick Guterl, Alexandre Burel, Fabrice Bertile, Stéphane Genaud, Alain Van Dorsselaer, Christelle Roy
article
Rencontres Scientifiques France Grilles 2011, Sep 2011, Lyon, France
typdoc
Conference papers
audience
International
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00653016/file/Abstract_IPHC.pdf BibTex
titre
Cost-wait Trade-offs in Client-side Resource Provisioning with Elastic Clouds
auteur
Stéphane Genaud, Julien Gossa
article
4th IEEE International Conference on Cloud Computing (CLOUD 2011), Jul 2011, Washington, United States. 2011
typdoc
Conference papers
audience
International
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00588331/file/cloudSched.pdf BibTex
titre
Single Node On-Line Simulation of MPI Applications with SMPI
auteur
Pierre-Nicolas Clauss, Mark Stillwell, Stéphane Genaud, Frédéric Suter, Henri Casanova, Martin Quinson
article
International Parallel & Distributed Processing Symposium, May 2011, Anchorange (AK), United States. 2011
typdoc
Conference papers
audience
International
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00527150/file/RR-7426.pdf BibTex
titre
VMAD: a Virtual Machine for Advanced Dynamic Analysis of Programs
auteur
Alexandra Jimborean, Matthieu Herrmann, Vincent Loechner, Philippe Clauss
article
IEEE. IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS, Apr 2011, Austin, United States. 2011
typdoc
Conference papers
audience
International
Accès au bibtex
BibTex
titre
Efficient Memory Tracing by Program Skeletonization
auteur
Alain Ketterlin, Philippe Clauss
article
IEEE. IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS, Apr 2011, Austin, United States. 2011
typdoc
Conference papers
audience
International
Accès au bibtex
BibTex
titre
Adaptive Runtime Selection of Parallel Schedules in the Polytope Model
auteur
Benoit Pradelle, Philippe Clauss, Vincent Loechner
article
19th High Performance Computing Symposium - HPC 2011, Apr 2011, Boston, United States. ACM/SIGSIM, 2011
typdoc
Conference papers
audience
International
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00564311/file/papier.pdf BibTex
titre
Transparent Parallelization of Binary Code
auteur
Benoit Pradelle, Alain Ketterlin, Philippe Clauss
article
First International Workshop on Polyhedral Compilation Techniques, IMPACT 2011, in conjunction with CGO 2011, Apr 2011, Chamonix, France. 2011
typdoc
Conference papers
audience
International
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00572797/file/paper.pdf BibTex
titre
Handling Multi-Versioning in LLVM: Code Tracking and Cloning
auteur
Alexandra Jimborean, Vincent Loechner, Philippe Clauss
article
WIR 2011: Workshop on Intermediate Representations, in conjunction with CGO 2011, Apr 2011, Chamonix, France. 2011
typdoc
Conference papers
audience
International
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00572785/file/WIR.pdf BibTex
titre
Gestion des ressources de calcul : 4 points de vue
auteur
Romaric David, Yiannis Georgiou, Suzanne Poulat, Olivier Richard
article
Journées Réseaux, 2011, Toulouse, France. 2011, <https://2011.jres.org/archives/47/paper47_article.pdf>
typdoc
Conference papers
audience
National
Accès au bibtex
BibTex

Book sections

titre
Polyhedral Techniques for Parametric Memory Requirement Estimation
auteur
Philippe Clauss, Diego Garbervetsky, Vincent Loechner, Sven Verdoolaege
article
Balasa, F. and Pradhan, D. Energy-Aware Memory Management for Embedded Multimedia Systems: A Computer-Aided Design Approach, Taylor and Francis, 2011, Chapman & Hall/Crc Computer and Information Science, 9781439814000
typdoc
Book sections
audience
International
Accès au bibtex
BibTex

Reports

titre
Towards Scalable, Accurate, and Usable Simulations of Distributed Applications and Systems
auteur
Olivier Beaumont, Laurent Bobelin, Henri Casanova, Pierre-Nicolas Clauss, Bruno Donassolo, Lionel Eyraud-Dubois, Stéphane Genaud, Sascha Hunold, Arnaud Legrand, Martin Quinson, Cristian Rosa, Lucas Schnorr, Mark Stillwell, Frédéric Suter, Christophe Thiery, Pedro Velho, Jean-Marc Vincent, Young Won
article
[Research Report] RR-7761, INRIA. 2011, pp.36
typdoc
Reports
audience
Not specified
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00631141/file/RR-7761.pdf BibTex

Theses

titre
Static and Dynamic Methods of Polyhedral Compilation for an Efficient Execution in Multicore Environments
auteur
Benoit Pradelle
article
Hardware Architecture [cs.AR]. Université de Strasbourg, 2011. English
typdoc
Theses
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00733856/file/thesis_prefinal.pdf BibTex

2010

Journal articles

titre
Le patient virtuel au service de la chirurgie
auteur
Caroline Essert
article
Interstices, INRIA, 2010, <https://interstices.info/jcms/i_58396/le-patient-virtuel-au-service-de-la-chirurgie>
typdoc
Journal articles
audience
National
Accès au bibtex
BibTex

Conference papers

titre
Recovering the Memory Behavior of Executable Programs
auteur
Alain Ketterlin, Philippe Clauss
article
10th IEEE Working Conference on Source Code Analysis and Manipulation, SCAM, Sep 2010, Timisoara, Romania. IEEE Computer Society Press, 2010
typdoc
Conference papers
audience
International
Accès au bibtex
BibTex

Reports

titre
VMAD: a Virtual Machine for Advanced Dynamic Analysis of Programs
auteur
Alexandra Jimborean, Matthieu Herrmann, Vincent Loechner, Philippe Clauss
article
[Research Report] 2010, pp.10
typdoc
Reports
audience
International
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00534748/file/paper.pdf BibTex
titre
Integer Affine Transformations of Parametric Z-polytopes and Applications to Loop Nest Optimization
auteur
Rachid Seghir, Vincent Loechner, Benoit Meister
article
[Research Report] 2010, pp.30
typdoc
Reports
audience
Not specified
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00534686/file/rapport.pdf BibTex
titre
A Static-Dynamic Collaborative Framework for Nested Loops Instrumentation and Profiling
auteur
Alexandra Jimborean, Matthieu Herrmann, Vincent Loechner, Philippe Clauss
article
[Research Report] 2010, pp.8
typdoc
Reports
audience
Not specified
Accès au bibtex
BibTex

2009

Journal articles

titre
Fault management in P2P-MPI
auteur
Stéphane Genaud, Emmanuel Jeannot, Choopan Rattanapoka
article
International Journal of Parallel Programming, Springer Verlag, 2009, 37 (5), pp.433-461. <10.1007/s10766-009-0115-8>
typdoc
Journal articles
DOI
DOI : 10.1007/s10766-009-0115-8
audience
International
Accès au bibtex
BibTex
titre
A meta-predictor framework for prefetching in object-based DSMs
auteur
Jean Christophe Beyler, Michael Klemm, Philippe Clauss, Michael Philippsen
article
Concurrency and Computation: Practice and Experience, Wiley, 2009, 21 (14), pp.1789-1803. <10.1002/cpe.1443>
typdoc
Journal articles
DOI
DOI : 10.1002/cpe.1443
audience
International
Accès au bibtex
BibTex
titre
Symbolic polynomial maximization over convex sets and its application to memory requirement estimation
auteur
Philippe Clauss, Federico Javier Fernández, Diego Garbervetsky, Sven Verdoolaege
article
IEEE Transactions on Very Large Scale Integration (VLSI) Systems, IEEE, 2009, 17 (8), pp.983-996. <10.1109/TVLSI.2008.2002049>
typdoc
Journal articles
DOI
DOI : 10.1109/TVLSI.2008.2002049
audience
International
Accès au bibtex
BibTex

Conference papers

titre
Efficient Parallel Implementation of Evolutionary Algorithms on GPGPU Cards
auteur
Ogier Maître, Nicolas Lachiche, Philippe Clauss, Laurent Baumes, Avelino Corma, Pierre Collet
article
15th International Euro-Par Conference on Parallel Processing 2009, Aug 2009, Delft, Netherlands. Springer-Verlag, 5704, pp.974 - 985, 2009, Lecture Notes in Computer Science; Proceedings of the 15th International Euro-Par Conference on Parallel Processing. <10.1007/978-3-642-03869-3_89>
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-642-03869-3_89
audience
International
Accès au bibtex
BibTex
titre
Evaluation of Replication and Fault Detection in P2P-MPI
auteur
Stéphane Genaud, Choopan Rattanapoka
article
6th High Performance Grid Computing International Workshop in conjunction with International Parallel and Distributed Processing Symposium - IPDPS 2009, May 2009, Rome, Italy. IEEE CS, pp.1-8, 2009, 2009 IEEE International Symposium on Parallel&Distributed Processing. IPDPS 2009. <10.1109/IPDPS.2009.5160969>
typdoc
Conference papers
DOI
DOI : 10.1109/IPDPS.2009.5160969
audience
International
Accès au bibtex
BibTex

Book sections

titre
A Peer-to-Peer Framework for Message Passing Parallel Programs
auteur
Stéphane Genaud, Choopan Rattanapoka
article
Fatos Xhafa. Parallel Programming, Models and Applications in Grid and P2P Systems, 17, IOS Press, pp.118--147, 2009, Advances in Parallel Computing, 978-1-60750-004-9. <10.3233/978-1-60750-004-9-118>
typdoc
Book sections
DOI
DOI : 10.3233/978-1-60750-004-9-118
audience
International
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00425484/file/icps-2009-216.pdf BibTex

2008

Journal articles

titre
Exploitation of a Parallel Clustering Algorithm on Commodity Hardware with P2P-MPI
auteur
Stéphane Genaud, Pierre Gancarski, Guillaume Latu, Alexandre Blansche, Choopan Rattanapoka, Damien Vouriot
article
Journal of Supercomputing, Springer Verlag, 2008, 43 (1), pp.21--41. <10.1007/s11227-007-0136-2>
typdoc
Journal articles
DOI
DOI : 10.1007/s11227-007-0136-2
audience
International
Accès au bibtex
BibTex

Conference papers

titre
Automatic Prefetching with Binary Code Rewriting in Object-Based DSMs
auteur
Jean Christophe Beyler, Michael Klemm, Michael Philippsen, Philippe Clauss
article
14th international Euro-Par conference on Parallel Processing, Aug 2008, Las Palmas de Gran Canaria, Spain. Springer-Verlag, pp.643 - 653, 2008, <10.1007/978-3-540-85451-7_69>
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-540-85451-7_69
audience
International
Accès au bibtex
BibTex
titre
Large-Scale Experiment of Co-allocation Strategies for Peer-to-Peer SuperComputing in P2P-MPI
auteur
Stéphane Genaud, Choopan Rattanapoka
article
Fifth High-Performance Grid Computing Workshop in conjunction with 22nd IEEE International Parallel and Distributed Processing Symposium - IPDPS 2008, Apr 2008, Miami, United States. IEEE Computer Society, 2008
typdoc
Conference papers
audience
International
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00214137/file/PID558522.pdf BibTex
titre
Prediction and trace compression of data access addresses through nested loop recognition
auteur
Alain Ketterlin, Philippe Clauss
article
6th annual IEEE/ACM international symposium on Code generation and optimization, Apr 2008, Boston, United States. ACM, pp.94-103, 2008, Proceedings of the 6th annual IEEE/ACM international symposium on Code generation and optimization. <10.1145/1356058.1356071>
typdoc
Conference papers
DOI
DOI : 10.1145/1356058.1356071
audience
International
Accès au bibtex
BibTex
titre
A Note on the Performance Distribution of Affine Schedules
auteur
Louis-Noël Pouchet, Cédric Bastoul, John Cavazos, Albert Cohen
article
2\nd Workshop on Statistical and Machine learning approaches applied to ARchitectures and compilaTion (SMART), 2008, Gothenburg, Sweden. 2008
typdoc
Conference papers
audience
International
Accès au bibtex
BibTex
titre
Iterative Optimization in the Polyhedral Model: Part II, Multidimensional Time
auteur
Louis-Noël Pouchet, Cédric Bastoul, Albert Cohen, John Cavazos
article
ACM Conference on Programming Language Design and Implementation (PLDI), 2008, Tucson, Arizona, Unknown or Invalid Region. 2008
typdoc
Conference papers
audience
International
Accès au bibtex
BibTex

Theses

titre
P2P-MPI : A fault-tolerant Message Passing Interface Implementation for Grids
auteur
Choopan Rattanapoka
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Université Louis Pasteur - Strasbourg I, 2008. English
typdoc
Theses
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00724132/file/these_choopan.pdf BibTex

2007

Journal articles

titre
Analyse de Comparons nos langues
auteur
Dalie Chrifi Alaoui
article
Apprentissage des Langues et Systèmes d'Information et de Communication, 2007, 10 (2), <http://alsic.u-strasbg.fr/v10/chrifi/alsic_v10_09-log1.htm - http://alsic.u-strasbg.fr/v10/chrifi/alsic_v10_09-log1.pdf>
typdoc
Journal articles
audience
Not specified
Accès au texte intégral et bibtex
https://edutice.archives-ouvertes.fr/edutice-00156254/file/alsic_v10_09-log1.pdf BibTex
titre
Counting Integer Points in Parametric Polytopes using Barvinok's Rational Functions
auteur
Sven Verdoolaege, Rachid Seghir, Kristof Beyls, Vincent Loechner, Maurice Bruynooghe
article
Algorithmica, Springer Verlag, 2007, 48 (1), pp.37-66. <10.1007/s00453-006-1231-0>
typdoc
Journal articles
DOI
DOI : 10.1007/s00453-006-1231-0
audience
International
Accès au bibtex
BibTex
titre
P2P-MPI: A Peer-to-Peer Framework for Robust Execution of Message Passing Parallel Programs on Grids
auteur
Stéphane Genaud, Choopan Rattanapoka
article
Journal of Grid Computing, Springer Verlag, 2007, 5 (1), pp.27-42. <10.1007/s10723-006-9056-2>
typdoc
Journal articles
DOI
DOI : 10.1007/s10723-006-9056-2
audience
International
Accès au bibtex
BibTex

Conference papers

titre
Esodyp+: Prefetching in the Jackal Software DSM
auteur
Michael Klemm, Jean Christophe Beyler, Ronny T. Lampert, Michael Philippsen, Philippe Clauss
article
13th International Euro-Par Conference, Aug 2007, Rennes, France. Springer-Verlag, Proceedings of the 13th International Euro-Par Conference, pp.563-573, 2007, <10.1007/978-3-540-74466-5_60>
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-540-74466-5_60
audience
International
Accès au bibtex
BibTex
titre
Performance driven data cache prefetching in a dynamic software optimization system
auteur
Jean Christophe Beyler, Philippe Clauss
article
21st annual international conference on Supercomputing, Jun 2007, Seattle, United States. pp.202 - 209, 2007, Proceedings of the 21st annual international conference on Supercomputing. <10.1145/1274971.1275000>
typdoc
Conference papers
DOI
DOI : 10.1145/1274971.1275000
audience
International
Accès au bibtex
BibTex
titre
Fault management in P2P-MPI
auteur
Stéphane Genaud, Choopan Rattanapoka
article
C. Cérin and K.-C. Li. In proceedings of International Conference on Grid and Pervasive Computing, GPC'07, May 2007, Paris, France. Springer, 4459, 2007
typdoc
Conference papers
audience
International
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00529974/file/icps-2007-185.pdf BibTex
titre
Experiments in running a scientific MPI application on Grid'5000
auteur
Stéphane Genaud, Marc Grunberg, Catherine Mongenet
article
4th High Performance Grid Computing International Workshop, IPDPS conference proceedings, Mar 2007, Long-Beach, United States. IEEE, 2007
typdoc
Conference papers
audience
International
Accès au bibtex
BibTex

2006

Journal articles

titre
Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory Hierarchies
auteur
Sylvain Girbal, Nicolas Vasilache, Cédric Bastoul, Albert Cohen, David Parello, Marc Sigler, Olivier Temam
article
ijpp, 2006, 34 (3), pp.261--317
typdoc
Journal articles
audience
International
Accès au bibtex
BibTex
titre
Scheduling tasks sharing files on heterogeneous master-slave platforms
auteur
Arnaud Giersch, Yves Robert, Frédéric Vivien
article
Journal of Systems Architecture, Elsevier, 2006, 52 (2), pp.88-104. <10.1016/j.sysarc.2004.10.008>
typdoc
Journal articles
DOI
DOI : 10.1016/j.sysarc.2004.10.008
audience
International
Accès au bibtex
BibTex

Conference papers

titre
Violated Dependence Analysis
auteur
Nicolas Vasilache, Albert Cohen, Cédric Bastoul, Sylvain Girbal
article
ics # (ICS), 2006, Cairns, Australia. 2006
typdoc
Conference papers
audience
International
Accès au bibtex
BibTex
titre
Iterative Optimization in the Polyhedral Model: One-Dimensional Scheduling Case
auteur
Louis-Noël Pouchet, Cédric Bastoul, Albert Cohen
article
2\nd HiPEAC Industrial Workshop, 2006, Eindhoven, The, Netherlands. 2006
typdoc
Conference papers
audience
International
Accès au bibtex
BibTex
titre
GRAPHITE: Loop Optimizations Based on the Polyhedral Model for GCC
auteur
Sebastian Pop, Albert Cohen, Cédric Bastoul, Sylvain Girbal, Geogres-André Silber, Nicolas Vasilache
article
Proc. of the 4þ GCC Developper's Summit, 2006, Ottawa, Ontario, Unknown or Invalid Region. 2006
typdoc
Conference papers
audience
International
Accès au bibtex
BibTex

2005

Journal articles

titre
Calcul de rais en tomographie sismique : exploitation sur la grille
auteur
Stéphane Genaud, Marc Grunberg
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2005, 24 (5), pp.591--608. <10.3166/tsi.24.591-608>
typdoc
Journal articles
DOI
DOI : 10.3166/tsi.24.591-608
audience
National
Accès au bibtex
BibTex

2004

Journal articles

titre
Load-Balancing Scatter Operations for Grid Computing
auteur
Stéphane Genaud, Arnaud Giersch, Frédéric Vivien
article
Parallel Computing, Elsevier, 2004, 30 (8), pp.923--946. <10.1016/j.parco.2004.07.005>
typdoc
Journal articles
DOI
DOI : 10.1016/j.parco.2004.07.005
audience
International
Accès au bibtex
BibTex
titre
Seismic ray-tracing and Earth mesh modeling on various parallel architectures
auteur
Marc Grunberg, Stéphane Genaud, Catherine Mongenet
article
Journal of Supercomputing, Springer Verlag, 2004, 29 (1), pp.27--44. <10.1023/B:SUPE.0000022571.28175.e9>
typdoc
Journal articles
DOI
DOI : 10.1023/B:SUPE.0000022571.28175.e9
audience
International
Accès au bibtex
BibTex

Conference papers

titre
Parallel Adaptive Mesh Coarsening for Seismic Tomography
auteur
Marc Grunberg, Stéphane Genaud, Catherine Mongenet
article
SBAC-PAD 2004, 16th Symposium on Computer Architecture and High Performance Computing, Oct 2004, Foz do Iguaçu, Brazil. IEEE Computer Society Press, 2004, <10.1109/SBAC-PAD.2004.29>
typdoc
Conference papers
DOI
DOI : 10.1109/SBAC-PAD.2004.29
audience
International
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00504162/file/Mesh_coarsening_SBAC-PAD-04.pdf BibTex
titre
Scheduling tasks sharing files from distributed repositories
auteur
Arnaud Giersch, Yves Robert, Frédéric Vivien
article
Euro-Par-2004: International Conference on Parallel Processing, 2004, Unknown, Springer Verlag, pp.148-159, 2004, LNCS 3149
typdoc
Conference papers
audience
International
Accès au bibtex
BibTex
titre
Scheduling tasks sharing files on heterogeneous master-slave platforms
auteur
Arnaud Giersch, Yves Robert, Frédéric Vivien
article
PDP'2004, 12th Euromicro Workshop on Parallel, Distributed and Network-based Processing, 2004, Unknown, IEEE Computer Society Press, pp.364-371, 2004
typdoc
Conference papers
audience
International
Accès au bibtex
BibTex

Theses

titre
Ordonnancement sur plates-formes hétérogènes de tâches partageant des données
auteur
Arnaud Giersch
article
Réseaux et télécommunications [cs.NI]. Université Louis Pasteur - Strasbourg I, 2004. Français
typdoc
Theses
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00008222/file/tel-000082221.pdf BibTex

2002

Journal articles

titre
Precise data locality optimization of nested loops
auteur
Vincent Loechner, Benoit Meister, Philippe Clauss
article
Journal of Supercomputing, Springer Verlag, 2002, 21 (1), pp.37-76. <10.1023/A:1013535431127>
typdoc
Journal articles
DOI
DOI : 10.1023/A:1013535431127
audience
International
Accès au bibtex
BibTex
titre
Constructing and Exploiting Linear Schedules with Prescribed Parallelism
auteur
Alain Darte, Rob Schreiber, B. Ramakrishna Rau, Frédéric Vivien
article
ACM transactions on Design Automation of Electronic Systems, ACM, 2002, 7 (1), pp.159-172
typdoc
Journal articles
audience
International
Accès au bibtex
BibTex

Conference papers

titre
Source-code Transformations Strategies to Load-balance Grid Applications
auteur
Romaric David, Stéphane Genaud, Arnaud Giersch, Éric Violard, Benjamin Schwarz
article
Grid Computing - GRID'2002, Nov 2002, Baltimore, United States. Springer-Verlag, 2536, pp.82--87, 2002, LNCS
typdoc
Conference papers
audience
International
Accès au bibtex
BibTex
titre
On the Optimality of Feautrier's Scheduling Algorithm
auteur
Frédéric Vivien
article
Proceedings of Euro-Par 2002, 2002, Unknown, Springer-Verlag, 2400, pp.299-308, 2002, LNCS
typdoc
Conference papers
audience
International
Accès au bibtex
BibTex

2001

Journal articles

titre
Different effects of lorazepam and diazepam on perceptual integration.
auteur
T. Beckers, J. Wagemans, M. Boucart, Arnaud Giersch
article
Vision Research, Elsevier, 2001, 41 (17), pp.2297-303
typdoc
Journal articles
audience
International
Accès au bibtex
BibTex
titre
Effects of lorazepam on vision and oculomotor balance.
auteur
C. Speeg-Schatz, Arnaud Giersch, M. Boucart, S. Gottenkiene, M. Tondre, F. Kauffmann-Muller, J. M. Danion
article
Binocular Vision and Strabismus Quarterly, Binoculars Publishing; 1999, 2001, 16 (2), pp.99-104
typdoc
Journal articles
audience
International
Accès au bibtex
BibTex

Conference papers

titre
A Unified Framework for Schedule and Storage Optimization
auteur
William Thies, Frédéric Vivien, Jeffrey Sheldon, Saman Amarasinghe
article
Proceedings of the ACM SIGPLAN'01 conference on Programming Language Design and Implementation (PLDI), 2001, Snowbird, UT, United States. pp.232--242, 2001
typdoc
Conference papers
audience
International
Accès au bibtex
BibTex
titre
Loop parallelization algorithms
auteur
Alain Darte, Yves Robert, Frédéric Vivien
article
Compiler Optimizations for Scalable Parallel Systems: Languages, Compilation Techniques and Run Time Systems, 2001, Unknown, Springer Verlag, pp.141-171, 2001, LNCS 1808
typdoc
Conference papers
audience
International
Accès au bibtex
BibTex
titre
Incrementalized Pointer and Escape Analysis
auteur
Frédéric Vivien, Martin Rinard
article
Proceedings of the ACM SIGPLAN'01 conference on Programming Language Design and Implementation (PLDI), 2001, Snowbird, UT, United States. pp.35--46, 2001
typdoc
Conference papers
audience
International
Accès au bibtex
BibTex

2000

Conference papers

titre
Scheduling the Computations of a Loop Nest with Respect to a Given Mapping
auteur
Alain Darte, Claude Diderich, Marc Gengler, Frédéric Vivien
article
Proceedings of Euro-Par 2000, 2000, Munich, Germany. 1900, pp.405--414, 2000, LNCS
typdoc
Conference papers
audience
International
Accès au bibtex
BibTex
titre
A Constructive Solution to the Juggling Problem in Processor Array Synthesis
auteur
Alain Darte, Robert Schreiber, B. Ramakrishna Rau, Frédéric Vivien
article
Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS 2000), 2000, Cancun, Mexico. 2000
typdoc
Conference papers
audience
International
Accès au bibtex
BibTex

Books

titre
Scheduling and Automatic Parallelization
auteur
Alain Darte, Yves Robert, Frédéric Vivien
article
Birkhaüser, pp.264, 2000
typdoc
Books
audience
International
Accès au bibtex
BibTex

1999

Reports

titre
A Constructive Solution to the Juggling Problem in Systolic Array Synthesis
auteur
Alain Darte, Robert Schreiber, B. R. Rau, Frédéric Vivien
article
[Research Report] RR1999-15, 1999
typdoc
Reports
audience
Not specified
Accès au bibtex
BibTex

1998

Journal articles

titre
Parametric Analysis of Polyhedral Iteration Spaces
auteur
Philippe Clauss, Vincent Loechner
article
Journal of VLSI Signal Processing / J VLSI Sign Process Syst Sign Image Video Technol, Kluwer Academic Publishers, 1998, 19 (2), pp.179-194. <10.1023/A:1008069920230>
typdoc
Journal articles
DOI
DOI : 10.1023/A:1008069920230
audience
International
Accès au bibtex
BibTex
titre
Retiming DAGs
auteur
Pierre-Yves Calland, Anne Mignotte, Olivier Peyran, Yves Robert, Frédéric Vivien
article
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE, 1998, 17 (12), pp.1319-1325
typdoc
Journal articles
audience
International
Accès au bibtex
BibTex
titre
On the removal of anti- and output-dependences
auteur
Pierre-Yves Calland, Alain Darte, Yves Robert, Frédéric Vivien
article
International Journal of Parallel Programming, Springer Verlag, 1998, 26 (3), pp.285-312. <10.1023/A:1018790129478>
typdoc
Journal articles
DOI
DOI : 10.1023/A:1018790129478
audience
International
Accès au bibtex
BibTex

1997

Journal articles

titre
Parameterized Polyhedra and Their Vertices
auteur
Vincent Loechner, Doran Wilde
article
International Journal of Parallel Programming, Springer Verlag, 1997, 25 (6), pp.525-549. <10.1023/A:1025117523902>
typdoc
Journal articles
DOI
DOI : 10.1023/A:1025117523902
audience
International
Accès au bibtex
BibTex

Conference papers

titre
Reliable boolean operations on polyhedral solids thanks to a 3D refinement
auteur
David Cazier, Jean-François Dufourd
article
Winter School on Computer Graphics, 1997, Unknown, Unknown or Invalid Region. pp.40--49, 1997
typdoc
Conference papers
audience
International
Accès au bibtex
BibTex
titre
Term rewrite systems to derive set boolean operations on 2D-objects
auteur
David Cazier, Jean-François Dufourd
article
Formal Methods Europe, 1997, Unknown, Unknown or Invalid Region. Springer Verlag, 1313, pp.605--623, 1997, Lecture Notes in Computer Science
typdoc
Conference papers
audience
International
Accès au bibtex
BibTex

1996

Journal articles

titre
Lorazepam impairs perceptual integration of visual forms: a central effect.
auteur
Arnaud Giersch, M. Boucart, C. Speeg-Schatz, F. Muller-Kauffmann, J. M. Danion
article
Psychopharmacologia / Psychopharmacologia (Berl ); Psychopharmacologia (Berlin); Psychopharmacologia (Berl); Psychopharmacologica, 1996, 126 (3), pp.260-70
typdoc
Journal articles
audience
International
Accès au bibtex
BibTex

Conference papers

titre
Rewriting-based derivation of efficient algorithms to build planar subdivisions
auteur
David Cazier, Jean-François Dufourd
article
Spring Conference on Computer Graphics, 1996, Unknown, Unknown or Invalid Region. 1996
typdoc
Conference papers
audience
International
Accès au bibtex
BibTex

1995

Journal articles

titre
Effects of lorazepam on perceptual integration of visual forms in healthy volunteers.
auteur
Arnaud Giersch, M. Boucart, J. M. Danion, P. Vidailhet, F. Legrand
article
Psychopharmacologia / Psychopharmacologia (Berl ); Psychopharmacologia (Berlin); Psychopharmacologia (Berl); Psychopharmacologica, 1995, 119 (1), pp.105-14
typdoc
Journal articles
audience
International
Accès au bibtex
BibTex

1994

Journal articles

titre
The computation of contour information in complex objects.
auteur
M. Boucart, S. Delord, Arnaud Giersch
article
Perception, SAGE Publications, 1994, 23 (4), pp.399-409
typdoc
Journal articles
audience
International
Accès au bibtex
BibTex