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 …
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 …
Le Service Expérimentations et Développement du centre Inria Lille – Nord Europe
organise les sessions suivantes :
• Mardi 17 janvier 9h30 à 12h00 : Prise en main Arduino
• Mardi 17 janvier 13h30 à 16h00 : Entrées-sorties avec un Raspberry Pi
• Mardi 24 janvier 9h30 à 12h00 : Prise en main Arduino
• …
La formation permanente de la DR18 du CNRS organise en partenariat avec le réseau des informaticiens Min2Rien, une formation sur le langage Python.
Ce langage de programmation permet de développer des scripts simples de quelques lignes ou des applications complètes gérant des données complexes.
Cette session de 3 jours qui aura lieu …