2024
Journal articles
-
- titre
- Framework of Operations, Administration, and Maintenance (OAM) for Deterministic Networking (DetNet)
- auteur
- Janos Farkas, Greg Mirsky, Fabrice Theoleyre, Georgios Papadopoulos, Carlos J. Bernardos, Balazs Varga
- article
- Requests for comments (RFC), 2024, RFC series, RFC 9551
- typdoc
- Journal articles
- audience
- Not specified
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Multi-Scale Component-Tree: An Hierarchical Representation of Sparse Objects
- auteur
- Romain Perrin, Aurelie Leborgne, Nicolas Passat, Benoit Naegel, Cédric Wemmert
- article
- International Conference on Discrete Geometry and Mathematical Morphology (DGMM), Florence, Italy, avril 2024, Apr 2024, Florence, Italy
- typdoc
- Conference papers
- audience
- Not specified
- Accès au bibtex
-
-
- titre
- Algebraic Tiling facing Loop Skewing
- auteur
- Clément Rossetti, Alexis Hamon, Philippe Clauss
- article
- IMPACT 2024, 14th International Workshop on Polyhedral Compilation Techniques, Jan 2024, Munich (Allemagne), Germany
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Guided Equality Saturation
- auteur
- Thomas Koehler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer
- article
- 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024), Jan 2024, London, United Kingdom. ⟨10.1145/3632900⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1145/3632900
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Source-to-Source Optimizations Validated using Separation Logic
- auteur
- Guillaume Bertholon, Arthur Charguéraud, Thomas Koehler
- article
- 35es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024, Saint-Jacut-de-la-Mer, France
- typdoc
- Conference papers
- audience
- National
- Accès au texte intégral et bibtex
-
Reports
-
- titre
- Guix-HPC Activity Report 2022–2023
- auteur
- Céline Acary-Robert, Emmanuel Agullo, Ludovic Courtès, Marek Felšöci, Konrad Hinsen, Arun Isaac, Ontje Lünsdorf, Pjotr Prins, Simon Tournier, Philippe Virouleau, Ricardo Wurmus
- article
- Inria Bordeaux - Sud Ouest. 2024, pp.1-32
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
-
- titre
- Generalizing the SINDy approach with nested neural networks
- auteur
- Camilla Fiorini, Clément Flint, Louis Fostier, Emmanuel Franck, Reyhaneh Hashemi, Victor Michel-Dansac, Wassim Tenachi
- article
- 2024
- typdoc
- Preprints, Working Papers, ...
- Accès au texte intégral et bibtex
-
-
- titre
- Dynamic Tasks Scheduling with Multiple Priorities on Heterogeneous Computing Systems
- auteur
- Hayfa Tayeb, Bérenger Bramas, Mathieu Faverge, Abdou Guermouche
- article
- 2024
- typdoc
- Preprints, Working Papers, ...
- Accès au texte intégral et bibtex
-
2023
Journal articles
-
- titre
- Autovesk: Automatic vectorized code generation from unstructured static kernels using graph transformations
- auteur
- Hayfa Tayeb, Ludovic Paillat, Bérenger Bramas
- article
- ACM Transactions on Architecture and Code Optimization, 2023, ⟨10.1145/3631709⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1145/3631709
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Omnisemantics: Smooth Handling of Nondeterminism
- auteur
- Arthur Charguéraud, Adam Chlipala, Andres Erbsen, Samuel Gruetter
- article
- ACM Transactions on Programming Languages and Systems (TOPLAS), 2023, 45 (1), pp.1-43. ⟨10.1145/3579834⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1145/3579834
- audience
- International
- Accès au texte intégral et bibtex
-
- titre
- Reliable and Available Wireless (RAW) Use Cases
- auteur
- Carlos J. Bernardos, Georgios Papadopoulos, Pascal Thubert, Fabrice Theoleyre
- article
- Requests for comments (RFC), 2023, RFC series, RFC 9450
- typdoc
- Journal articles
- audience
- Not specified
- Accès au bibtex
-
-
- titre
- A High-Level Separation Logic for Heap Space under Garbage Collection (Extended Version)
- auteur
- Alexandre Moine, Arthur Charguéraud, François Pottier
- article
- Proceedings of the ACM on Programming Languages, 2023, 7 (POPL), pp.718-747. ⟨10.1145/3571218⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1145/3571218
- audience
- International
- Accès au texte intégral et bibtex
-
Conference papers
-
- titre
- GPU Code Generation of Cardiac Electrophysiology Simulation with MLIR
- auteur
- Tiago Trevisan Jost, Arun Thangamani, Raphaël Colin, Vincent Loechner, Stéphane Genaud, Bérenger Bramas
- article
- Euro-Par 2023: Parallel Processing, Aug 2023, Limassol, Cyprus. pp.549-563, ⟨10.1007/978-3-031-39698-4_37⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/978-3-031-39698-4_37
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Extending the Task Dataflow Model with Speculative Data Accesses
- auteur
- Anastasios Souris, Bérenger Bramas, Philippe Clauss
- article
- COMPAS 2023 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jul 2023, Annecy (France), France
- typdoc
- Conference papers
- audience
- National
- Accès au texte intégral et bibtex
-
- titre
- Vers un solveur direct à base de tâches pour des systèmes linéaires FEM/BEM creux/denses
- auteur
- Emmanuel Agullo, Alfredo Buttari, Marek Felšöci, Guillaume Sylvand
- article
- ComPAS 2023 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, LISTIC : Laboratoire d’Informatique, Systèmes, Traitement de l’Information et de la Connaissance, de l’Université Savoie Mont Blanc., Jul 2023, Annecy, France
- typdoc
- Conference papers
- audience
- National
- Accès au bibtex
-
-
- titre
- Lifting Code Generation of Cardiac Physiology Simulation to Novel Compiler Technology
- auteur
- Arun Thangamani, Tiago Trevisan, Vincent Loechner, Stephane Genaud, Bérenger Bramas
- article
- 21st ACM/IEEE International Symposium on Code Generation and Optimization (CGO ’23), ACM, Feb 2023, Montréal Québec, Canada. pp.13, ⟨10.1145/3579990.3580008⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1145/3579990.3580008
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- An AST for Representing Programs with Invariants and Proofs
- auteur
- Guillaume Bertholon, Arthur Charguéraud
- article
- JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.43-58
- typdoc
- Conference papers
- audience
- National
- Accès au texte intégral et bibtex
-
-
- titre
- PolyLingual: a Programmable Polyhedral Scheduler
- auteur
- Tom Hammer, Vincent Loechner
- article
- IMPACT 2023, Jan 2023, Toulouse (31000), France
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Superloop Scheduling: Loop Optimization via Direct Statement Instance Reordering
- auteur
- Cédric Bastoul, Alain Ketterlin, Vincent Loechner
- article
- IMPACT 2023, Jan 2023, Toulouse, France
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Algebraic Tiling
- auteur
- Clément Rossetti, Philippe Clauss
- article
- IMPACT 2023, 13th International Workshop on Polyhedral Compilation Techniques, Jan 2023, Toulouse, France
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
Habilitation à diriger des recherches
-
- titre
- A Modern Eye on Separation Logic for Sequential Programs
- auteur
- Arthur Charguéraud
- article
- Computer Science [cs]. Université de Strasbourg, 2023
- typdoc
- Habilitation à diriger des recherches
- Accès au texte intégral et bibtex
-
Reports
- titre
- The future of imaginary types
- auteur
- Jens Gustedt
- article
- N3206, ISO JCT1/SC22/WG14. 2023
- typdoc
- Reports
- Accès au bibtex
-
- titre
- Clarify array length specifications and sizeof expressions
- auteur
- Jens Gustedt, Martin Uecker
- article
- N3187, ISO JCT1/SC22/WG14. 2023
- typdoc
- Reports
- Accès au bibtex
-
- titre
- Simple TU initialization and cleanup handling with dependencies
- auteur
- Jens Gustedt
- article
- N3185, ISO JCT1/SC22/WG14. 2023
- typdoc
- Reports
- Accès au bibtex
-
- titre
- Initialization, allocation and effective type
- auteur
- Jens Gustedt, Martin Uecker
- article
- N3186, ISO JCT1/SC22/WG14. 2023
- typdoc
- Reports
- Accès au bibtex
-
- titre
- Identifying array length state
- auteur
- Jens Gustedt, Martin Uecker
- article
- ISO JCT1/SC22/WG14. 2023
- typdoc
- Reports
- Accès au bibtex
-
- titre
- Extensions to the preprocessor for C2Y
- auteur
- Jens Gustedt
- article
- N3190, ISO JCT1/SC22/WG14. 2023
- typdoc
- Reports
- Accès au bibtex
-
- titre
- Some constants are literally literals
- auteur
- Jens Gustedt
- article
- N3189, ISO JCT1/SC22/WG14. 2023
- typdoc
- Reports
- Accès au bibtex
-
-
- titre
- Parameter Forward Declarations
- auteur
- Martin Uecker, Jens Gustedt
- article
- N3140, ISO JCT1/SC22/WG14. 2023, pp.3
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
-
- titre
- SPC5: an efficient SpMV framework vectorized using ARM SVE and x86 AVX-512
- auteur
- Evann Regnault, Bérenger Bramas
- article
- 2023
- typdoc
- Preprints, Working Papers, ...
- DOI
- DOI : 10.48550/arXiv.2307.14774
- Accès au texte intégral et bibtex
-
-
- titre
- Reducing the memory usage of Lattice-Boltzmann schemes with a DWT-based compression
- auteur
- Clément Flint, Philippe Helluy
- article
- 2023
- typdoc
- Preprints, Working Papers, ...
- DOI
- DOI : 10.48550/arXiv.2302.09883
- Accès au texte intégral et bibtex
-
-
- titre
- A Provenance-aware memory object model for C (slides)
- auteur
- Jens Gustedt
- article
- 2023
- typdoc
- Preprints, Working Papers, ...
- Accès au texte intégral et bibtex
-
2022
Journal articles
-
- titre
- Parallel kinetic scheme in complex toroidal geometry
- auteur
- Matthieu Boileau, Bérenger Bramas, Emmanuel Franck, Romane Hélie, Philippe Helluy, Laurent Navoret
- article
- SMAI Journal of Computational Mathematics, 2022, pp.249-271. ⟨10.5802/smai-jcm.86⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.5802/smai-jcm.86
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Towards EXtreme scale technologies and accelerators for euROhpc hw/Sw supercomputing applications for exascale: The TEXTAROSSA approach
- auteur
- Giovanni Agosta, Marco Aldinucci, Carlos Alvarez, Roberto Ammendola, Yasir Arfat, Olivier Beaumont, Massimo Bernaschi, Andrea Biagioni, Tommaso Boccali, Bérenger Bramas, Carlo Brandolese, Barbara Cantalupo, Mauro Carrozzo, Daniele Cattaneo, Alessandro Celestini, Massimo Celino, Iacopo Colonnelli, Paolo Cretaro, Pasqua D’ambra, Marco Danelutto, Roberto Esposito, Lionel Eyraud-Dubois, Antonio Filgueras, William Fornaciari, Ottorino Frezza, Andrea Galimberti, Francesco Giacomini, Brice Goglin, Daniele Gregori, Abdou Guermouche, Francesco Iannone, Michal Kulczewski, Francesca Lo Cicero, Alessandro Lonardo, Alberto Martinelli, Michele Martinelli, Xavier Martorell, Giuseppe Massari, Simone Montangero, Gianluca Mittone, Raymond Namyst, Ariel Oleksiak, Paolo Palazzari, Pier Stanislao Paolucci, Federico Reghenzani, Cristian Rossi, Sergio Saponara, Francesco Simula, Federico Terraneo, Samuel Thibault, Massimo Torquati, Matteo Turisini, Piero Vicini, Miquel Vidal, Davide Zoni, Giuseppe Zummo
- article
- Microprocessors and Microsystems: Embedded Hardware Design , 2022, 95, pp.104679. ⟨10.1016/j.micpro.2022.104679⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1016/j.micpro.2022.104679
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Automated prioritizing heuristics for parallel task graph scheduling in heterogeneous computing
- auteur
- Clément Flint, Bérenger Bramas, Ludovic Paillat
- article
- PeerJ Computer Science, 2022, 8, pp.e969. ⟨10.7717/peerj-cs.969⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.7717/peerj-cs.969
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- An efficient particle tracking algorithm for large-scale parallel pseudo-spectral simulations of turbulence
- auteur
- Cristian Lalescu, Bérenger Bramas, Markus Rampp, Michael Wilczek
- article
- Computer Physics Communications, 2022, 278, pp.108406. ⟨10.1016/j.cpc.2022.108406⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1016/j.cpc.2022.108406
- audience
- International
- Accès au texte intégral et bibtex
-
Conference papers
-
- titre
- MulTreePrio: Scheduling task-based applications for heterogeneous computing systems
- auteur
- Hayfa Tayeb, Bérenger Bramas, Abdou Guermouche, Mathieu Faverge
- article
- COMPAS 2022 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jul 2022, Amiens, France
- typdoc
- Conference papers
- audience
- National
- Accès au texte intégral et bibtex
-
-
- titre
- Parallelization of the Lattice-Boltzmann schemes using the task-based method
- auteur
- Clément Flint, Bérenger Bramas, Stephane Genaud, Philippe Helluy
- article
- COMPAS 2022 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jul 2022, Amiens, France
- typdoc
- Conference papers
- audience
- National
- Accès au texte intégral et bibtex
-
-
- titre
- Émergence d'un leadership distribué pour la construction d'un enseignement
- auteur
- Basile Sauvage, Stéphane Genaud, Arash Habibi, Vincent Loechner, Pierre-Olivier Simonard
- article
- AIPU22 - 32ème Congrès de l'Association Internationale de Pédagogie Universitaire, May 2022, Rennes, France
- typdoc
- Conference papers
- audience
- National
- Accès au texte intégral et bibtex
-
-
- titre
- Specification and Verification of a Transient Stack
- auteur
- Alexandre Moine, Arthur Charguéraud, François Pottier
- article
- CPP 2022 - 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2022, Philadelphia, United States. ⟨10.1145/3497775.3503677⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1145/3497775.3503677
- audience
- International
- Accès au texte intégral et bibtex
-
Books
- titre
- A Provenance-aware Memory Object Model for C
- auteur
- Jens Gustedt, Peter Sewell, Kayvan Memarian, Victor B F Gomes, Martin Uecker
- article
- ISO/IEC TC1/SC22/WG14, pp.131, 2022
- typdoc
- Books
- audience
- International
- Accès au bibtex
-
Reports
- titre
- Introduce the nullptr constant
- auteur
- Jens Gustedt, JeanHeyd Meneide
- article
- [Research Report] N3042, ISO JTC1/SC22/WG14. 2022
- typdoc
- Reports
- Accès au bibtex
-
- titre
- Introduce storage-class specifiers for compound literals
- auteur
- Alex Gilding, Jens Gustedt
- article
- [Research Report] N3038, ISO JCT1/SC22/WG14. 2022
- typdoc
- Reports
- Accès au bibtex
-
-
- titre
- Specx: a C++ task-based runtime system for heterogeneous distributed architectures
- auteur
- Paul Cardosi, Bérenger Bramas
- article
- inria. 2022
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
- titre
- Primary expressions and constant expressions, clarification request
- auteur
- Jens Gustedt
- article
- [Research Report] ISO JTC1/SC22/WG14. 2022
- typdoc
- Reports
- Accès au bibtex
-
- titre
- Underspecified object declarations
- auteur
- Alex Gilding, Jens Gustedt
- article
- [Research Report] N3006, ISO JCT1/SC22/WG14. 2022
- typdoc
- Reports
- Accès au bibtex
-
- titre
- Type inference for object definitions
- auteur
- Alex Gilding, Jens Gustedt
- article
- [Research Report] N3007, ISO JCT1/SC22/WG14. 2022
- typdoc
- Reports
- Accès au bibtex
-
- titre
- The constexpr specifier for object definitions
- auteur
- Alex Gilding, Jens Gustedt
- article
- [Research Report] N3018, ISO JCT1/SC22/WG14. 2022
- typdoc
- Reports
- Accès au bibtex
-
-
- titre
- Add new optional time bases
- auteur
- Jens Gustedt
- article
- [Research Report] N2957, ISO JCT1/SC22/WG14. 2022
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
- titre
- Unsequenced functions
- auteur
- Étienne Alepins, Jens Gustedt
- article
- [Research Report] Inria Nancy - Grand Est. 2022, pp.11
- typdoc
- Reports
- Accès au bibtex
-
-
- titre
- Properly define blocks as part of the grammar
- auteur
- Jens Gustedt, Martin Uecker
- article
- [Research Report] N2937, ISO JCT1/SC22/WG14. 2022, pp.3
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
-
- titre
- Revise spelling of keywords
- auteur
- Jens Gustedt
- article
- [Research Report] N2934, ISO JTC1/SC22/WG14. 2022
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
-
- titre
- Make false and true first-class language features
- auteur
- Jens Gustedt
- article
- [Research Report] N2935, ISO JTC1/SC22/WG14. 2022
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
-
- titre
- Type-generic lambdas
- auteur
- Jens Gustedt
- article
- [Research Report] N2924, ISO JCT1/SC22/WG14. 2022, pp.14
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
-
- titre
- Type inference for variable definitions and function returns
- auteur
- Jens Gustedt
- article
- [Research Report] N2923, ISO JCT1/SC22/WG14. 2022, pp.22
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
- titre
- Pointers and integer types
- auteur
- Jens Gustedt
- article
- [Research Report] N2889, ISO JCT1/SC22/WG14. 2022
- typdoc
- Reports
- Accès au bibtex
-
- titre
- Require exact-width integer type interfaces
- auteur
- Jens Gustedt
- article
- [Research Report] N2888, ISO JTC1/SC22/WG14. 2022
- typdoc
- Reports
- Accès au bibtex
-
-
- titre
- Improve type generic programming
- auteur
- Jens Gustedt
- article
- [Technical Report] N2890, ISO JCT1/SC22/WG14. 2022, pp.82
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
-
- titre
- Basic lambdas for C
- auteur
- Jens Gustedt
- article
- N2892, ISO JCT1/SC22/WG14. 2022, pp.52
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
- titre
- Remove ATOMIC VAR INIT
- auteur
- Jens Gustedt
- article
- [Research Report] N2886, ISO JTC1/SC22/WG14. 2022
- typdoc
- Reports
- Accès au bibtex
-
Preprints, Working Papers, ...
-
- titre
- OptiTrust: an Interactive Framework for Source-to-Source Transformations
- auteur
- Arthur Charguéraud, Begatim Bytyqi, Damien Rouhling, Yann A Barsamian
- article
- 2022
- typdoc
- Preprints, Working Papers, ...
- Accès au texte intégral et bibtex
-
-
- titre
- Improve type generic programming (slides)
- auteur
- Jens Gustedt
- article
- 2022
- typdoc
- Preprints, Working Papers, ...
- Accès au texte intégral et bibtex
-
-
- titre
- Type inference for variables and functions (slides)
- auteur
- Jens Gustedt
- article
- 2022
- typdoc
- Preprints, Working Papers, ...
- Accès au texte intégral et bibtex
-
-
- titre
- Options for lambdas
- auteur
- Jens Gustedt
- article
- 2022
- typdoc
- Preprints, Working Papers, ...
- Accès au texte intégral et bibtex
-
2021
Journal articles
-
- titre
- A fast vectorized sorting implementation based on the ARM scalable vector extension (SVE)
- auteur
- Bérenger Bramas
- article
- PeerJ Computer Science, 2021, ⟨10.7717/peerj-cs.769⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.7717/peerj-cs.769
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Efficient Out-of-core and Out-of-place Rectangular Matrix Transposition and Rotation
- auteur
- Paul Godard, Vincent Loechner, Cédric Bastoul
- article
- IEEE Transactions on Computers, 2021, 70 (11), pp.7. ⟨10.1109/TC.2020.3030592⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1109/TC.2020.3030592
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Shape- and scale-dependent coupling between spheroids and velocity gradients in turbulence
- auteur
- Nimish Pujara, José-Agustín Arguedas-Leiva, Cristian C Lalescu, Bérenger Bramas, Michael Wilczek
- article
- Journal of Fluid Mechanics, 2021, 922, ⟨10.1017/jfm.2021.543⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1017/jfm.2021.543
- audience
- International
- Accès au texte intégral et bibtex
-
Conference papers
-
- titre
- TEXTAROSSA: Towards EXtreme scale Technologies and Accelerators for euROhpc hw/Sw Supercomputing Applications for exascale
- auteur
- Giovanni Agosta, Daniele Cattaneo, William Fornaciari, Andrea Galimberti, Giuseppe Massari, Federico Reghenzani, Federico Terraneo, Davide Zoni, Carlo Brandolese, Massimo Celino, Francesco Iannone, Paolo Palazzari, Giuseppe Zummo, Massimo Bernaschi, Pasqua d'Ambra, Sergio Saporana, Marco Danelutto, Massimo Torquati, Marco Aldinucci, Yasir Arfat, Barbara Cantalupo, Iacopo Colonnelli, Roberto Esposito, Alberto Riccardo Martinelli, Gianluca Mittone, Olivier Beaumont, Bérenger Bramas, Lionel Eyraud-Dubois, Brice Goglin, Abdou Guermouche, Raymond Namyst, Samuel Thibault, Antonio Filgueras, Miquel Vidal, Carlos Alvarez, Xavier Martorell, Ariel Oleksiak, Ottorino Frezza, Michal Kulczewski, Alessandro Lonardo, Piero Vicini, Francesca Lo Cicero, Francesca Simula, Andrea Biagioni, Paolo Cretaro, Pier Stanislao Paolucci, Matteo Turisini, Francesco Giacomini, Tommaso Boccali, Simone Montangero, Roberto Ammendola
- article
- DSD 2021 - 24th Euromicro Conference on Digital System Design, Sep 2021, Palermo / Virtual, Italy
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- C language mechanism for error handling and deferred cleanup
- auteur
- Jens Gustedt, Robert C Seacord
- article
- SAC 2021 - 36th ACM/SIGAPP Symposium on Applied Computing, Mar 2021, Virtual, South Korea. ⟨10.1145/3412841.3442116⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1145/3412841.3442116
- audience
- International
- Accès au texte intégral et bibtex
-
Books
- titre
- A Common C/C++ Core Specification
- auteur
- Jens Gustedt
- article
- ISO TC1/SC22/WG14, pp.629, 2021
- typdoc
- Books
- audience
- International
- Accès au bibtex
-
Reports
- titre
- A simple defer feature for C
- auteur
- Jens Gustedt, Robert C Seacord
- article
- [Research Report] N2895, ISO JTC1/SC22/WG14. 2021
- typdoc
- Reports
- Accès au bibtex
-
- titre
- Wide Function Pointer Types for Pairing Code and Data
- auteur
- Martin Uecker, Jens Gustedt
- article
- [Research Report] 2787, ISO JCT1/SC22/WG14. 2021
- typdoc
- Reports
- Accès au bibtex
-
- titre
- Types and sizes
- auteur
- Jens Gustedt
- article
- [Research Report] 2838, ISO JTC1/SC22/WG14. 2021
- typdoc
- Reports
- Accès au bibtex
-
- titre
- Identifier Syntax using Unicode Standard Annex 31
- auteur
- Robert C Seacord, Steve Downey, Jens Gustedt, Peter Bindels
- article
- [Research Report] 2836, ISO JCT1/SC22/WG14. 2021, pp.18
- typdoc
- Reports
- Accès au bibtex
-
-
- titre
- Make call_once mandatory
- auteur
- Jens Gustedt
- article
- [Research Report] 2840, ISO JCT1/SC22/WG14. 2021
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
-
- titre
- Only reserve names of optional functions if necessary
- auteur
- Jens Gustedt
- article
- [Research Report] 2839, ISO JCT1/SC22/WG14. 2021
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
-
- titre
- Disambiguate the storage class of some compound literals
- auteur
- Jens Gustedt, Martin Uecker
- article
- [Research Report] 2819, ISO JCT1/SC22/WG14. 2021, pp.2
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
-
- titre
- Add annotations for unreachable control flow
- auteur
- Jens Gustedt
- article
- [Research Report] 2826, ISO JCT1/SC22/WG14. 2021, pp.10
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
- titre
- Indeterminate Values and Trap Representations
- auteur
- Martin Uecker, Jens Gustedt
- article
- [Research Report] 2772, ISO TC1/SC22/WG14. 2021, pp.11
- typdoc
- Reports
- Accès au bibtex
-
-
- titre
- Enforce storage stability
- auteur
- Jens Gustedt
- article
- [Research Report] 2756, ISO JCT1/SC22/WG14. 2021, pp.8
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
-
- titre
- Lvalue closures
- auteur
- Jens Gustedt
- article
- [Research Report] N2737, ISO JCT1/SC22/WG14. 2021, pp.12
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
-
- titre
- Function literals and value closures
- auteur
- Jens Gustedt
- article
- [Technical Report] N2736, ISO JCT1/SC22/WG14. 2021, pp.55
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
Theses
-
- titre
- Speculative Rewriting of Recursive Programs as Loop Candidates for Efficient Parallelization and Optimization Using an Inspector-Executor Mechanism
- auteur
- Salwa Kobeissi
- article
- Computation and Language [cs.CL]. Université de Strasbourg, 2021. English. ⟨NNT : ⟩
- typdoc
- Theses
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
-
- titre
- Add annotations for unreachable control flow (slides)
- auteur
- Jens Gustedt
- article
- 2021
- typdoc
- Preprints, Working Papers, ...
- Accès au texte intégral et bibtex
-
-
- titre
- Enforce storage stability (slides)
- auteur
- Jens Gustedt
- article
- 2021
- typdoc
- Preprints, Working Papers, ...
- Accès au texte intégral et bibtex
-
-
- titre
- Basic lambdas for C (slides)
- auteur
- Jens Gustedt
- article
- 2021
- typdoc
- Preprints, Working Papers, ...
- Accès au texte intégral et bibtex
-
2020
Journal articles
-
- titre
- TBFMM: A C++ generic and parallel fast multipole method library
- auteur
- Bérenger Bramas
- article
- Journal of Open Source Software, 2020, 5 (56), pp.2444. ⟨10.21105/joss.02444⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.21105/joss.02444
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Separation Logic for Sequential Programs
- auteur
- Arthur Charguéraud
- article
- Proceedings of the ACM on Programming Languages, 2020, 4, ⟨10.1145/3408998⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1145/3408998
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- An Integral Equation Formulation of the $N$-Body Dielectric Spheres Problem. Part II: Complexity Analysis
- auteur
- Bérenger Bramas, Muhammad Hassan, Benjamin Stamm
- article
- ESAIM: Mathematical Modelling and Numerical Analysis, 2020, ⟨10.1051/m2an/2020055⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1051/m2an/2020055
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- AutoParallel: Automatic parallelisation and distributed execution of affine loop nests in Python
- auteur
- Cristian Ramon-Cortes, Ramon Amela, Jorge Ejarque, Philippe Clauss, Rosa M Badia
- article
- International Journal of High Performance Computing Applications, 2020, 34 (6), pp.1 - 14. ⟨10.1177/1094342020937050⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1177/1094342020937050
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Optimization of a discontinuous Galerkin solver with OpenCL and StarPU
- auteur
- Bérenger Bramas, Philippe Helluy, Laura Mendoza, Bruno Weber
- article
- International Journal on Finite Volumes, 2020, 15 (1), pp.1-19
- typdoc
- Journal articles
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Improving parallel executions by increasing task granularity in task-based runtime systems using acyclic DAG clustering
- auteur
- Bérenger Bramas, Alain Ketterlin
- article
- PeerJ Computer Science, 2020, ⟨10.7717/peerj-cs.247⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.7717/peerj-cs.247
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Modal Control for Active Vibration Damping of Cable-Driven Parallel Robots
- auteur
- Loïc Cuvillon, Xavier Weber, Jacques Gangloff
- article
- Journal of Mechanisms and Robotics, 2020, 12, ⟨10.1115/1.4046434⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1115/1.4046434
- audience
- Not specified
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Computing Delay-Constrained Least-Cost Paths for Segment Routing is Easier Than You Think
- auteur
- Jean-Romain Luttringer, Thomas Alfroy, Pascal Merindol, Quentin Bramas, François Clad, Cristel Pelsser
- article
- 2020 IEEE 19th International Symposium on Network Computing and Applications (NCA) Nov. 24 2020 to Nov. 27 2020 Cambridge, MA, USA, Nov 2020, Cambridge, United States. pp.1-8, ⟨10.1109/NCA51143.2020.9306706⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1109/NCA51143.2020.9306706
- audience
- International
- Accès au bibtex
-
-
- titre
- Automatic task-based parallelization of C++ applications by source-to-source transformations
- auteur
- Garip Kusoglu, Bérenger Bramas, Stéphane Genaud
- article
- Compas 2020 - Conférence francophone en informatique, Jun 2020, Lyon, France
- typdoc
- Conference papers
- audience
- National
- Accès au texte intégral et bibtex
-
-
- titre
- Competing inheritance paths in dependent type theory: a case study in functional analysis
- auteur
- Reynald Affeldt, Cyril Cohen, Marie Kerjean, Assia Mahboubi, Damien Rouhling, Kazuhiko Sakaguchi
- article
- IJCAR 2020 - International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.1-19
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Runtime Multi-versioning and Specialization inside a Memoized Speculative Loop Optimizer
- auteur
- Raquel Lazcano, Daniel Madroñal, Eduardo Juarez, Philippe Clauss
- article
- CC 2020 - 29th International Conference on Compiler Construction, Feb 2020, San Diego, United States. ⟨10.1145/3377555.3377886⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1145/3377555.3377886
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Pipelined Multithreading Generation in a Polyhedral Compiler
- auteur
- Harenome Razanajato, Cédric Bastoul, Vincent Loechner
- article
- IMPACT 2020, in conjunction with HiPEAC 2020, Jan 2020, Bologna, Italy
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Static versus Dynamic Memory Allocation: a Comparison for Linear Algebra Kernels
- auteur
- Toufik Baroudi, Vincent Loechner, Rachid Seghir
- article
- IMPACT 2020, in conjunction with HiPEAC 2020, Jan 2020, Bologna, Italy
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Uniform Random Sampling in Polyhedra
- auteur
- Benoit Meister, Philippe Clauss
- article
- IMPACT 2020 - 10th International Workshop on Polyhedral Compilation Techniques, Jan 2020, Bologna, Italy
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
Book sections
-
- titre
- Rec2Poly: Converting Recursions to Polyhedral Optimized Loops Using an Inspector-Executor Strategy
- auteur
- Salwa Kobeissi, Alain Ketterlin, Philippe Clauss
- article
- SAMOS 2020: Embedded Computer Systems: Architectures, Modeling, and Simulation, pp.96-109, 2020, ⟨10.1007/978-3-030-60939-9_7⟩
- typdoc
- Book sections
- DOI
- DOI : 10.1007/978-3-030-60939-9_7
- audience
- International
- Accès au texte intégral et bibtex
-
Books
- titre
- Defer Mechanism for {C}
- auteur
- Aaron Ballman, Alex Gilding, Jens Gustedt, Tom Scogland, Robert C. Seacord, Martin Uecker, Freek Wiedijk
- article
- ISO TC1/SC22/WG14, pp.57, 2020
- typdoc
- Books
- audience
- International
- Accès au bibtex
-
Reports
-
- titre
- Deferred cleanup and error handling in C
- auteur
- Jens Gustedt, Robert C Seacord
- article
- [Research Report] RR-9385, Inria Nancy - Grand Est. 2020, pp.23
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
-
- titre
- C source-to-source compiler enhancement from within
- auteur
- Jens Gustedt
- article
- [Research Report] RR-9375, INRIA. 2020
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
Theses
- titre
- Polyhedral Code Generation: Reducing Overhead and Increasing Parallelism
- auteur
- Harenome Razanajato
- article
- Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Strasbourg (Unistra), FRA., 2020. English. ⟨NNT : ⟩
- typdoc
- Theses
- Accès au bibtex
-
Preprints, Working Papers, ...
-
- titre
- On the improvement of the in-place merge algorithm parallelization
- auteur
- Bérenger Bramas, Quentin Bramas
- article
- 2020
- typdoc
- Preprints, Working Papers, ...
- Accès au texte intégral et bibtex
-
2019
Journal articles
-
- titre
- Impact study of data locality on task-based applications through the Heteroprio scheduler
- auteur
- Bérenger Bramas
- article
- PeerJ Computer Science, 2019, 5, pp.e190. ⟨10.7717/peerj-cs.190⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.7717/peerj-cs.190
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits
- auteur
- Arthur Charguéraud, François Pottier
- article
- Journal of Automated Reasoning, 2019, 62 (3), pp.331--365. ⟨10.1007/s10817-017-9431-7⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1007/s10817-017-9431-7
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Increasing the degree of parallelism using speculative execution in task-based runtime systems
- auteur
- Bérenger Bramas
- article
- PeerJ Computer Science, 2019, 5, pp.e183. ⟨10.7717/peerj-cs.183⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.7717/peerj-cs.183
- audience
- International
- Accès au texte intégral et bibtex
-
Conference papers
-
- titre
- Pairing GIS and Distributed Hydrological Models Using MATLAB
- auteur
- Sleimane Hariri, Sylvain Weill, Jens Gustedt, Isabelle Charpentier
- article
- 2nd Conference of the Arabian Journal of Geosiences (CAJG 2019), Nov 2019, Sousse, Tunisia. pp.257-259, ⟨10.1007/978-3-030-72543-3_103⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/978-3-030-72543-3_103
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- GOSPEL -Providing OCaml with a Formal Specification Language
- auteur
- Arthur Charguéraud, Jean-Christophe Filliâtre, Cláudio Lourenço, Mário Pereira
- article
- FM 2019 - 23rd International Symposium on Formal Methods, Oct 2019, Porto, Portugal
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Formal Proof and Analysis of an Incremental Cycle Detection Algorithm
- auteur
- Armaël Guéneau, Jacques-Henri Jourdan, Arthur Charguéraud, François Pottier
- article
- Interactive Theorem Proving, Sep 2019, Portland, United States
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Échanges non bloquants de données ordonnées entre producteurs multiples et consommateur unique
- auteur
- Paul Godard
- article
- COMPAS 2019 - Conférence d'informatique en Parallélisme, Architecture et Système, Jun 2019, Anglet, France
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Think Unlimited and Compress Data Automatically
- auteur
- Maxime Schmitt, Philippe Helluy, Cédric Bastoul
- article
- COMPAS 2019 - Conférence d'informatique en Parallélisme, Architecture et Système, Jun 2019, Anglet, France
- typdoc
- Conference papers
- audience
- National
- Accès au texte intégral et bibtex
-
-
- titre
- A Flexible and Distributed Runtime System for High-Throughput Constrained Data Streams Generation
- auteur
- Paul Godard, Vincent Loechner, Cédric Bastoul, Frederic Soulier, Guillaume Muller
- article
- IPDPSW 2019 - IEEE International Symposium on Parallel and Distributed Processing, Workshops and Phd Forum, May 2019, Rio de Janeiro, Brazil. pp.718-728, ⟨10.1109/IPDPSW.2019.00120⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1109/IPDPSW.2019.00120
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- SPETABARU: A Task-based Runtime System with Speculative Execution Capability
- auteur
- Bérenger Bramas
- article
- SIAM CSE 2019 - SIAM Conference on Computational Science and Engineering, Feb 2019, Spokane, United States
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Provably and Practically Efficient Granularity Control
- auteur
- Umut A Acar, Vitaly Aksenov, Arthur Charguéraud, Mike Rainey
- article
- PPoPP 2019 - Principles and Practice of Parallel Programming, Feb 2019, Washington DC, United States. ⟨10.1145/3293883.3295725⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1145/3293883.3295725
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Automatic adaptive approximation for stencil computations
- auteur
- Maxime Schmitt, Philippe Helluy, Cédric Bastoul
- article
- CC 2019 - 28th International Conference on Compiler Construction, Feb 2019, Washington, United States. pp.170-181, ⟨10.1145/3302516.3307348⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1145/3302516.3307348
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Memory access classification for vertical task parallelism
- auteur
- Jens Gustedt, Maxime Mogé
- article
- PDP 2019 - 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Feb 2019, Pavia, Italy
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- The Polyhedral Model Beyond Loops Recursion Optimization and Parallelization Through Polyhedral Modeling
- auteur
- Salwa Kobeissi, Philippe Clauss
- article
- IMPACT 2019 - 9th International Workshop on Polyhedral Compilation Techniques, In conjunction with HiPEAC 2019, Jan 2019, Valencia, Spain
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
Books
-
- titre
- Modern C
- auteur
- Jens Gustedt
- article
- Manning, 2019, 9781617295812
- typdoc
- Books
- audience
- International
- Accès au texte intégral et bibtex
-
Reports
-
- titre
- ISO/IEC 9899 editor report November 2019
- auteur
- Larry Jones, Jens Gustedt
- article
- [Research Report] N2456, ISO JCT1/SC22/WG14. 2019
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
-
- titre
- Add an interface to query resolution of time bases
- auteur
- Jens Gustedt
- article
- [Research Report] N2459, ISO JTC1/SC22/WG14. 2019
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
-
- titre
- Remove support for function definitions with identifier lists
- auteur
- Lars Gullik Bjønnes, Jens Gustedt
- article
- [Research Report] N2432, ISO JCT1/SC22/WG14. 2019
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
-
- titre
- Function failure annotation
- auteur
- Niall Douglas, Jens Gustedt
- article
- [Research Report] N2429, ISO JCT1/SC22/WG14. 2019
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
-
- titre
- Contain the floating point naming explosion
- auteur
- Jens Gustedt
- article
- [Research Report] N2426, ISO JCT1/SC22/WG14. 2019
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
-
- titre
- Synchronization at thread and execution termination
- auteur
- Jens Gustedt
- article
- [Research Report] N2461, ISO JTC1/SC22/WG14. 2019
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
-
- titre
- intmax\_t, a way out
- auteur
- Jens Gustedt
- article
- [Research Report] N2425, ISO JCT1/SC22/WG14. 2019
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
-
- titre
- Modernize time.h functions
- auteur
- Jens Gustedt
- article
- [Research Report] N2417, ISO JCT1/SC22/WG14. 2019
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
-
- titre
- Two's complement sign representation for C2x
- auteur
- Jean-François Bastien, Jens Gustedt
- article
- [Research Report] ISO JCT1/SC22/WG14. 2019, pp.N2412
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
-
- titre
- Clean up atomics, non-normative changes
- auteur
- Jens Gustedt
- article
- [Technical Report] N2389, ISO JTC1/SC22/WG14. 2019
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
-
- titre
- Introduce the term storage instance
- auteur
- Jens Gustedt
- article
- [Technical Report] N2388, ISO JTC1/SC22/WG14. 2019
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
-
- titre
- Moving to a provenance-aware memory object model for C: proposal for C2x
- auteur
- Jens Gustedt, Peter Sewell, Kayvan Memarian, Victor B F Gomes, Martin Uecker
- article
- [Technical Report] N2362, ISO JCT1/SC22/WG14. 2019
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
-
- titre
- Align spelling of keywords with C++ and make them feature tests proposal for C2x
- auteur
- Jens Gustedt
- article
- [Technical Report] n2368, ISO JCT1/SC22/WG14. 2019
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
-
- titre
- C provenance semantics: examples
- auteur
- Peter Sewell, Kayvan Memarian, Victor B F Gomes, Jens Gustedt, Martin Uecker
- article
- [Technical Report] N2363, ISO JCT1/SC22/WG14. 2019
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
-
- titre
- Out-of-band bit for exceptional return and errno replacement
- auteur
- Jens Gustedt
- article
- [Technical Report] N2361, ISO JCT1/SC22/WG14. 2019
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
-
- titre
- Unify string representation functions
- auteur
- Jens Gustedt
- article
- [Technical Report] ISO JCT1/SC22/WG14. 2019
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
-
- titre
- Remove conditional "WANT" macros from numbered clauses proposal for C2x
- auteur
- Jens Gustedt
- article
- [Technical Report] N2359, ISO JTC1/SC22/WG14. 2019
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
-
- titre
- ISO/IEC 9899 editor report March 2019
- auteur
- Larry Jones, Jens Gustedt
- article
- [Technical Report] N2348, ISO JCT1/SC22/WG14. 2019
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
-
- titre
- Moving to two's complement sign representation
- auteur
- Jean-François Bastien, Jens Gustedt
- article
- [Research Report] N2330, ISO JCT1/SC22/WG14. 2019
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
2018
Journal articles
-
- titre
- Visual Program Manipulation in the Polyhedral Model
- auteur
- Oleksandr Zinenko, Stéphane Huot, Cédric Bastoul
- article
- ACM Transactions on Architecture and Code Optimization, 2018, 15 (1), pp.1 - 25. ⟨10.1145/3177961⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1145/3177961
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Arbogast: Higher order automatic differentiation for special functions with Modular C
- auteur
- Isabelle Charpentier, Jens Gustedt
- article
- Optimization Methods and Software, 2018, 33 (4-6), pp.963-987. ⟨10.1080/10556788.2018.1428603⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1080/10556788.2018.1428603
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Verification of 2D × 2D and two-species Vlasov-Poisson solvers
- auteur
- Yann A Barsamian, Joackim Bernier, Sever Adrian Hirstoaga, Michel Mehrenberger
- article
- ESAIM: Proceedings and Surveys, 2018, 63, pp.78-108. ⟨10.1051/proc/201863078⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1051/proc/201863078
- audience
- International
- Accès au texte intégral et bibtex
-
- titre
- Impact of valve-less vs. standard insufflation on pneumoperitoneum volume, inflammation, and peritoneal physiology in a laparoscopic sigmoid resection experimental model
- auteur
- Michele Diana, Eric Noll, Andras Legner, Seong-Ho Kong, Yu-Yin Liu, Luigi Schiraldi, Francesco Marchegiani, Jordan Bano, Bernard Geny, Anne-Laure Charles, Bernard Dallemagne, Veronique Lindner, Didier Mutter, Pierre Diemunsch, Jacques Marescaux
- article
- Surgical Endoscopy, 2018, 32 (7), pp.3215-3224. ⟨10.1007/s00464-018-6039-x⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1007/s00464-018-6039-x
- audience
- Not specified
- Accès au bibtex
-
-
- titre
- Efficient Data Layouts for a Three-Dimensional Electrostatic Particle-in-Cell Code
- auteur
- Yann A Barsamian, Sever Adrian Hirstoaga, Eric Violard
- article
- Journal of computational science, 2018, 27, pp.345--356. ⟨10.1016/j.jocs.2018.06.004⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1016/j.jocs.2018.06.004
- audience
- International
- Accès au texte intégral et bibtex
-
Conference papers
-
- titre
- AutoParallel: A Python module for automatic parallelization and distributed execution of affine loop nests
- auteur
- Cristian Ramon-Cortes, Ramon Amela, Jorge Ejarque, Philippe Clauss, Rosa Badia
- article
- PyHPC 2018 - 8th Workshop on Python for High-Performance and Scientific Computing, Nov 2018, Dallas, TX, United States
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- MoSeL: a general, extensible modal framework for interactive proofs in separation logic
- auteur
- Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung, Joseph Tassarotti, Jan-Oliver Kaiser, Amin Timany, Arthur Charguéraud, Derek Dreyer
- article
- International Conference on Functional Programming (ICFP 2018), ACM, Sep 2018, St Louis, MO, United States. pp.77, ⟨10.1145/3236772⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1145/3236772
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions
- auteur
- Salwa Kobeissi, Adnan Utayim, Mohamad Jaber, Yliès Falcone
- article
- IFM 2018 - 14th International Conference on integrated Formal Methods, Sep 2018, Maynooth, Ireland. pp.1-19
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Efficient Strict-Binning Particle-in-Cell Algorithm for Multi-Core SIMD Processors
- auteur
- Yann A Barsamian, Arthur Charguéraud, Sever Adrian Hirstoaga, Michel Mehrenberger
- article
- Euro-Par 2018 - 24th International European Conference on Parallel and Distributed Computing, Aug 2018, Turin, Italy. ⟨10.1007/978-3-319-96983-1_53⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/978-3-319-96983-1_53
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Heartbeat scheduling: provable efficiency for nested parallelism
- auteur
- Umut A Acar, Arthur Charguéraud, Adrien Guatto, Mike Rainey, Filip Sieczkowski
- article
- PLDI’18 - 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun 2018, Philadelphia, United States. ⟨10.1145/3192366.3192391⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1145/3192366.3192391
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- JSExplain: A Double Debugger for JavaScript
- auteur
- Arthur Charguéraud, Alan Schmitt, Thomas Wood
- article
- The Web Conference 2018, Apr 2018, Lyon, France. pp.1-9, ⟨10.1145/3184558.3185969⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1145/3184558.3185969
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification
- auteur
- Armaël Guéneau, Arthur Charguéraud, François Pottier
- article
- ESOP 2018 - 27th European Symposium on Programming, Apr 2018, Thessaloniki, Greece. ⟨10.1007/978-3-319-89884-1_19⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/978-3-319-89884-1_19
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Polyhedral Optimization For JavaScript: The Challenges
- auteur
- Manuel Selva, Julien Pagès, Philippe Clauss
- article
- IMPACT 2018 - 8th International Workshop on Polyhedral Compilation Techniques, Jan 2018, Manchester, United Kingdom
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
Reports
-
- titre
- Clean up atomics
- auteur
- Jens Gustedt
- article
- [Technical Report] N2329, ISO JCT1/SC22/WG14. 2018
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
-
- titre
- Memory access classification for vertical task parallelism
- auteur
- Jens Gustedt, Maxime Mogé
- article
- [Research Report] RR-9182, Inria Nancy - Grand Est. 2018, pp.1-20
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
Theses
-
- titre
- Automatic code generation and optimization of multi-dimensional stencil computations on distributed-memory architectures
- auteur
- Mariem Saied
- article
- Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Strasbourg, 2018. English. ⟨NNT : 2018STRAD036⟩
- typdoc
- Theses
- Accès au texte intégral et bibtex
-
2017
Journal articles
-
- titre
- Optimization of Triangular and Banded Matrix Operations Using 2d-Packed Layouts
- auteur
- Toufik Baroudi, Rachid Seghir, Vincent Loechner
- article
- ACM Transactions on Architecture and Code Optimization, 2017, 14 (4), pp.1 - 19. ⟨10.1145/3162016⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1145/3162016
- audience
- International
- Accès au texte intégral et bibtex
-
- titre
- Full runtime polyhedral optimizing loop transformations with the generation, instantiation, and scheduling of code-bones
- auteur
- Juan Manuel Martinez Caamaño, Manuel Selva, Philippe Clauss, Artiom Baloian, Willy Wolff
- article
- Concurrency and Computation: Practice and Experience, 2017, 29 (15), ⟨10.1002/cpe.4192⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1002/cpe.4192
- audience
- International
- Accès au bibtex
-
-
- titre
- Runtime Vectorization Transformations of Binary Code
- auteur
- Nabil Hallou, Erven Rohou, Philippe Clauss
- article
- International Journal of Parallel Programming, 2017, 8 (6), pp.1536 - 1565. ⟨10.1007/s10766-016-0480-z⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1007/s10766-016-0480-z
- audience
- International
- Accès au texte intégral et bibtex
-
- titre
- Joint Entropy based Motion Segmentation for 3D Animations
- auteur
- Guoliang Luo, Gang Lei, Yuanlong Cao, Qinghua Liu, Hyewon Seo
- article
- The Visual Computer, 2017, 33 (10)
- typdoc
- Journal articles
- audience
- Not specified
- Accès au bibtex
-
Conference papers
- titre
- Lifting Barriers Using Parallel Polyhedral Regions
- auteur
- Harenome Razanajato, Cédric Bastoul, Vincent Loechner
- article
- HiPC 2017 - 24th International Conference on High Performance Computing, Data, and Analytics, Dec 2017, Jaipur, India
- typdoc
- Conference papers
- audience
- International
- Accès au bibtex
-
-
- titre
- Adaptive Code Refinement: A Compiler Technique and Extensions to Generate Self-Tuning Applications
- auteur
- Maxime Schmitt, Philippe Helluy, Cédric Bastoul
- article
- HiPC 2017 - 24th International Conference on High Performance Computing, Data, and Analytics, Dec 2017, Jaipur, India. pp.1-10
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- CalMAR -a Multi-Application Dataflow Runtime
- auteur
- Lionel Morel, Manuel Selva, Kevin Marquet, Coralie Saysset, Tanguy Risset
- article
- Thirteenth ACM International Conference on Embedded Software 2017, EMSOFT'17, Oct 2017, Seoul, South Korea. ⟨10.1145/3125503.3125562⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1145/3125503.3125562
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- A Space and Bandwidth Efficient Multicore Algorithm for the Particle-in-Cell Method
- auteur
- Yann A Barsamian, Arthur Charguéraud, Alain Ketterlin
- article
- PPAM 2017 - 12th International Conference on Parallel Processing and Applied Mathematics, Sep 2017, Lublin, Poland. pp.1-12
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Automatic, Abstracted and Portable Topology-Aware Thread Placement
- auteur
- Jens Gustedt, Emmanuel Jeannot, Farouk Mansouri
- article
- IEEE Cluster, Sep 2017, Hawaï, United States. pp.389 - 399, ⟨10.1109/CLUSTER.2017.71⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1109/CLUSTER.2017.71
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Automatic Collapsing of Non-Rectangular Loops
- auteur
- Philippe Clauss, Ervin Altintas, Matthieu Kuhn
- article
- Parallel and Distributed Processing Symposium (IPDPS), 2017, May 2017, Orlando, United States. pp.778 - 787, ⟨10.1109/IPDPS.2017.34⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1109/IPDPS.2017.34
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Efficient Data Structures for a Hybrid Parallel and Vectorized Particle-in-Cell Code
- auteur
- Yann A Barsamian, Sever Adrian Hirstoaga, Eric Violard
- article
- IPDPSW 2017 - IEEE International Parallel and Distributed Processing Symposium Workshops , May 2017, Lake Buena Vista, FL, United States. pp.1168-1177, ⟨10.1109/IPDPSW.2017.74⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1109/IPDPSW.2017.74
- audience
- International
- Accès au texte intégral et bibtex
-
-
- 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
-
- titre
- An alternative to phase image-based Magnetic Resonance Elastography (MRE) using k-space data processing
- auteur
- Nadège Corbin, Élodie Breton, Michel de Mathelin, Jonathan Vappou
- article
- 25th annual meeting of the International Society for Magnetic Resonance in Medicine, 22-27 April 2017, Honolulu, HI, USA, Apr 2017, Honolulu, United States
- typdoc
- Conference papers
- audience
- Not specified
- Accès au 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
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Semi-Automatic Generation of Adaptive Codes
- auteur
- Maxime Schmitt, César Sabater, Cédric Bastoul
- article
- IMPACT 2017 - 7th International Workshop on Polyhedral Compilation Techniques, Jan 2017, Stockholm, Sweden. pp.1-7
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- APOLLO: Automatic speculative POLyhedral Loop Optimizer
- auteur
- Juan Manuel Martinez Caamaño, Aravind Sukumaran-Rajam, Artiom Baloian, Manuel Selva, Philippe Clauss
- article
- IMPACT 2017 - 7th International Workshop on Polyhedral Compilation Techniques, Jan 2017, Stockholm, Sweden. pp.8
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et 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
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
Other publications
-
- titre
- VOCAL – A Verified OCAml Library
- auteur
- Arthur Charguéraud, Jean-Christophe Filliâtre, Mário Pereira, François Pottier
- article
- 2017
- typdoc
- Other publications
- Accès au texte intégral et bibtex
-
2016
Journal articles
-
- titre
- Oracle-Guided Scheduling for Controlling Granularity in Implicitly Parallel Languages
- auteur
- Umut A Acar, Arthur Charguéraud, Mike Rainey
- article
- Journal of Functional Programming, 2016, 26, ⟨10.1017/S0956796816000101⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1017/S0956796816000101
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Model identification and vision-based H\(_\infty\) position control of 6-DoF cable-driven parallel robots
- auteur
- Ryad Chellal, Loïc Cuvillon, Edouard Laroche
- article
- International Journal of Control, 2016, 90 (4), ⟨10.1080/00207179.2016.1220623⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1080/00207179.2016.1220623
- audience
- Not specified
- Accès au texte intégral et bibtex
-
- titre
- The Polyhedral Model of Nonlinear Loops
- auteur
- Aravind Sukumaran-Rajam, Philippe Clauss
- article
- ACM Transactions on Architecture and Code Optimization, 2016, 12 (4), ⟨10.1145/2838734⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1145/2838734
- audience
- International
- Accès au bibtex
-
Conference papers
-
- titre
- Automatic Code Generation for Iterative Multi-dimensional Stencil Computations
- auteur
- Mariem Saied, Jens Gustedt, Gilles Muller
- article
- High Performance Computing, Data, and Analitics, Dec 2016, Hydarabat, India
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et 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
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et 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
- Euro-Par 2016, Aug 2016, Grenoble, France. pp.12, ⟨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
-
-
- 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
- Conf{\'e}rence d'informatique en Parall{\'e}lisme, Architecture et Syst{\`e}me (COMPAS), Jul 2016, Lorient, France
- typdoc
- Conference papers
- audience
- National
- Accès au texte intégral et bibtex
-
- titre
- In vivo monitoring of percutaneous thermal ablation by simultaneous MR Elastography and Thermometry
- auteur
- Nadège Corbin, Jonathan Vappou, Pramod Prabhakar Rao, Benoit Wach, Laurent Barbé, Pierre Renaud, Michel de Mathelin, Élodie Breton
- article
- 24th annual meeting of the International Society for Magnetic Resonance in Medicine (ISMRM), 07-13 May 2016, Singapour, May 2016, Singapour, Singapore
- typdoc
- Conference papers
- audience
- Not specified
- Accès au 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. ⟨10.1145/2851613.2851956⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1145/2851613.2851956
- audience
- International
- Accès au texte intégral et 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
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et 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
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et 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
-
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
-
-
- 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
-
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. ⟨NNT : ⟩
- typdoc
- Theses
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
-
- titre
- Maximum Subarray Problem in 1D and 2D via Weighted Paths in Directed Acyclic Graphs
- auteur
- Yann Barsamian
- article
- 2016
- typdoc
- Preprints, Working Papers, ...
- Accès au texte intégral et bibtex
-
2015
Journal articles
- titre
- Détection simultanée de l’ombre et la végétation sur des images aériennes couleur en haute résolution
- auteur
- Tran Thanh Ngo, Christophe Collet, Vincent Mazet
- article
- Traitement du Signal, 2015, 32 (2-3)
- typdoc
- Journal articles
- audience
- Not specified
- Accès au bibtex
-
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, IFPEN, Dec 2015, Rueil-Malmaison, France
- typdoc
- Conference papers
- audience
- International
- Accès au 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
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et 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
-
-
- titre
- XFOR: Filling the Gap between Automatic Loop Optimization and Peak Performance
- auteur
- Imen Fassi, Philippe Clauss
- article
- 14th International Symposium on Parallel and Distributed Computing, Jun 2015, Limassol, Cyprus. ⟨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
-
- 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
- typdoc
- Conference papers
- audience
- International
- Accès au 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
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et 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
- typdoc
- Conference papers
- audience
- International
- Accès au 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
- typdoc
- Conference papers
- audience
- International
- Accès au 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
-
-
- titre
- Modular C
- auteur
- Jens Gustedt
- article
- [Research Report] RR-8751, INRIA. 2015
- typdoc
- Reports
- Accès au texte intégral et 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
-
-
- 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
-
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. ⟨NNT : ⟩
- typdoc
- Theses
- Accès au texte intégral et 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. ⟨NNT : ⟩
- typdoc
- Theses
- Accès au texte intégral et 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, 2014, 45, pp.485-492. ⟨10.1051/proc/201445050⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1051/proc/201445050
- audience
- International
- Accès au texte intégral et bibtex
-
- titre
- On spatio-temporal feature point detection for animated meshes
- auteur
- Vasyl Mykhalchuk, Hyewon Seo, Frédéric Cordier
- article
- The Visual Computer, 2014, 31 (11), pp.1471-1486. ⟨10.1007/s00371-014-1027-1⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1007/s00371-014-1027-1
- audience
- International
- Accès au 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, 2014, 42 (4), pp.529-545
- typdoc
- Journal articles
- audience
- International
- Accès au bibtex
-
- titre
- Recovering memory access patterns of executable programs
- auteur
- Alain Ketterlin, Philippe Clauss
- article
- Science of Computer Programming, 2014, 80, pp.440-456. ⟨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
-
-
- titre
- Hierarchical extraction of landslides from multiresolution remotely sensed optical images
- auteur
- Camille Kurtz, André Stumpf, Jean-Philippe Malet, Pierre Gançarski, Anne Puissant, Nicolas Passat
- article
- ISPRS Journal of Photogrammetry and Remote Sensing, 2014, 87, pp.122-136. ⟨10.1016/j.isprsjprs.2013.11.003⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1016/j.isprsjprs.2013.11.003
- audience
- International
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Multi-sensor data fusion for realistic and accurate 3d reconstruction
- auteur
- Ammar Hannachi, Sophie Kohler, Alex Lallement, Ernest Hirsch
- article
- 5th IEEE European Workshop on Visual Information (2014-12-10, 2014-12-12: Paris, France), Dec 2014, Paris, France. ⟨10.1109/EUVIP.2014.7018381⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1109/EUVIP.2014.7018381
- audience
- International
- Accès au bibtex
-
- titre
- Local random-phase noise for procedural texturing
- auteur
- Guillaume Gilet, Basile Sauvage, Kenneth Vanhoey, Jean-Michel Dischler, Djamchid Ghazanfarpour
- article
- SIGGRAPH Asia 2014, 03-06 décembre 2014, Shenzen, China, Dec 2014, Shenzen, China. ⟨10.1145/2661229.2661249⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1145/2661229.2661249
- audience
- Not specified
- Accès au bibtex
-
- 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
-
- titre
- Speculative Program Parallelization with Scalable and Decentralized Runtime Verification
- auteur
- Aravind Sukumaran-Rajam, Juan Manuel Martinez, Willy Wolff, Alexandra Jimborean, Philippe Clauss
- article
- Runtime Verification, Sep 2014, Toronto, Canada. pp.124-139, ⟨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
-
-
- titre
- Switchable Scheduling for Runtime Adaptation of Optimization
- auteur
- Lénaïc Bagnères, Cédric Bastoul
- article
- Euro-Par 2014 Parallel Processing, Fernando Silva, Inês Dutra, Vítor Santos Costa, Aug 2014, Porto, Portugal. pp.222 - 233, ⟨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
-
-
- 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. pp.109-112
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et 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
- typdoc
- Conference papers
- audience
- International
- Accès au 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
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et 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
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et 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. ⟨10.1145/2591635.2667172⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1145/2591635.2667172
- audience
- International
- Accès au 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. ⟨10.1145/2591635.2591654⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1145/2591635.2591654
- audience
- International
- Accès au bibtex
-
Reports
-
- titre
- Xfor: Semantics and Performance
- auteur
- Eric Violard, Philippe Clauss, Imen Fassi
- article
- [Research Report] Team ICPS (ICube Laboratory). 2014
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
-
- 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
-
2013
Journal articles
- titre
- Landmark transfer with minimal graph
- auteur
- Vasyl Mykhalchuk, Frédéric Cordier, Hyewon Seo
- article
- Computers and Graphics, 2013, 37 (5), pp.539-552. ⟨10.1016/j.cag.2013.04.005⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1016/j.cag.2013.04.005
- audience
- International
- Accès au bibtex
-
-
- 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, 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
-
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 Lee 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
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
- titre
- Online Dynamic Dependence Analysis for Speculative Polyhedral Parallelization
- auteur
- Alexandra Jimborean, Philippe Clauss, Juan Manuel Martinez, Aravind Sukumaran-Rajam
- article
- Euro-Par 2013, Aug 2013, Aachen, Germany. 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
-
- 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
- typdoc
- Conference papers
- audience
- International
- Accès au bibtex
-
-
- titre
- Multifor for Multicore
- auteur
- Imèn Fassi, Philippe Clauss, Matthieu Kuhn, Yosr Slama
- article
- IMPACT 2013, Third International Workshop on Polyhedral Compilation Techniques, Armin Grösslinger, Louis-Noël Pouchet, Jan 2013, Berlin, Germany. pp.37-44
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
- titre
- Adaptive Runtime Selection for GPU
- auteur
- Jean-François Dollinger, Vincent Loechner
- article
- 42nd International Conference on Parallel Processing, 2013, Lyon, France. pp.70-79, ⟨10.1109/ICPP.2013.16⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1109/ICPP.2013.16
- audience
- International
- Accès au 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 Lee 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
-
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
-
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, 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
-
- titre
- Polyhedral parallelization of binary code
- auteur
- Benoit Pradelle, Alain Ketterlin, Philippe Clauss
- article
- ACM Transactions on Architecture and Code Optimization, 2012, Special issue on high-performance and embedded architectures and compilers, 8 (4), pp.39:1--39:21. ⟨10.1145/2086696.2086718⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1145/2086696.2086718
- audience
- International
- Accès au 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
- typdoc
- Conference papers
- audience
- International
- Accès au 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
- typdoc
- Conference papers
- audience
- International
- Accès au bibtex
-
- titre
- VMAD: an Advanced Dynamic Program Analysis & Instrumentation Framework
- auteur
- Alexandra Jimborean, Luis Mastrangelo, Vincent Loechner, Philippe Clauss
- article
- CC - 21st International Conference on Compiler Construction, Mar 2012, Tallinn, Estonia. pp.220-237
- typdoc
- Conference papers
- audience
- International
- Accès au 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
- typdoc
- Conference papers
- audience
- International
- Accès au 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, Henri-Pierre Charles and Philippe Clauss and Frédéric Pétrot, Jan 2012, Paris, France
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Dealing with arithmetic overflows in the polyhedral model
- auteur
- Bruno Cuervo Parrino, Julien Narboux, Eric Violard, Nicolas Magaud
- article
- IMPACT 2012 - 2nd International Workshop on Polyhedral Compilation Techniques, Louis-Noel Pouchet, Jan 2012, Paris, France
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
Theses
-
- titre
- Conception de mécanismes compliants pour la robotique chirurgicale
- auteur
- Lennart Rubbert
- article
- Automatique / Robotique. Université de Strasbourg, 2012. Français. ⟨NNT : 2012STRAD035⟩
- typdoc
- Theses
- Accès au texte intégral et 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
-
-
- titre
- Gestion de la mobilité dans les réseaux de capteurs sans fil
- auteur
- Damien Roth
- article
- Informatique mobile. Université de Strasbourg, 2012. Français. ⟨NNT : 2012STRAD031⟩
- typdoc
- Theses
- Accès au texte intégral et 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
- Traitement du signal et de l'image [eess.SP]. Université de Strasbourg, 2012. Français. ⟨NNT : 2012STRAD018⟩
- typdoc
- Theses
- Accès au texte intégral et bibtex
-
-
- titre
- Stereo visual servoing from straight lines
- auteur
- Fadi Alkhalil
- article
- Optics / Photonic. Université de Strasbourg, 2012. English. ⟨NNT : 2012STRAD026⟩
- typdoc
- Theses
- Accès au texte intégral et bibtex
-
-
- titre
- Adapting the polytope model for dynamic and speculative parallelization
- auteur
- Alexandra Jimborean
- article
- Modeling and Simulation. Université de Strasbourg, 2012. English. ⟨NNT : 2012STRAD020⟩
- typdoc
- Theses
- Accès au texte intégral et bibtex
-
-
- titre
- Commande linéaire à paramètres variants des robots manipulateurs flexibles
- auteur
- Houssem Halalchi
- article
- Automatique / Robotique. Université de Strasbourg, 2012. Français. ⟨NNT : 2012STRAD028⟩
- typdoc
- Theses
- Accès au texte intégral et bibtex
-
-
- titre
- Une approche collaborative segmentation - classification pour l'analyse descendante d'images multirésolutions
- auteur
- Camille Kurtz
- article
- Traitement du signal et de l'image [eess.SP]. Université de Strasbourg, 2012. Français. ⟨NNT : 2012STRAD021⟩
- typdoc
- Theses
- Accès au texte intégral et bibtex
-
-
- titre
- Non-linear statistical models for shape analysis : application to brain imaging
- auteur
- Giorgos Sfikas
- article
- Signal and Image processing. Université de Strasbourg, 2012. English. ⟨NNT : 2012STRAD032⟩
- typdoc
- Theses
- Accès au texte intégral et 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
-
-
- titre
- Contributions à la segmentation des structures cérébrales en IRM foetale
- auteur
- Benoît Caldairou
- article
- Traitement du signal et de l'image [eess.SP]. Université de Strasbourg, 2012. Français. ⟨NNT : 2012STRAD015⟩
- typdoc
- Theses
- Accès au texte intégral et bibtex
-
-
- titre
- Indexing of HSQC spectra and FMRI images for biomarker identification
- auteur
- Akram Belghith
- article
- Signal and Image processing. Université de Strasbourg, 2012. English. ⟨NNT : 2012STRAD001⟩
- typdoc
- Theses
- Accès au texte intégral et bibtex
-
2011
Journal articles
- titre
- Design considerations for a novel MRI compatible manipulator for prostate cryoablation
- auteur
- Salih Abdelaziz, Laure Esteveny, Pierre Renaud, Bernard Bayle, Laurent Barbé, Michel de Mathelin, Afshin Gangi
- article
- International Journal of Computer Assisted Radiology and Surgery, 2011, 6, pp.811-819. ⟨10.1007/s11548-011-0558-4⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1007/s11548-011-0558-4
- audience
- Not specified
- Accès au bibtex
-
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
-
-
- 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
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et 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, IEEE, May 2011, Anchorange (AK), United States
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
- titre
- Efficient Memory Tracing by Program Skeletonization
- auteur
- Alain Ketterlin, Philippe Clauss
- article
- IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS, Apr 2011, Austin, United States
- typdoc
- Conference papers
- audience
- International
- Accès au bibtex
-
- titre
- VMAD: a Virtual Machine for Advanced Dynamic Analysis of Programs
- auteur
- Alexandra Jimborean, Matthieu Herrmann, Vincent Loechner, Philippe Clauss
- article
- IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS, Apr 2011, Austin, United States
- typdoc
- Conference papers
- audience
- International
- Accès au 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
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et 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, Christophe Alias, Cédric Bastoul, Apr 2011, Chamonix, France
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et 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, Florent Bouchez, Sebastian Hack, Eelco Visser, Apr 2011, Chamonix, France
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et 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
- typdoc
- Conference papers
- audience
- National
- Accès au 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
-
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 J. Won
- article
- [Research Report] RR-7761, INRIA. 2011, pp.36
- typdoc
- Reports
- audience
- Not specified
- Accès au texte intégral et 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. ⟨NNT : ⟩
- typdoc
- Theses
- Accès au texte intégral et bibtex
-
2010
Journal articles
- titre
- Le patient virtuel au service de la chirurgie
- auteur
- Caroline Essert
- article
- Interstices, 2010
- typdoc
- Journal articles
- audience
- National
- Accès au 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
- typdoc
- Conference papers
- audience
- International
- Accès au bibtex
-
Book sections
- titre
- Photogrammetry and dense stereo matching approach applied to the documentation of The cultural heritage site of Kilwa (Saudi Arabia)
- auteur
- Jean-Francois Hullo, Pierre Grussenmeyer, Saba Farès
- article
- Actes of 22nd CIPA Symposium, October 11-15, 2009, Kyoto, Japan, pp.11-15, 2010
- typdoc
- Book sections
- audience
- International
- Accès au 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
-
-
- 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
-
- 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
-
2009
Journal articles
- titre
- Fault management in P2P-MPI
- auteur
- Stéphane Genaud, Emmanuel Jeannot, Choopan Rattanapoka
- article
- International Journal of Parallel Programming, 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
-
- 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, 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
-
- 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, 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
-
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. pp.974 - 985, ⟨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
-
- 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. pp.1-8, ⟨10.1109/IPDPS.2009.5160969⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1109/IPDPS.2009.5160969
- audience
- International
- Accès au 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
-
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, 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
-
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. pp.643 - 653, ⟨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
-
- 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), Jun 2008, Tucson, Arizona, United States
- typdoc
- Conference papers
- audience
- International
- Accès au 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
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et 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. pp.94-103, ⟨10.1145/1356058.1356071⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1145/1356058.1356071
- audience
- International
- Accès au bibtex
-
- titre
- A Note on the Performance Distribution of Affine Schedules
- auteur
- Louis-Noël Pouchet, Cédric Bastoul, John Cavazos, Albert Cohen
- article
- 2nd Workshop on Statistical and Machine learning approaches applied to ARchitectures and compilaTion (SMART), Jan 2008, Gothenburg, Sweden
- typdoc
- Conference papers
- audience
- International
- Accès au 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. ⟨NNT : ⟩
- typdoc
- Theses
- Accès au texte intégral et bibtex
-
2007
Journal articles
-
- titre
- Analyse de Comparons nos langues
- auteur
- Dalie Chrifi Alaoui
- article
- ALSIC - Apprentissage des Langues et Systèmes d'Information et de Communication, 2007, 10 (2)
- typdoc
- Journal articles
- audience
- Not specified
- Accès au texte intégral et 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, 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
-
-
- 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, 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 texte intégral et 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. pp.563-573, ⟨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
-
- 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, ⟨10.1145/1274971.1275000⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1145/1274971.1275000
- audience
- International
- Accès au bibtex
-
-
- titre
- Fault management in P2P-MPI
- auteur
- Stéphane Genaud, Choopan Rattanapoka
- article
- In proceedings of International Conference on Grid and Pervasive Computing, GPC'07, May 2007, Paris, France
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et 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
- typdoc
- Conference papers
- audience
- International
- Accès au 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
- International Journal of Parallel Programming, 2006, 34 (3), pp.261--317. ⟨10.1007/s10766-006-0012-3⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1007/s10766-006-0012-3
- audience
- International
- Accès au 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, 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
-
Conference papers
- titre
- Iterative Optimization in the Polyhedral Model: One-Dimensional Scheduling Case
- auteur
- Louis-Noël Pouchet, Cédric Bastoul, Albert Cohen
- article
- 2nd HiPEAC Industrial Workshop, 2006, Eindhoven, The, Netherlands
- typdoc
- Conference papers
- audience
- International
- Accès au bibtex
-
- titre
- Violated Dependence Analysis
- auteur
- Nicolas Vasilache, Albert Cohen, Cédric Bastoul, Sylvain Girbal
- article
- ics # (ICS), 2006, Cairns, Australia
- typdoc
- Conference papers
- audience
- International
- Accès au 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 Region
- typdoc
- Conference papers
- audience
- International
- Accès au 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, 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
-
2004
Journal articles
- titre
- Seismic ray-tracing and Earth mesh modeling on various parallel architectures
- auteur
- Marc Grunberg, Stéphane Genaud, Catherine Mongenet
- article
- Journal of Supercomputing, 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
-
- titre
- Load-Balancing Scatter Operations for Grid Computing
- auteur
- Stéphane Genaud, Arnaud Giersch, Frédéric Vivien
- article
- Parallel Computing, 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
-
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. ⟨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
-
- 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, pp.148-159
- typdoc
- Conference papers
- audience
- International
- Accès au 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, pp.364-371
- typdoc
- Conference papers
- audience
- International
- Accès au 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. ⟨NNT : ⟩
- typdoc
- Theses
- Accès au texte intégral et bibtex
-
2002
Journal articles
- titre
- Precise data locality optimization of nested loops
- auteur
- Vincent Loechner, Benoit Meister, Philippe Clauss
- article
- Journal of Supercomputing, 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
-
- 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, 2002, 7 (1), pp.159-172
- typdoc
- Journal articles
- audience
- International
- Accès au 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. pp.82--87
- typdoc
- Conference papers
- audience
- International
- Accès au bibtex
-
- titre
- On the Optimality of Feautrier's Scheduling Algorithm
- auteur
- Frédéric Vivien
- article
- Proceedings of Euro-Par 2002, 2002, Unknown, pp.299-308
- typdoc
- Conference papers
- audience
- International
- Accès au 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, 2001, 41 (17), pp.2297-303
- typdoc
- Journal articles
- audience
- International
- Accès au 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, 2001, 16 (2), pp.99-104
- typdoc
- Journal articles
- audience
- International
- Accès au bibtex
-
Conference papers
-
- titre
- Incrementalized Pointer and Escape Analysis
- auteur
- Frédéric Vivien, Martin Rinard
- article
- PLDI '01 Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, Jun 2001, Snowbird, United States. pp.35--46, ⟨10.1145/381694.378804⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1145/381694.378804
- audience
- International
- Accès au texte intégral et 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, pp.141-171
- typdoc
- Conference papers
- audience
- International
- Accès au bibtex
-
- 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
- typdoc
- Conference papers
- audience
- International
- Accès au bibtex
-
2000
Conference papers
- 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
- typdoc
- Conference papers
- audience
- International
- Accès au bibtex
-
- 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. pp.405--414
- typdoc
- Conference papers
- audience
- International
- Accès au 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
-
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
-
1998
Journal articles
- titre
- Parametric Analysis of Polyhedral Iteration Spaces
- auteur
- Philippe Clauss, Vincent Loechner
- article
- Journal of Signal Processing Systems, 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
-
- 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, 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
-
- 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, 1998, 17 (12), pp.1319-1325
- typdoc
- Journal articles
- audience
- International
- Accès au bibtex
-
1997
Journal articles
- titre
- Parameterized Polyhedra and Their Vertices
- auteur
- Vincent Loechner, Doran K. Wilde
- article
- International Journal of Parallel Programming, 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
-
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 Region. pp.40--49
- typdoc
- Conference papers
- audience
- International
- Accès au 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 Region. pp.605--623
- typdoc
- Conference papers
- audience
- International
- Accès au 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
- Psychopharmacology, 1996, 126 (3), pp.260-70
- typdoc
- Journal articles
- audience
- International
- Accès au 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 Region
- typdoc
- Conference papers
- audience
- International
- Accès au 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
- Psychopharmacology, 1995, 119 (1), pp.105-14
- typdoc
- Journal articles
- audience
- International
- Accès au bibtex
-
1994
Journal articles
- titre
- The computation of contour information in complex objects.
- auteur
- M. Boucart, S. Delord, Arnaud Giersch
- article
- Perception, 1994, 23 (4), pp.399-409
- typdoc
- Journal articles
- audience
- International
- Accès au bibtex
-