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)S4BXI: the MPI-ready Portals 4 Simulator., , , и . MASCOTS, стр. 1-8. IEEE, (2021)Promise Plus: Flexible Synchronization for Parallel Computations on Arrays., , и . FSEN, том 12818 из Lecture Notes in Computer Science, стр. 190-196. Springer, (2021)Active Objects with Deterministic Behaviour., , и . IFM, том 12546 из Lecture Notes in Computer Science, стр. 181-198. Springer, (2020)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)An Optimised Flow for Futures: From Theory to Practice., , , , и . Art Sci. Eng. Program., 6 (1): 3 (2022)A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving., , , , , , и . DATE, стр. 1-6. IEEE, (2024)