Author of the publication

GECOS : Mécanisme de synchronisation passant à l'échelle à plusieurs lecteurs et un écrivain pour structures chaînées.

, , , and . Technique et Science Informatiques, 34 (1-2): 53-78 (2015)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Systèmes de mémoire transactionnelle pour les architectures à base de NoC Conception, implémentation et comparaison de deux politiques., and . Technique et Science Informatiques, 30 (9): 1061-1087 (2011)Étude de deux solutions pour le support matériel de la programmation parallèle dans les multiprocesseurs intégrés : vol de travail et mémoires transactionnelles. (Study of two Solutions for Hardware Support of Parallel Programming in Integrated Multiprocessors: Work-Stealing and Transactional Memory).. Grenoble Institute of Technology, France, (2010)LeakageVerif: Scalable and Efficient Leakage Verification in Symbolic Expressions., , and . IACR Cryptol. ePrint Arch., (2021)Armistice: Micro-Architectural Leakage Modelling for Masked Software Formal Verification., , and . IACR Cryptol. ePrint Arch., (2022)VerifMSI: Practical Verification of Hardware and Software Masking Schemes Implementations., and . SECRYPT, page 520-527. SCITEPRESS, (2023)Modeling a Cache Coherence Protocol with the Guarded Action Language., , and . MARS/VPT@ETAPS, volume 268 of EPTCS, page 88-103. (2018)GECOS : Mécanisme de synchronisation passant à l'échelle à plusieurs lecteurs et un écrivain pour structures chaînées., , , and . Technique et Science Informatiques, 34 (1-2): 53-78 (2015)Symbolic Approach for Side-Channel Resistance Analysis of Masked Assembly Codes., , , and . PROOFS, volume 49 of EPiC Series in Computing, page 17-32. EasyChair, (2017)Energy and Execution Time Comparison of Optical Flow Algorithms on SIMD and GPU Architectures., , , , , , , , and . DASIP, page 25-30. IEEE, (2018)A New Real-Time Embedded Video Denoising Algorithm., , , , , , , and . DASIP, page 47-52. IEEE, (2019)