Filtrer vos résultats
- 26
- 1
- 20
- 4
- 1
- 1
- 1
- 1
- 27
- 2
- 3
- 8
- 2
- 3
- 1
- 2
- 1
- 4
- 2
- 1
- 25
- 2
- 27
- 24
- 12
- 3
- 3
- 1
- 1
- 27
- 7
- 7
- 6
- 6
- 4
- 4
- 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
27 résultats
|
|
|
triés par
|
|
|
Maximizing Communication Overlap with Dynamic Program AnalysisInternational Conference on High Performance Computing in Asia-Pacific Region, Jan 2018, Tokyo, Japan
Communication dans un congrès
hal-01937407v1
|
||
|
|
Automatic Code Motion to Extend MPI Nonblocking Overlap WindowC3PO'20 Workshop - First Workshop on Compiler-Assisted Correctness Checking and Performance Optimization for HPC, Jun 2020, Frankfurt / Virtual, Germany. pp.43-54, ⟨10.1007/978-3-030-59851-8_4⟩
Communication dans un congrès
cea-03010533v1
|
||
|
|
Dynamic Data Race Detection for MPI-RMA ProgramsEuroMPI 2021 - European MPI Users's Group Meeting, Sep 2021, Munich, Germany
Communication dans un congrès
hal-03374614v1
|
||
|
|
Highlighting PARCOACH Improvements on MBISC-W 2023 - Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis, Nov 2023, Denver CO, United States. pp.238-241, ⟨10.1145/3624062.3624093⟩
Communication dans un congrès
hal-04320261v1
|
||
|
|
PARCOACH Extension for Static MPI Nonblocking and Persistent Communication ValidationCorrectness 2020: Fourth International Workshop on Software Correctness for HPC Applications, Nov 2020, Atlanta / Virtual, United States. ⟨10.1109/Correctness51934.2020.00009⟩
Communication dans un congrès
cea-03014171v1
|
||
|
|
PARCOACH Extension for Hybrid Applications with Interprocedural Analysis9th International Workshop on Parallel Tools for High Performance Computing, Sep 2015, Dresden, Germany. pp.135 - 146, ⟨10.1007/978-3-319-39589-0_11⟩
Communication dans un congrès
hal-01420655v1
|
||
|
|
Learning Intermediate Representations using Graph Neural Networks for NUMA and Prefetchers OptimizationIPDPS 2022 - 36th IEEE International Parallel & Distributed Processing Symposium, May 2022, Lyon / Virtual, France
Communication dans un congrès
hal-03603118v1
|
||
|
|
Rethinking Data Race Detection in MPI-RMA Programs7th International Workshop on Software Correctness for HPC Applications (Correctness '23), Nov 2023, Denver (Colorado, USA), United States. pp.196-204, ⟨10.1145/3624062.3624086⟩
Communication dans un congrès
hal-04272399v1
|
||
|
|
Static Validation of Barriers and Worksharing Constructs in OpenMP ApplicationsIWOMP, Sep 2014, Salvador, Brazil. pp.73 - 86, ⟨10.1007/978-3-319-11454-5_6⟩
Communication dans un congrès
hal-01078759v1
|
||
À quoi servent les ordinateurs les plus puissants au monde ? Un exemple en cardiologieThe Conversation France, 2022
Article dans une revue
hal-03939093v1
|
|||
|
|
Static Local Concurrency Errors Detection in MPI-RMA ProgramsCorrectness 2022 - Sixth International Workshop on Software Correctness for HPC Applications, Nov 2022, Dallas, United States
Communication dans un congrès
hal-03882459v1
|
||
|
|
Static/Dynamic Analyses for Validation and Improvements of Multi-Model HPC Applications.Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Bordeaux, 2015. English. ⟨NNT : 2015BORD0176⟩
Thèse
tel-01228072v1
|
||
|
|
PARCOACH: Combining static and dynamic validation of MPI collective communicationsInternational Journal of High Performance Computing Applications, 2014, pp.10.1177/1094342014552204. ⟨10.1177/1094342014552204⟩
Article dans une revue
hal-01078762v1
|
||
|
|
Multi-Valued Expression Analysis for Collective CheckingEuroPar, Aug 2019, Göttingen, Germany
Communication dans un congrès
hal-02390025v1
|
||
|
|
Feasibility of Whole-Heart Electrophysiological Models With Near-Cellular ResolutionCinC 2020 - Computing in Cardiology, Sep 2020, Rimini / Virtual, Italy. ⟨10.22489/CinC.2020.126⟩
Communication dans un congrès
hal-02943513v2
|
||
|
|
Decentralized in-order execution of a sequential task-based code for shared-memory architecturesIPDPSW 2022 - IEEE International Parallel and Distributed Processing Symposium Workshops, May 2022, Lyon, France. pp.552-561, ⟨10.1109/IPDPSW55747.2022.00095⟩
Communication dans un congrès
hal-03896030v1
|
||
|
|
MPI Thread-Level Checking for MPI+OpenMP ApplicationsEuro-Par 2015, Aug 2015, Vienne, Austria. pp.31-42, ⟨10.1007/978-3-662-48096-0_3⟩
Communication dans un congrès
hal-01199718v1
|
||
|
|
A comparison of multithreading, vectorization, and GPU computing for the acceleration of cardiac electrophysiology modelsComputing in Cardiology 2022, Sep 2022, Tampere, Finland
Communication dans un congrès
hal-03936903v1
|
||
|
|
Combining Static and Dynamic Validation of MPI Collective CommunicationEuroMPI 2013 - 20th European MPI Users' Group Meeting, Sep 2013, Madrid, Spain. pp.117-122, ⟨10.1145/2488551.2488555⟩
Communication dans un congrès
hal-00920901v1
|
||
|
|
Correctness Analysis of MPI-3 Non-Blocking Communications in PARCOACHEuropean MPI Users' Group Meeting , Sep 2015, Bordeaux, France. ⟨10.1145/1235⟩
Communication dans un congrès
hal-01252321v1
|
||
|
|
The MPI BUGS INITIATIVE: a Framework for MPI Verification Tools EvaluationCorrectness 2021: Fifth International Workshop on Software Correctness for HPC Applications, Nov 2021, St. Louis, United States. pp.1-9
Communication dans un congrès
hal-03474762v1
|
||
|
|
Decentralized in-order execution of a sequential task-based code for shared-memory architectures[Research Report] RR-9450, Inria Bordeaux - Sud Ouest. 2022, pp.30
Rapport
hal-03547334v1
|
||
|
|
Optimizing Performance and Energy Across Problem Sizes Through a Search Space Exploration and Machine LearningJournal of Parallel and Distributed Computing, 2023, 180, pp.104720. ⟨10.1016/j.jpdc.2023.104720⟩
Article dans une revue
hal-03810305v1
|
||
|
|
1 minute avec...Emmanuelle Saillard2022
Vidéo
hal-03656775v1
|
||
|
|
MPI detach — Towards automatic asynchronous local completionParallel Computing, 2022, 109, pp.102859. ⟨10.1016/j.parco.2021.102859⟩
Article dans une revue
cea-03537990v1
|
||
|
|
Static/Dynamic Validation of MPI Collective Communications in Multi-threaded Contextthe 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Feb 2015, San Francisco, United States. pp.279-280, ⟨10.1145/2688500.2688548⟩
Communication dans un congrès
hal-01253204v1
|
||
|
|
PARCOACH Extension for a Full-Interprocedural Collectives VerificationSecond International Workshop on Software Correctness for HPC Applications, Nov 2018, Dallas, United States
Communication dans un congrès
hal-01937316v1
|