CORTEX: développement facilité de contrôleurs robotiques.
Lire la suite
SCORE : développement facilité d’interface de programmation, et de commande supervisée de robots.
Lire la suite
VPSim accélère l’exploration de l’espace de conception des architectures numériques.
Lire la suite
Un analyseur linguistique disponible en 60 langues et parmi les plus performants au monde.
Lire la suite
Un environnement open source d’analyse formelle de code C pour garantir la sûreté et la sécurité des programmes.
Lire la suite
Le CEA-List développe des méthodes de Contrôle Non Destructif (CND) pour l’inspection de pièces issues de la fabrication additive.
Lire la suite
Sécuriser un système embarqué grâce à l’application automatique de contremesures logicielles.
Lire la suite
Du 11 au 14 janvier 2021, le CEA participe au Consumer Electronic Show (CES) pour la 7ème année consécutive.
Lire la suite
Le CEA-List est sponsor de AI Safety qui se tiendra en ligne du 19 au 20 août.
Lire la suite
Le CEA-List participera à la 33ème conférence internationale sur le génie logiciel et l’ingénierie des connaissances (SEKE 2021) qui se tiendra en ligne du 1er au 10 juillet 2021.
Lire la suite