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
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 …