En suivant le lien ci-dessous, vous trouverez les travaux de thèse de Mohamed Tahar Hammi réalisés à Télécom Paritech. https://pastel.archives-ouvertes.fr/tel-01997261/document
La formation permanente de la DR18 du CNRS organise en partenariat avec le réseau des informaticiens Min2Rien, une formation d’initiation au langage Python. Cette session de 3 jours aura lieu du 10 au 12 avril 2018 sur le site de la délégation CNRS à Lille (2 rue des canonniers). Les informations sont disponibles ici. La […]
Les Service Expérimentation et Développement et Ressources humaines du Centre de Recherche Inria Lille – Nord Europe organisent une formation Docker les 14 et 15 mars. Objectif pédagogique : prise en main de la technologie docker sur poste de travail. Programme (2 jours) : Introduction Managing docker containers Inputs/Outputs Managing docker images Building docker images […]
En suivant le lien ci-dessous, vous trouverez une thèse qui porte sur le test des programmes C. Une méthode de diagnostic automatique des échecs de preuve est proposée. https://tel.archives-ouvertes.fr/tel-01680052
Résumé : Les architectures manycore, qui comprennent un grand nombre de cœurs, sont un moyen de répondre à l’augmentation continue de la quantité de données numériques à traiter par les infrastructures proposant des services de cloud computing. Ces données, qui peuvent concerner des entreprises aussi bien que des particuliers, sont sensibles par nature, et […]