( en | de | ru )

 

Disambiguierung von "Henrio, Ludovic"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
S4BXI: the MPI-ready Portals 4 Simulator.

, , , und . MASCOTS, Seite 1-8. IEEE, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ludovic Henrio

Ludovic Magerand

Ludovic Hofer

Ludovic Devaux

Ludovic Durand

 

Weitere Publikationen von Autoren mit dem selben Namen

On Reachability in Parameterized Phaser Programs., , , , und . TACAS (1), Volume 11427 von Lecture Notes in Computer Science, Seite 299-315. Springer, (2019)Mechanical Support for Efficient Dissemination on the CAN Overlay Network, und . 8ème Conférence Francaise sur les Systèmes d'Exploitation (CFSE'11), Chapitre francais de l'ACM-SIGOPS, GDR ARP, (Mai 2011)S4BXI: the MPI-ready Portals 4 Simulator., , , und . MASCOTS, Seite 1-8. IEEE, (2021)Promise Plus: Flexible Synchronization for Parallel Computations on Arrays., , und . FSEN, Volume 12818 von Lecture Notes in Computer Science, Seite 190-196. Springer, (2021)Active Objects with Deterministic Behaviour., , und . IFM, Volume 12546 von Lecture Notes in Computer Science, Seite 181-198. Springer, (2020)Distributed futures for efficient data transfer between parallel processes, , , und . Proceedings of the 35th Annual ACM Symposium on Applied Computing, ACM, (März 2020)A Survey on Parallelism and Determinism, , , und . ACM Computing Surveys, 55 (10): 1--28 (Februar 2023)Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors., , und . VORTEX@ECOOP/ISSTA, Volume 302 von EPTCS, Seite 32-46. (2018)An Optimised Flow for Futures: From Theory to Practice., , , , und . Art Sci. Eng. Program., 6 (1): 3 (2022)A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving., , , , , , und . DATE, Seite 1-6. IEEE, (2024)