Filter your results
- 72
- 63
- 30
- 15
- 7
- 4
- 4
- 3
- 2
- 1
- 1
- 1
- 87
- 27
- 23
- 22
- 13
- 9
- 8
- 8
- 8
- 8
- 7
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 198
- 8
- 3
- 3
- 2
- 1
- 1
- 203
- 203
- 16
- 14
- 12
- 11
- 9
- 8
- 8
- 8
- 5
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 203
- 203
- 203
- 203
- 203
- 203
- 203
- 203
- 203
- 203
- 203
- 203
- 203
- 203
- 180
- 75
- 63
- 22
- 22
- 21
- 21
- 20
- 17
- 17
- 16
- 15
- 15
- 14
- 13
- 13
- 13
- 13
- 13
- 13
- 12
- 12
- 11
- 11
- 11
- 11
- 11
- 11
- 10
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 193
- 6
- 4
- 167
- 23
- 13
- 11
- 37
- 26
- 19
- 35
- 15
- 17
- 15
- 14
- 14
|
Clint: A Direct Manipulation Tool for Parallelizing Compute-Intensive Program PartsIEEE 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 OptimizationInternational Conference on Embedded Computer Systems: Architectures, Modeling and Simulation - SAMOS XIV, Jul 2014, Agios Konstantinos, Greece
Conference papers
hal-01003228v1
|
|||
|
Efficient Data Layouts for a Three-Dimensional Electrostatic Particle-in-Cell CodeJournal of computational science, 2018, 27, pp.345--356. ⟨10.1016/j.jocs.2018.06.004⟩
Journal articles
hal-01664207v1
|
||
|
The Polyhedral Model Beyond Loops Recursion Optimization and Parallelization Through Polyhedral ModelingIMPACT 2019 - 9th International Workshop on Polyhedral Compilation Techniques, In conjunction with HiPEAC 2019, Jan 2019, Valencia, Spain
Conference papers
hal-02059558v1
|
||
|
SPETABARU: A Task-based Runtime System with Speculative Execution CapabilitySIAM CSE 2019 - SIAM Conference on Computational Science and Engineering, Feb 2019, Spokane, United States
Conference papers
hal-02050190v1
|
||
|
Parallélisation et passage à l'échelle durable d'une chaîne de traitement graphique pour l'impression professionnelleCalcul parallèle, distribué et partagé [cs.DC]. Université de strasbourg, 2019. Français. ⟨NNT : ⟩
Theses
tel-02456793v2
|
||
|
Arbogast – Origine d'un outil de dérivation automatique[Rapport de recherche] RR-8911, INRIA. 2016
Reports
hal-01313355v1
|
||
|
CalMAR -a Multi-Application Dataflow RuntimeThirteenth ACM International Conference on Embedded Software 2017, EMSOFT'17, Oct 2017, Seoul, South Korea. ⟨10.1145/3125503.3125562⟩
Conference papers
hal-01631691v1
|
||
|
Automatic Collapsing of Non-Rectangular LoopsParallel and Distributed Processing Symposium (IPDPS), 2017, May 2017, Orlando, United States. pp.778 - 787, ⟨10.1109/IPDPS.2017.34⟩
Conference papers
hal-01581081v1
|
||
|
Basic lambdas for CN2892, ISO JCT1/SC22/WG14. 2022, pp.52
Reports
hal-03860638v1
|
||
|
Futex based locks for C11's generic atomics (extended abstract)The 31st Annual ACM Symposium on Applied Computing, Apr 2016, Pisa, Italy. ⟨10.1145/2851613.2851956⟩
Conference papers
hal-01304108v1
|
||
|
Oracle-Guided Scheduling for Controlling Granularity in Implicitly Parallel LanguagesJournal of Functional Programming, 2016, 26, ⟨10.1017/S0956796816000101⟩
Journal articles
hal-01409069v1
|
||
|
Add annotations for unreachable control flow[Research Report] 2826, ISO JCT1/SC22/WG14. 2021, pp.10
Reports
hal-03265590v2
|
||
|
Improve type generic programming[Technical Report] N2890, ISO JCT1/SC22/WG14. 2022, pp.82
Reports
hal-03106758v3
|
||
|
Loop-based Modeling of Parallel Communication Traces[Research Report] RR-8562, INRIA. 2014, pp.10
Reports
hal-01044636v1
|
||
|
Type inference for variables and functions (slides)2022
Preprints, Working Papers, ...
hal-03165731v2
|
||
|
Émergence d'un leadership distribué pour la construction d'un enseignementAIPU22 - 32ème Congrès de l'Association Internationale de Pédagogie Universitaire, May 2022, Rennes, France
Conference papers
hal-03653969v1
|
||
|
Code examples for the book Modern C2021
Software
hal-03345464v1
|
||
|
Pairing GIS and distributed hydrological models using Matlab 2CAJG - 2nd Conference of the Arabian Journal of Geosiences, Nov 2019, Sousse, Tunisia
Conference papers
hal-02333260v1
|
||
|
Add an interface to query resolution of time bases[Research Report] N2459, ISO JTC1/SC22/WG14. 2019
Reports
hal-02378605v1
|
||
A Provenance-aware Memory Object Model for CISO/IEC TC1/SC22/WG14, pp.131, 2022
Books
hal-02957464v1
|
|||
|
ISO/IEC 9899 editor report March 2019[Technical Report] N2348, ISO JCT1/SC22/WG14. 2019
Reports
hal-02089676v1
|
||
|
Modernize time.h functions[Research Report] N2417, ISO JCT1/SC22/WG14. 2019
Reports
hal-02311454v1
|
||
|
Memory access classification for vertical task parallelismPDP 2019 - 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Feb 2019, Pavia, Italy
Conference papers
hal-02046105v1
|
||
|
A Flexible and Distributed Runtime System for High-Throughput Constrained Data Streams GenerationIPDPSW 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[Research Report] Inria Nancy - Grand Est. 2022, pp.11
Reports
hal-02952723v1
|
|||
|
Lvalue closures[Research Report] N2737, ISO JCT1/SC22/WG14. 2021, pp.12
Reports
hal-03106930v2
|
||
|
A Space and Bandwidth Efficient Multicore Algorithm for the Particle-in-Cell Method PPAM 2017 - 12th International Conference on Parallel Processing and Applied Mathematics, Sep 2017, Lublin, Poland. pp.1-12
Conference papers
hal-01649172v1
|
||
|
Temporary Read-Only Permissions for Separation LogicProceedings of the 26th European Symposium on Programming (ESOP 2017), Apr 2017, Uppsala, Sweden
Conference papers
hal-01408657v2
|
||
|
Pipelined Multithreading Generation in a Polyhedral CompilerIMPACT 2020, in conjunction with HiPEAC 2020, Jan 2020, Bologna, Italy
Conference papers
hal-02456521v1
|