Loading...
Derniers dépôts
-
Edgard Schiebelbein, Saalik Hatia, Annette Bieniusa, Gustavo Petri, Carla Ferreira, et al.. Models for Storage in Database Backends: A Rigorous Approach for Formally-Correct Designs. Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), EuroSys (ACM), Apr 2024, Athènes, Greece. ⟨10.1145/3642976.3653036⟩. ⟨hal-04507674v2⟩
-
Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg. Crocodile: a Symbolic/Symbolic tool for the analysis of Symmetric Nets with Bag. 32nd International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2011), Jun 2011, Newcastle, United Kingdom. pp.338-347, ⟨10.1007/978-3-642-21834-7_20⟩. ⟨hal-01282493⟩
-
Alán Rodrigo Díaz Rizo, Abdelrahman Emad Abdelazim, Hassan Aboushady, Haralampos-G. Stratigopoulos. Covert Communication Channels Based On Hardware Trojans: Open-Source Dataset and AI-Based Detection. IEEE International Symposium on Hardware Oriented Security and Trust, May 2024, Washington D.C., United States. ⟨hal-04505994⟩
-
Jérôme Hernandez. Facilitating the Development of Game-Based Assessments : An In-depth Exploration of Behavioural Profiling and Soft Skills Recognition via Gamified Situational Judgement Tests. Computer Science and Game Theory [cs.GT]. Sorbonne Université, 2023. English. ⟨NNT : 2023SORUS589⟩. ⟨tel-04496256⟩
-
Vincent Fu, Lilia Zaourar, Alix Munier-Kordon, Marc Duranton. Design space exploration of HPC systems with Random Forest-based Bayesian Optimization. RAPIDO '24: the 16th Workshop on Rapid Simulation and Performance Evaluation for Design, Jan 2024, Munich, Germany. pp.9-15, ⟨10.1145/3642921.3642923⟩. ⟨cea-04495272⟩
-
Lionel Lacassagne, Laurent Cabaret, Daniel Etiemble. Parallel light speed labeling: An efficient connected component labeling algorithm for multi-core processors. IEEE International Conference on Image Processing (ICIP 2015), Sep 2015, Quebec, Canada. pp.3486-3489, ⟨10.1109/ICIP.2015.7351452⟩. ⟨hal-01243310⟩