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 […]
La plateforme France Université Numérique vient de mettre en ligne un MOOC réalisé en collaboration entre l’Institut de la Francophonie pour l’ingénierie de la connaissance et la formation à distance, Sup’Com de l’Université de Carthage ainsi que la Faculté des Sciences et de Technologie de l’Université Hassan 1er de Settat. Elle va permettre l’acquisition des […]