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
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 …
Ci-dessous, un lien vers un travail théorique sur les chaînes de traitement et leur mise en place:
https://tel.archives-ouvertes.fr/tel-01301681/document
Dans les domaines scientifiques, particulièrement en bioinformatique, des services élémentaires sont composés sous forme de workflows pour effectuer des expériences d’analyse de données complexes. À cause de l’hétérogénéité des ressources, la composition …
http://tel.archives-ouvertes.fr/docs/00/95/07/00/PDF/HAEN_2013CLF22387.pdf?part=1.2
Ci-dessus, le lien vers une thèse (en anglais) à l’attention des ASR.
Vous y trouverez, entre autres:
– la présentation de méthodes existantes pour la gestion des ressources (diagnostic de problème et restauration),
– la proposition d’un nouvel outil (Phronesis) pour gérer les ressources,
– les résultats de tests de cet outil en …