Definitions and Detection Procedures of Timing Anomalies for the Formal Verification of Predictability in Real-Time Systems
Benjamin Binder
Theses
tel-03959710v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Micro-drone ego-velocity and height estimation in GPS-denied environments using a FMCW MIMO Radar
Jérémy Barra
,
Thierry Creuzet
,
Suzanne Lesecq
,
Gérard Scorletti
,
Eric Blanco
et al.
Journal articles
cea-03949745v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Sismo -volcano classification in real time based on Empirical Mode Decomposition (EMD) and Machine Learning
Adolfo Inza
,
Pablo Eduardo Espinoza Lara
,
Carlos Alexandre
,
Jean Philippe Metaxian
,
Jerome I. Mars
et al.
American Geophysical Union, Fall Meeting 2020 , Dec 2020, San Francisco, United States
Conference papers
hal-03112554v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Processing Encrypted Multimedia Data Using Homomorphic Encryption
Sébastien Canard
,
Sergiu Carpov
,
Caroline Fontaine
,
Renaud Sirdey
Multimedia Security 2: Biometrics, Video Surveillance and Multimedia Encryption , 2, Wiley, pp.173-213, 2022,
⟨10.1002/9781119987390.ch6⟩
Book sections
hal-03837044v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Maskara: Compilation of a Masking Countermeasure with Optimised Polynomial Interpolation
Nicolas Belleville
,
Damien Couroussé
,
Karine Heydemann
,
Quentin Meunier
,
Inès Ben El Ouahma
et al.
Journal articles
hal-02931632v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Calcul de majorants sûrs de temps d'exécution au pire pour des tâches d'applications temps-réels critiques, pour des systèmes disposants de caches mémoire
Stéphane Rémi Louise
Systèmes embarqués. Université Paris Sud - Paris XI, 2002. Français.
⟨NNT : ⟩
Theses
tel-00695930v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A 220GOPS 96-Core Processor with 6 Chiplets 3D-Stacked on an Active Interposer Offering 0.6ns/mm Latency, 3Tb/s/mm 2 Inter-Chiplet Interconnects and 156mW/mm 2 @ 82%-Peak-Efficiency DC-DC Converters
Pascal Vivet
,
Eric Guthmuller
,
Yvain Thonnart
,
Gaël Pillonnet
,
Guillaume Moritz
et al.
Conference papers
hal-02985945v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Highly adaptive linear actor-critic for lightweight energy-harvesting IoT applications
Jean-Frédéric Christmann
,
Sota Sawaguchi
,
Suzanne Lesecq
Journal articles
cea-03534312v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Self-referenced and regulated sensing solution for PCM with OTS selector
Julien Gasquez
,
Bastien Giraud
,
Philippe Boivin
,
Yohann Moustapha-Rabault
,
Vincenzo Della Marca
et al.
Journal articles
cea-03605069v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Generalized parity-check matrices for SEC-DED codes with fixed parity
Samuel Evain
,
Nathaniel Seymour
,
Yannick Bonhomme
,
Valentin Gherman
Conference papers
cea-03635089v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Zero-Overhead Protection for CNN Weights
Stéphane Burel
,
Adrian Evans
,
Lorena Anghel
2021 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT) , Oct 2021, Athens (virtual), Greece.
⟨10.1109/DFT52944.2021.9568363⟩
Conference papers
hal-03470345v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
High-Performance Operation and Solder Reflow Compatibility in BEOL-Integrated 16-Kb HfO₂: Si-Based 1T-1C FeRAM Arrays
T. Francois
,
J. Coignus
,
A. Makosiej
,
B. Giraud
,
C. Carabasse
et al.
Journal articles
hal-03596923v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Low-Overhead Implementation of Binarized Neural Networks Employing Robust 2T2R Resistive RAM Bridges
M. Ezzadeen
,
A. Majumdar
,
Marc Bocquet
,
B. Giraud
,
J.-P. Noel
et al.
Conference papers
hal-03597353v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Using deep learning for sonar targets localization
Q Bruel
,
F Heitzmann
,
D Morche
,
Julien Huillery
,
Eric Blanco
et al.
ASPAI'2020 - 2nd International Conference on Advances in Signal Processing and Artificial Intelligence , IFSA, Jun 2020, berlin, Germany
Conference papers
cea-03482704v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Dream Net: a privacy preserving continual learning model for face emotion recognition
Marion Mainsant
,
Miguel Solinas
,
Marina Reyboz
,
Christelle Godin
,
Martial Mermillod
et al.
2021 9th International Conference on Affective Computing and Intelligent Interaction Workshops and Demos , Sep 2021, Nara - Online, Japan
Conference papers
cea-03474722v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Self-supervised learning for anomaly detection on time series: application to cellular data
Romain Bailly
,
Marielle Malfante
,
Cédric Allier
,
Lamya Ghenim
,
Jerome I. Mars
et al.
Conférence sur L'apprentissage Automatique , Jun 2021, Saint Etienne, France
Conference papers
hal-03655782v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Generating Efficient FPGA-based CNN Accelerators from High-Level Descriptions
Nermine Ali
,
Jean-Marc Philippe
,
Benoit Tain
,
Philippe Coussy
Journal articles
cea-03760568v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Circuit partitioning with path delay-based minimization
Julien Rodriguez
,
François Pellegrini
,
Galea François
,
Lilia Zaourar
31st European Conference on Operational Research , Jul 2021, Athènes, Greece
Conference papers
hal-03604540v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Illusion of large on-chip memory by networked computing chips for neural network inference
Robert Radway
,
Andrew Bartolo
,
Paul Jolly
,
Zainab Khan
,
Binh Le
et al.
Journal articles
cea-03759925v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Overcoming the Data Deluge Challenges with Greener Electronics
J.-R. Lequepeys
,
M. Duranton
,
S. Bonnetier
,
S. Catrou
,
R. Fournel
et al.
Conference papers
cea-03759933v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Storage class memory with computing row buffer: A design space exploration
Valentin Egloff
,
Jean-Philippe Noel
,
Maha Kooli
,
Bastien Giraud
,
Lorenzo Ciampolini
et al.
Other publications
cea-03605068v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Multi-agent actor-critic method for joint duty-cycle and transmission power control
Sota Sawaguchi
,
Jean-Frédéric Christmann
,
Anca Molnos
,
Carolynn Bernier
,
Suzanne Lesecq
et al.
Conference papers
cea-03271255v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Efficient deep learning approach for fault detection in the semiconductor industry
Liliana Lilibeth Andrade Porras
,
Thomas Baumela
,
Frédéric Pétrot
,
D. Briand
,
Olivier Bichler
et al.
ADTC 2021 - European Nanoelectronics Applications Design & Technology Conference , Jun 2021, Grenoble, France
Conference papers
hal-03421323v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Exploration of fault effects on formal RISC-V microarchitecture models
Simon Tollec
,
Mihail Asavoae
,
Damien Courousse
,
Karine Heydemann
,
Mathieu Jan
et al.
Conference papers
cea-03852138v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
SPEED: secure, PrivatE, and efficient deep learning
Arnaud Grivet Sébert
,
Rafaël Pinot
,
Martin Zuber
,
Cedric Gouy-Pailler
,
Renaud Sirdey
et al.
ECML PKDD 2021 - European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases , Basque Center for Applied Mathematics, Sep 2021, Bilbao, Spain. pp.675-694,
⟨10.1007/s10994-021-05970-3⟩
Conference papers
cea-03295491v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
System-level Evaluation of Chip-Scale Silicon Photonic Networks for Emerging Data-Intensive Applications
Aditya Narayan
,
Yvain Thonnart
,
Pascal Vivet
,
Ajay Joshi
,
Ayse Coskun
et al.
Conference papers
cea-03471369v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More