Leveraging access mode declarations in a model for memory consistency in heterogeneous systems
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...
Article Dans Une Revue
Journal of Logical and Algebraic Methods in Programming
Année : 2020
Ludovic Henrio : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02331964
Soumis le : jeudi 24 octobre 2019-15:42:40
Dernière modification le : mardi 12 novembre 2024-15:20:07
Archivage à long terme le : samedi 25 janvier 2020-16:34:51
Dates et versions
Identifiants
- HAL Id : hal-02331964 , version 1
- ARXIV : 1910.11110
- DOI : 10.1016/j.jlamp.2019.100498
Citer
Ludovic Henrio, Christoph Kessler, Lu Li. Leveraging access mode declarations in a model for memory consistency in heterogeneous systems. Journal of Logical and Algebraic Methods in Programming, 2020, 110, pp.1-17. ⟨10.1016/j.jlamp.2019.100498⟩. ⟨hal-02331964⟩
104
Consultations
77
Téléchargements