Sites Inria

Il y a 4 Résultats avec le mot clé : "code source"

Xavier Leroy Xavier Leroy

Distinction

Prix La Recherche 2011

4/11/2011

Xavier Leroy, responsable de l'équipe-projet Gallium du centre de recherche Inria Paris - Rocquencourt, a obtenu le prix La Recherche 2011 en sciences de l'information le 18 octobre dernier aux côtés de Sandrine Blazy (université de Rennes, EPI Celtique), Zaynah Dargaye (maintenant au CEA), Jean-Baptiste Tristan (actuellement à Harvard). Récompensant ainsi leurs travaux sur la vérification formelle de compilateurs réalistes. 

Mots-clés :

Accueil > Centre > Paris > Actualités > Prix La Recherche 2011

Lire la suite

Software Heritage

Software Heritage : collecter, organiser, préserver et partager le patrimoine logiciel de l’humanité

Léa Angeli - 30/06/2016

Inria annonce aujourd'hui l’ouverture de Software Heritage, une initiative ambitieuse qui a pour objectif de collecter, organiser, préserver, et rendre accessible le code source de tous les logiciels disponibles publiquement.

Pour échanger des messages avec notre famille et nos amis, payer des factures, faire des achats, accéder au divertissement, faire des démarches administratives, trouver des informations, ou planifier des voyages, pratiquement tous nos actes quotidiens dépendent de logiciels exécutés par des ordinateurs. 

Mots-clés :

Accueil > Actualité > Médiacenter > Software Heritage : pour sauvegarder le patrimoine mondial du logiciel

Lire la suite

Patrimoine logiciel

Software Heritage : la grande bibliothèque du code source

Laurence Goussu - 3/04/2017

Software Heritage a pour objectif de collecter, organiser, préserver, et rendre accessible à tous le code source de tous les logiciels disponibles. En construisant une archive universelle et pérenne du logiciel, Software Heritage vise à mettre en place une infrastructure essentielle au service de la société, de la science et de l’industrie.

Software Heritage a été dévoilé le 30 juin 2016 avec deux premiers partenaires internationaux : Microsoft et DANS. Au cours des mois qui ont suivi, de nombreuses nouvelles collaborations se sont mises en place avec la Société générale, Intel Huawei, Nokia Bell Labs, et l’Université de Bologne.

Le 03 avril 2017, Inria signe une convention avec l’UNESCO qui ouvre la voie à des actions communes en faveur de la préservation et du partage du code source des logiciels.

Mots-clés :

Accueil > Actualité > Médiacenter > Software Heritage : la grande bibliothèque du code source

Lire la suite

Securité iot - © dataprint.fr

Horizon 2020

VESSEDIA : sécuriser les nouvelles applications et logiciels connectés

Le projet VESSEDIA, sélectionné dans le cadre de l’appel 2016 sur la sécurité numérique du programme-cadre Horizon 2020, et coordonné par Technikon (Autriche), a pour objectif de sécuriser les nouvelles applications et logiciels connectés.

Mots-clés :

Accueil > Europe & International > Espace européen de la recherche > Liste des projets Inria-H2020 > VESSEDIA

Lire la suite

Haut de page

Suivez Inria tout au long de son 50e anniversaire et au-delà !