Search - Archive ouverte HAL Access content directly

Filter your results

18 Results
Structure: Internal structure identifier : 1071828
Image document

Generating Efficient FPGA-based CNN Accelerators from High-Level Descriptions

Nermine Ali , Jean-Marc Philippe , Benoit Tain , Philippe Coussy
Journal of Signal Processing Systems, 2022, ⟨10.1007/s11265-022-01797-w⟩
Journal articles cea-03760532v1
Image document

Exploration of fault effects on formal RISC-V microarchitecture models

Simon Tollec , Mihail Asavoae , Damien Courousse , Karine Heydemann , Mathieu Jan et al.
FTDC 2022 - Workshop on Fault Detection and Tolerance in Cryptography, Sep 2022, Virtual event, Italy. pp.73-83, ⟨10.1109/FDTC57191.2022.00017⟩
Conference papers cea-03852138v1
Image document

Mathematical modelling of Logic Locking against the insertion of Hardware Trojan in an Intregated Circuit

Jonathan Fontaine , Lilia Zaourar , Roselyne Chotin
31 European conference on operational research, Jul 2021, Athènes, Greece
Conference papers cea-03463941v1
Image document

Work in Progress: Automatic Construction ofPipeline Datapaths from High-Level HDL Code

Samira Ait Bensaid , Mihail Asavoae , Farhat Thabet , Mathieu Jan
28th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2022), IEEE, May 2022, Milan, Italy. pp.4
Conference papers cea-03759799v1

Sur la performance des implémentatins d'algorithmes de graphes sur les ordinateurs modernes

François Galea
23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France
Conference papers hal-03596236v1

Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor

Cinzia Bernardeschi , Andrea Domenici , Maurizio Palmieri , Sergio Saponara , Tanguy Sassolas et al.
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 12524, Springer International Publishing, pp.263-279, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-67220-1_20⟩
Book sections cea-03463379v1

Generating Efficient FPGA-based CNN Accelerators from High-Level Descriptions

Nermine Ali , Jean-Marc Philippe , Benoit Tain , Philippe Coussy
Journal of Signal Processing Systems (JSPS), 2022, pp.1. ⟨10.1007/s11265-022-01797-w⟩
Journal articles cea-03760568v1
Image document

Pipeline Datapath Models from RISC-V based cores

Samira Ait Bensaid , Mihail Asavoae , Farhat Thabet , Mathieu Jan
Spring 2022 RISC-V Week, May 2022, Paris, France. pp.0
Conference papers cea-03759801v1
Image document

Molecular bases of P450-mediated resistance to the neonicotinoid insecticide imidacloprid in the mosquito Ae. aegypti

Marius Gonse Zoh , Thierry Gaude , Sophie Prud'Homme , Muhammad Asam Riaz , Jean-Philippe David et al.
Aquatic Toxicology, 2021, 236, pp.105860. ⟨10.1016/j.aquatox.2021.105860⟩
Journal articles hal-03433427v1
Image document

Multilevel simulation-based co-design of next generation HPC microprocessors

Lilia Zaourar , Mohamed Benazouz , Ayoub Mouhagir , Fatma Jebali , Tanguy Sassolas et al.
2021 International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems (PMBS), Nov 2021, St. Louis, United States. pp.18, ⟨10.1109/PMBS54543.2021.00008⟩
Conference papers cea-03605097v1
Image document

Recherche de cliques pour un problème de cybersécurité matériel

Jonathan Fontaine , Lilia Zaourar , Mohamed Benazouz , Roselyne Chotin
23ème édition du congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne, France
Conference papers cea-03605100v1
Image document

Co-simulation of a Model Predictive Control System for Automotive Application

Cinzia Bernardeschi , Pierpaolo Dini , Andrea Domenici , Ayoub Mouhagir , Maurizio Palmieri et al.
CoSim-CPS 2021 : 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems, Dec 2021, Virtual, France. paper 3
Conference papers cea-03605098v1
Image document

Optimisation de contre-mesure à l'insertion de Hardware Trojan

Jonathan Fontaine , Lilia Zaourar , Roselyne Chotin
22ème Conférence ROADEF de la société Française de Recherche Opérationnelle et Aide à la Décision, Apr 2021, Mulhouse, France
Conference papers cea-03463925v1

Interacting lethal and nonlethal human activities shape complex risk tolerance behaviors in a mountain herbivore

Nicolas Courbin , Mathieu Garel , Pascal Marchand , Antoine Duparc , Lucie Debeffe et al.
Ecological Applications, 2022, 18 p. ⟨10.1002/eap.2640⟩
Journal articles hal-03694845v1
Image document

Circuit partitioning with path delay-based minimization

Julien Rodriguez , François Galea , François Pellegrini , Lilia Zaourar
EURO 2021 - 31st European conference on operational research, Jul 2021, Athènes, Greece
Conference papers cea-03616446v1
Image document

Exploration and Generation of Efficient FPGA-based Deep Neural Network Accelerators

Nermine Ali , Jean-Marc Philippe , Benoit Tain , Philippe Coussy
IEEE Workshop on Signal Processing Systems (SiPS), 2021, pp.123-128. ⟨10.1109/SiPS52927.2021.00030⟩
Journal articles cea-03759800v1

Partitionnement d'un ensemble connexe d'hypergraphes orientés sans cycle avec minimisation de chemin

Julien Rodriguez , François Galea , François Pellegrini , Lilia Zaourar
23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France
Conference papers hal-03596218v1
Image document

SamurAI: a 1.7MOPS-36GOPS Adaptive Versatile IoT Node with 15,000x Peak-to-Idle Power Reduction, 207ns Wake-up Time and 1.3TOPS/W ML Efficiency

Ivan Miro-Panades , Benoit Tain , Jean-Frédéric Christmann , David Coriat , Romain Lemaire et al.
2020 IEEE Symposium on VLSI Circuits, Jun 2020, Honolulu, United States. ⟨10.1109/VLSICircuits18222.2020.9163000⟩
Conference papers hal-03022034v1