par Cécile le 10/01/2018 dans
Développement, Thèse/HDR
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
par Jonathan CHATRIOT le 11/12/2017 dans
Evénements, Journées MIn2RIEN
Le réseau métier Min2rien organise sa
14ème journée thématique “Gestion du Poste de travail”
le jeudi 25 Janvier 2018 au Learning Center Lilliad
de 9h00 à 17h00
Cette année encore un programme très riche avec des intervenants de qualité vous est proposé. Un accueil café est programmé dès 8h30.
Les inscriptions sont closes.
Le programme …
par Cécile le 10/11/2017 dans
Sécurité, Thèse/HDR
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 …
par sgaget le 13/09/2017 dans
Evénements, Journées MIn2RIEN
Votre réseau Min2Rien vous propose depuis plusieurs années des ateliers techniques sur différents sujets. Parmi l’ensemble des actions réalisées depuis sa création, certaines vous intéressent aujourd’hui et y participer serait une opportunité intéressante pour votre activité.
Nous lançons donc un sondage pour évaluer l’intérêt de vous re-organiser certaines de ces rencontres. …
par Karl le 07/09/2017 dans
Journées MIn2RIEN
Le réseau métier Min2rien organise sa
13ème journée thématique “Sécu”
Une journée de conférences consacrée
à la sécurité informatique.
La journée se déroulera
le jeudi 9 novembre 2017 à l’IEMN
de 9h00 à 17h00
Cette année encore un programme très riche avec des intervenants de qualité vous est proposé. Un accueil café est …