Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

248 résultats
Page :
triés par
Image document

Les assistants de preuve, ou comment avoir confiance en ses démonstrations.

 Julien Narboux
Séminaire L, Mar 2013, Strasbourg, France
Document associé à des manifestations scientifiques hal-00809448v1
Image document

Autovesk: Automatic vectorized code generation from unstructured static kernels using graph transformations

 Hayfa Tayeb , Ludovic Paillat , Bérenger Bramas
ACM Transactions on Architecture and Code Optimization, 2023, ⟨10.1145/3631709⟩
Article dans une revue hal-03914178v3
Image document

Adaptive Code Refinement: A Compiler Technique and Extensions to Generate Self-Tuning Applications

 Maxime Schmitt , Philippe Helluy , Cédric Bastoul
HiPC 2017 - 24th International Conference on High Performance Computing, Data, and Analytics, Dec 2017, Jaipur, India. pp.1-10
Communication dans un congrès hal-01655459v1
Image document

Opening Polyhedral Compiler's Black Box

 Lénaïc Bagnères , Oleksandr Zinenko , Stéphane Huot , Cédric Bastoul
CGO 2016 - 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization, Mar 2016, Barcelona, Spain
Communication dans un congrès hal-01253322v1
Image document

Arbogast: Higher order automatic differentiation for special functions with Modular C

 Isabelle Charpentier , Jens Gustedt
Optimization Methods and Software, 2018, 33 (4-6), pp.963-987. ⟨10.1080/10556788.2018.1428603⟩
Article dans une revue hal-01307750v4
Image document

Improving parallel executions by increasing task granularity in task-based runtime systems using acyclic DAG clustering

 Bérenger Bramas , Alain Ketterlin
PeerJ Computer Science, 2020, ⟨10.7717/peerj-cs.247⟩
Article dans une revue hal-02436826v1
Image document

Rec2Poly: Converting Recursions to Polyhedral Optimized Loops Using an Inspector-Executor Strategy

 Salwa Kobeissi , Alain Ketterlin , Philippe Clauss
SAMOS 2020: Embedded Computer Systems: Architectures, Modeling, and Simulation, pp.96-109, 2020, ⟨10.1007/978-3-030-60939-9_7⟩
Chapitre d'ouvrage hal-02971434v1
Image document

Function failure annotation

 Niall Douglas , Jens Gustedt
[Research Report] N2429, ISO JCT1/SC22/WG14. 2019
Rapport hal-02311462v1
Image document

Automated prioritizing heuristics for parallel task graph scheduling in heterogeneous computing

 Clément Flint , Bérenger Bramas , Ludovic Paillat
PeerJ Computer Science, 2022, 8, pp.e969. ⟨10.7717/peerj-cs.969⟩
Article dans une revue hal-02993015v2
Image document

A Modern Eye on Separation Logic for Sequential Programs

 Arthur Charguéraud
Computer Science [cs]. Université de Strasbourg, 2023
HDR tel-04076725v1
Image document

C source-to-source compiler enhancement from within

 Jens Gustedt
[Research Report] RR-9375, INRIA. 2020
Rapport hal-02998412v2
Image document

Function literals and value closures

 Jens Gustedt
[Technical Report] N2736, ISO JCT1/SC22/WG14. 2021, pp.55
Rapport hal-03106767v2
Image document

Enforce storage stability (slides)

 Jens Gustedt
2021
Pré-publication, Document de travail hal-03328555v1
Image document

Modern C

 Jens Gustedt
Manning, 2019, 9781617295812
Ouvrages hal-02383654v1

Automatic Generation of Adaptive Simulation Codes

 Cédric Bastoul , César Sabater
SimRace, Conference on Numerical Methods and High Performance Computing for Industrial Fluid Flows, IFPEN, Dec 2015, Rueil-Malmaison, France
Communication dans un congrès hal-01245558v1
Image document

Options for lambdas

 Jens Gustedt
2022
Pré-publication, Document de travail hal-03553612v1
Image document

An efficient particle tracking algorithm for large-scale parallel pseudo-spectral simulations of turbulence

 Cristian Lalescu , Bérenger Bramas , Markus Rampp , Michael Wilczek
Computer Physics Communications, 2022, 278, pp.108406. ⟨10.1016/j.cpc.2022.108406⟩
Article dans une revue hal-03682460v1
Image document

Optimizing Locality by Topology-aware Placement for a Task Based Programming Model

 Jens Gustedt , Emmanuel Jeannot , Farouk Mansouri
IEEE Cluster 2016 Conference, Sep 2016, Taipei, Taiwan. , pp.164 - 165, ⟨10.1109/CLUSTER.2016.87⟩
Poster de conférence hal-01416284v1
Image document

VOCAL – A Verified OCAml Library

 Arthur Charguéraud , Jean-Christophe Filliâtre , Mário Pereira , François Pottier
2017
Autre publication scientifique hal-01561094v1
Image document

Memory access classification for vertical task parallelism

 Jens Gustedt , Maxime Mogé
[Research Report] RR-9182, Inria Nancy - Grand Est. 2018, pp.1-20
Rapport hal-01814740v1
Image document

OptiTrust: an Interactive Framework for Source-to-Source Transformations

 Arthur Charguéraud , Begatim Bytyqi , Damien Rouhling , Yann A Barsamian
2022
Pré-publication, Document de travail hal-03773485v1
Image document

Numerical simulation for the MHD system in 2D using OpenCL

 Michel Massaro , Philippe Helluy , Vincent Loechner
ESAIM: Proceedings, 2014, 45, pp.485-492. ⟨10.1051/proc/201445050⟩
Article dans une revue hal-00919751v1

Introduce the nullptr constant

 Jens Gustedt , JeanHeyd Meneide
[Research Report] N3042, ISO JTC1/SC22/WG14. 2022
Rapport hal-02167929v2
Image document

Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits

 Arthur Charguéraud , François Pottier
Journal of Automated Reasoning, 2019, 62 (3), pp.331--365. ⟨10.1007/s10817-017-9431-7⟩
Article dans une revue hal-01652785v1

Identifying array length state

 Jens Gustedt , Martin Uecker
ISO JCT1/SC22/WG14. 2023
Rapport hal-04358362v1

Extensions to the preprocessor for C2Y

 Jens Gustedt
N3190, ISO JCT1/SC22/WG14. 2023
Rapport hal-04358378v1
Image document

Dynamic Tasks Scheduling with Multiple Priorities on Heterogeneous Computing Systems

 Hayfa Tayeb , Bérenger Bramas , Mathieu Faverge , Abdou Guermouche
2024
Pré-publication, Document de travail hal-04498634v1

Wide Function Pointer Types for Pairing Code and Data

 Martin Uecker , Jens Gustedt
[Research Report] 2787, ISO JCT1/SC22/WG14. 2021
Rapport hal-03404607v1
Image document

Towards Complete Tracking of Provenance in Experimental Distributed Systems Research

 Tomasz Buchert , Lucas Nussbaum , Jens Gustedt
REPPAR - Second International Workshop on Reproducibility in Parallel Computing -- held together with Euro-Par, Aug 2015, Vienna, Austria
Communication dans un congrès hal-01191855v2
Image document

PADRONE: a Platform for Online Profiling, Analysis, and Optimization

 Emmanuel Riou , Erven Rohou , Philippe Clauss , Nabil Hallou , Alain Ketterlin
DCE 2014 - International workshop on Dynamic Compilation Everywhere, Jan 2014, Vienne, Austria
Communication dans un congrès hal-00917950v1
Page :