Un bac à sable open source pour la conception, la simulation et l’évaluation d’algorithmes d’apprentissage automatique opérant sur des flux de données.
Lire la suite
Une plateforme d’ingénierie dirigée par les modèles pour faciliter la conception de systèmes complexes logiciels et/ou matériels.
Lire la suite
Expérimentations de protocoles distribués par simulation basée agents.
Lire la suite
Une chaîne de compilation permettant de réaliser des traitements sur des données chiffrées sans les dévoiler.
Lire la suite
Renforcer la sécurité des logiciels par l’analyse formelle de leur code exécutable.
Lire la suite
Quand le CEA-List crée des outils Open Source à l’attention des ingénieurs directement exploitables par les ingénieurs, une approche pragmatique de diffuser la recherche auprès de l’industrie.
Lire la suite
Assister les ingénieurs dans la conception de systèmes complexes qui comportent un nombre croissant de logiciels.
Lire la suite