Les 22 et 23 janvier se tiendra à Lille Grand Palais le 11ème FIC.
Inscription gratuite, programme et autres informations sur le site: https://www.forum-fic.com/accueil.htm
En suivant les liens ci-dessous, vous trouverez une présentation et un poster traitant de tests sur les entrées et sorties dans MongoDB.
https://hal.inria.fr/hal-01793479
https://hal.inria.fr/hal-01793531
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 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 …