( en | de | ru )

 

Disambiguierung von "Evrard, Hugues"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model Checking Futexes.

, und . SPIN, Volume 13872 von Lecture Notes in Computer Science, Seite 41-58. Springer, (2023)

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.

Hugues Lantuit

Paul Evrard

Olivier Hugues

James Evrard

Matthieu Evrard

 

Weitere Publikationen von Autoren mit dem selben Namen

Cooperative Kernels: GPU Multitasking for Blocking Algorithms (Extended Version)., , und . CoRR, (2017)DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation.. TACAS, Volume 9636 von Lecture Notes in Computer Science, Seite 553-559. Springer, (2016)Automated testing of graphics shader compilers., , , und . Proc. ACM Program. Lang., 1 (OOPSLA): 93:1-93:29 (2017)Specifying and Testing GPU Workgroup Progress Models., , , , , , und . CoRR, (2021)Putting Randomized Compiler Testing into Production (Experience Report)., , und . ECOOP, Volume 166 von LIPIcs, Seite 22:1-22:29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)MCC'2017 - The Seventh Model Checking Contest., , , , , , , , , und 8 andere Autor(en). Trans. Petri Nets Other Model. Concurr., (2018)Génération automatique d'implémentation distribuée à partir de modèles formels de processus concurrents asynchrones. (Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes).. Grenoble Alpes University, France, (2015)Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes., und . PDP, Seite 459-466. IEEE Computer Society, (2015)Formal Verification of Distributed Branching Multiway Synchronization Protocols., und . FMOODS/FORTE, Volume 7892 von Lecture Notes in Computer Science, Seite 146-160. Springer, (2013)Putting Randomized Compiler Testing into Production (Artifact)., , und . Dagstuhl Artifacts Ser., 6 (2): 03:1-03:2 (2020)