From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Mechanical Support for Efficient Dissemination on the CAN Overlay Network, и . 8ème Conférence Francaise sur les Systèmes d'Exploitation (CFSE'11), Chapitre francais de l'ACM-SIGOPS, GDR ARP, (мая 2011)On Reachability in Parameterized Phaser Programs., , , , и . TACAS (1), том 11427 из Lecture Notes in Computer Science, стр. 299-315. Springer, (2019)Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors., , и . VORTEX@ECOOP/ISSTA, том 302 из EPTCS, стр. 32-46. (2018)Distributed futures for efficient data transfer between parallel processes, , , и . Proceedings of the 35th Annual ACM Symposium on Applied Computing, ACM, (марта 2020)A Survey on Parallelism and Determinism, , , и . ACM Computing Surveys, 55 (10): 1--28 (февраля 2023)A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving., , , , , , и . DATE, стр. 1-6. IEEE, (2024)Promise Plus: Flexible Synchronization for Parallel Computations on Arrays., , и . FSEN, том 12818 из Lecture Notes in Computer Science, стр. 190-196. Springer, (2021)S4BXI: the MPI-ready Portals 4 Simulator., , , и . MASCOTS, стр. 1-8. IEEE, (2021)Active Objects with Deterministic Behaviour., , и . IFM, том 12546 из Lecture Notes in Computer Science, стр. 181-198. Springer, (2020)Godot: All the Benefits of Implicit and Explicit Futures., , , , и . ECOOP, том 134 из LIPIcs, стр. 2:1-2:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)