Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

203 Results
Structure: Internal structure identifier : 233382
Image document

Clint: A Direct Manipulation Tool for Parallelizing Compute-Intensive Program Parts

Oleksandr Zinenko , Stéphane Huot , Cédric Bastoul
IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Jul 2014, Melbourne, Australia. pp.109-112
Conference papers hal-01055788v1

Software-controlled Processor Stalls for Time and Energy Efficient Data Locality Optimization

Philippe Clauss , Imen Fassi , Alexandra Jimborean
International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation - SAMOS XIV, Jul 2014, Agios Konstantinos, Greece
Conference papers hal-01003228v1
Image document

Efficient Data Layouts for a Three-Dimensional Electrostatic Particle-in-Cell Code

Yann A Barsamian , Sever Adrian Hirstoaga , Eric Violard
Journal of computational science, 2018, 27, pp.345--356. ⟨10.1016/j.jocs.2018.06.004⟩
Journal articles hal-01664207v1
Image document

The Polyhedral Model Beyond Loops Recursion Optimization and Parallelization Through Polyhedral Modeling

Salwa Kobeissi , Philippe Clauss
IMPACT 2019 - 9th International Workshop on Polyhedral Compilation Techniques, In conjunction with HiPEAC 2019, Jan 2019, Valencia, Spain
Conference papers hal-02059558v1
Image document

SPETABARU: A Task-based Runtime System with Speculative Execution Capability

Bérenger Bramas
SIAM CSE 2019 - SIAM Conference on Computational Science and Engineering, Feb 2019, Spokane, United States
Conference papers hal-02050190v1
Image document

Parallélisation et passage à l'échelle durable d'une chaîne de traitement graphique pour l'impression professionnelle

Paul Godard
Calcul parallèle, distribué et partagé [cs.DC]. Université de strasbourg, 2019. Français. ⟨NNT : ⟩
Theses tel-02456793v2
Image document

Arbogast – Origine d'un outil de dérivation automatique

Isabelle Charpentier , Jean-Pierre Friedelmeyer , Jens Gustedt
[Rapport de recherche] RR-8911, INRIA. 2016
Reports hal-01313355v1
Image document

CalMAR -a Multi-Application Dataflow Runtime

Lionel Morel , Manuel Selva , Kevin Marquet , Coralie Saysset , Tanguy Risset
Thirteenth ACM International Conference on Embedded Software 2017, EMSOFT'17, Oct 2017, Seoul, South Korea. ⟨10.1145/3125503.3125562⟩
Conference papers hal-01631691v1
Image document

Automatic Collapsing of Non-Rectangular Loops

Philippe Clauss , Ervin Altintas , Matthieu Kuhn
Parallel and Distributed Processing Symposium (IPDPS), 2017, May 2017, Orlando, United States. pp.778 - 787, ⟨10.1109/IPDPS.2017.34⟩
Conference papers hal-01581081v1
Image document

Basic lambdas for C

Jens Gustedt
N2892, ISO JCT1/SC22/WG14. 2022, pp.52
Reports hal-03860638v1
Image document

Futex based locks for C11's generic atomics (extended abstract)

Jens Gustedt
The 31st Annual ACM Symposium on Applied Computing, Apr 2016, Pisa, Italy. ⟨10.1145/2851613.2851956⟩
Conference papers hal-01304108v1
Image document

Oracle-Guided Scheduling for Controlling Granularity in Implicitly Parallel Languages

Umut A Acar , Arthur Charguéraud , Mike Rainey
Journal of Functional Programming, 2016, 26, ⟨10.1017/S0956796816000101⟩
Journal articles hal-01409069v1
Image document

Add annotations for unreachable control flow

Jens Gustedt
[Research Report] 2826, ISO JCT1/SC22/WG14. 2021, pp.10
Reports hal-03265590v2
Image document

Improve type generic programming

Jens Gustedt
[Technical Report] N2890, ISO JCT1/SC22/WG14. 2022, pp.82
Reports hal-03106758v3
Image document

Loop-based Modeling of Parallel Communication Traces

Alain Ketterlin , Matthieu Kuhn , Stéphane Genaud , Philippe Clauss
[Research Report] RR-8562, INRIA. 2014, pp.10
Reports hal-01044636v1
Image document

Type inference for variables and functions (slides)

Jens Gustedt
Preprints, Working Papers, ... hal-03165731v2
Image document

Émergence d'un leadership distribué pour la construction d'un enseignement

Basile Sauvage , Stéphane Genaud , Arash Habibi , Vincent Loechner , Pierre-Olivier Simonard
AIPU22 - 32ème Congrès de l'Association Internationale de Pédagogie Universitaire, May 2022, Rennes, France
Conference papers hal-03653969v1
Image document

Code examples for the book Modern C

Jens Gustedt
Software hal-03345464v1
Image document

Pairing GIS and distributed hydrological models using Matlab 2

Sleimane Hariri , Sylvain Weill , Jens Gustedt , Isabelle Charpentier
CAJG - 2nd Conference of the Arabian Journal of Geosiences, Nov 2019, Sousse, Tunisia
Conference papers hal-02333260v1
Image document

Add an interface to query resolution of time bases

Jens Gustedt
[Research Report] N2459, ISO JTC1/SC22/WG14. 2019
Reports hal-02378605v1

A Provenance-aware Memory Object Model for C

Jens Gustedt , Peter Sewell , Kayvan Memarian , Victor B F Gomes , Martin Uecker
ISO/IEC TC1/SC22/WG14, pp.131, 2022
Books hal-02957464v1
Image document

ISO/IEC 9899 editor report March 2019

Larry Jones , Jens Gustedt
[Technical Report] N2348, ISO JCT1/SC22/WG14. 2019
Reports hal-02089676v1
Image document

Modernize time.h functions

Jens Gustedt
[Research Report] N2417, ISO JCT1/SC22/WG14. 2019
Reports hal-02311454v1
Image document

Memory access classification for vertical task parallelism

Jens Gustedt , Maxime Mogé
PDP 2019 - 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Feb 2019, Pavia, Italy
Conference papers hal-02046105v1
Image document

A Flexible and Distributed Runtime System for High-Throughput Constrained Data Streams Generation

Paul Godard , Vincent Loechner , Cédric Bastoul , Frederic Soulier , Guillaume Muller
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⟩
Conference papers hal-02381750v1

Unsequenced functions

Étienne Alepins , Jens Gustedt
[Research Report] Inria Nancy - Grand Est. 2022, pp.11
Reports hal-02952723v1
Image document

Lvalue closures

Jens Gustedt
[Research Report] N2737, ISO JCT1/SC22/WG14. 2021, pp.12
Reports hal-03106930v2
Image document

A Space and Bandwidth Efficient Multicore Algorithm for the Particle-in-Cell Method

Yann A Barsamian , Arthur Charguéraud , Alain Ketterlin
PPAM 2017 - 12th International Conference on Parallel Processing and Applied Mathematics, Sep 2017, Lublin, Poland. pp.1-12
Conference papers hal-01649172v1
Image document

Temporary Read-Only Permissions for Separation Logic

Arthur Charguéraud , François Pottier
Proceedings of the 26th European Symposium on Programming (ESOP 2017), Apr 2017, Uppsala, Sweden
Conference papers hal-01408657v2
Image document

Pipelined Multithreading Generation in a Polyhedral Compiler

Harenome Razanajato , Cédric Bastoul , Vincent Loechner
IMPACT 2020, in conjunction with HiPEAC 2020, Jan 2020, Bologna, Italy
Conference papers hal-02456521v1