Matthieu Moy
Maître de conférences à l'UCBL/LIP
6
Documents
Identifiants chercheurs
- matthieu-moy
- IdRef : 106984993
- 0000-0002-6054-8882
Présentation
<https://matthieu-moy.fr/>
Publications
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 4
- 2
- 1
- 1
- 3
- 1
|
An Optimised Flow for Futures: From Theory to PracticeThe Art, Science, and Engineering of Programming, 2021, 6 (1), pp.1-41. ⟨10.22152/programming-journal.org/2022/6/3⟩
Article dans une revue
hal-03440766v1
|
|
A Transistor Level Relational Semantics for Electrical Rule Checking by SMT SolvingDesign, Automation and Test in Europe Conference, Mar 2024, Valencia, Spain
Communication dans un congrès
hal-04527225v1
|
|
Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo TheoryDATE 2023 - Design, Automation and Test in Europe Conference, Apr 2023, Anvers (Antwerpen), Belgium
Communication dans un congrès
hal-04007446v1
|
|
Promise Plus: Flexible Synchronization for Parallel Computations on ArraysFSEN 2021 - 9th IPM International Conference on Fundamentals of Software Engineering, May 2021, Tehran, Iran. pp.1-7, ⟨10.1007/978-3-030-89247-0_13⟩
Communication dans un congrès
hal-03143269v1
|
|
S4BXI: the MPI-ready Portals 4 SimulatorMASCOTS 2021 - 29th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Nov 2021, Houston, United States. pp.1-8, ⟨10.1109/MASCOTS53633.2021.9614285⟩
Communication dans un congrès
hal-03366573v1
|
|
Simulation of the Portals 4 protocol, and case study on the BXI interconnectHPCS 2020 - International Conference on High Performance Computing & Simulation, Dec 2020, Barcelona, Spain. pp.1-8
Communication dans un congrès
hal-02972297v1
|