Bonjour tout le monde,
Dans le cadre des séminaires de l'équipe Sécurité /Systèmes, nous écouterons sur Teams Jean Araujo, chercheur à l'université fédérale de Sergipe, Brazil, jeudi 11/01/2024 à 16h30.
Jean Araujo nous parlera de ses travaux sur "Impacts of Software Aging Issues and Rejuvenation Strategies in Computing Systems".
Résumé :
In today's connected world, software is required to operate for long periods and must be tolerant to various types of faults that may affect its functioning properly. A major threat to the performance and availability of computing systems is the phenomenon known as software aging, an inevitable phenomenon where application processes suffer performance degradation throughout usage. Some proactive actions should be taken to minimize aging effects, but these solutions (i.e., software rejuvenation) are particular to each environment under analysis. Software Aging and Rejuvenation (SAR) has gained importance in recent years as software systems have become more complex and critical to the operation of many organizations. SAR techniques have sought for software systems to remain reliable and work well for long periods, especially in systems requiring high performance and availability levels.
Bio :
Jean Araujo received his PhD in Computer Science from the Universidade Federal de Pernambuco, Brazil (2017). He was a professor at the Universidade Federal Rural de Pernambuco from 2013 to 2019. Since 2019 he has been a professor at the Universidade Federal do Agreste de Pernambuco, and since 2022 he has been a researcher at the Computer Science post-graduation program at the Universidade Federal de Sergipe, Brazil. His research interests include software aging and rejuvenation, performance, availability, reliability, and stochastic modelling, which covers applied areas such as cloud computing and virtualized systems. He has published more than 100 papers in peer-reviewed journals and international conferences on computer science topics.
Cordialement,
Ghada Gharbi
______________
________________________________________________________________________________
Réunion Microsoft Teams
Participez à partir de votre ordinateur, de votre application mobile ou de l’appareil de la salle
Cliquez ici pour rejoindre la réunion<https://teams.microsoft.com/l/meetup-join/19%3ameeting_ZGI5YzFhZGEtZDhiNi00…>
ID de la réunion : 355 366 181 466
Code secret : jSvE2T
Télécharger Teams<https://www.microsoft.com/en-us/microsoft-teams/download-app> | Rejoindre sur le web<https://www.microsoft.com/microsoft-teams/join-a-meeting>
Pour en savoir plus<https://aka.ms/JoinTeamsMeeting> | Options de réunion<https://teams.microsoft.com/meetingOptions/?organizerId=7c5194f6-08ca-45e8-…>
________________________________________________________________________________
______________________
Secu-sys.perms mailing list -- secu-sys.perms(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/secu-sys.perms.ml.lre.epita.fr//
Bonjour tout le monde,
Bonne et heureuse année !
Dans le cadre des séminaires de l'équipe Sécurité /Systèmes, nous écouterons sur Teams Jean Araujo, chercheur à l'université fédérale de Sergipe, Brazil, jeudi 11/01/2024 à 16h30.
Jean Araujo nous parlera de ses travaux sur "Impacts of Software Aging Issues and Rejuvenation Strategies in Computing Systems".
Résumé :
In today's connected world, software is required to operate for long periods and must be tolerant to various types of faults that may affect its functioning properly. A major threat to the performance and availability of computing systems is the phenomenon known as software aging, an inevitable phenomenon where application processes suffer performance degradation throughout usage. Some proactive actions should be taken to minimize aging effects, but these solutions (i.e., software rejuvenation) are particular to each environment under analysis. Software Aging and Rejuvenation (SAR) has gained importance in recent years as software systems have become more complex and critical to the operation of many organizations. SAR techniques have sought for software systems to remain reliable and work well for long periods, especially in systems requiring high performance and availability levels.
Bio :
Jean Araujo received his PhD in Computer Science from the Universidade Federal de Pernambuco, Brazil (2017). He was a professor at the Universidade Federal Rural de Pernambuco from 2013 to 2019. Since 2019 he has been a professor at the Universidade Federal do Agreste de Pernambuco, and since 2022 he has been a researcher at the Computer Science post-graduation program at the Universidade Federal de Sergipe, Brazil. His research interests include software aging and rejuvenation, performance, availability, reliability, and stochastic modelling, which covers applied areas such as cloud computing and virtualized systems. He has published more than 100 papers in peer-reviewed journals and international conferences on computer science topics.
Cordialement,
Ghada Gharbi
________________________________________________________________________________
Réunion Microsoft Teams
Participez à partir de votre ordinateur, de votre application mobile ou de l’appareil de la salle
Cliquez ici pour rejoindre la réunion<https://teams.microsoft.com/l/meetup-join/19%3ameeting_ZGI5YzFhZGEtZDhiNi00…>
ID de la réunion : 355 366 181 466
Code secret : jSvE2T
Télécharger Teams<https://www.microsoft.com/en-us/microsoft-teams/download-app> | Rejoindre sur le web<https://www.microsoft.com/microsoft-teams/join-a-meeting>
Pour en savoir plus<https://aka.ms/JoinTeamsMeeting> | Options de réunion<https://teams.microsoft.com/meetingOptions/?organizerId=7c5194f6-08ca-45e8-…>
[cid:2120cd17-a24a-458d-a07c-b65806c07eb9]<https://www.epita.fr/>
Ghada GHARBI
Enseignante - Chercheure
EPITA Toulouse
[cid:05ed05ed-5fe7-4408-b257-cab5e10e7f3e]<https://www.facebook.com/epita/> [cid:8ce30934-d287-440d-acd5-a4201f63ff37] <https://www.instagram.com/epita.national/> [cid:3feecd64-51b0-41fb-ba46-c5f7375258bf] <https://www.linkedin.com/school/epita-ecole-ingenieurs-informatique> [cid:dc4dc58a-9422-4f54-8c44-dff4b1343022] <https://twitter.com/epita> [cid:5583883b-0994-4756-a869-82fab82693d6] <https://www.epita.fr/> [cid:4ce94a52-6e45-4165-b106-3c98ebcade3d] <https://www.youtube.com/channel/UC33NtVL7bStj4FmWeIstKqg>
______________________
Secu-sys.perms mailing list -- secu-sys.perms(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/secu-sys.perms.ml.lre.epita.fr//
Bonjour à tous,
La réunion déquipe du 4/1 est décalée à 11h30.
Je mets Khaoula, qui commence sa thèse sur Securing V2X communication
exchanges for automated telematic control unit sous lencadrement de Ghada
très bientôt.
<mailto:khaoula.sghaier.benabed@gmail.com> @Khaoula Sghaier Ben Abed si tu
es disponible nous taccueillons avec plaisir.
Je vous souhaite à tous dexcellentes fêtes de fin dannée !
Amicalement,
Pierre
______________________
Secu-sys.perms mailing list -- secu-sys.perms(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/secu-sys.perms.ml.lre.epita.fr//
Bonjour à vous,
J'ai le plaisir de vous inviter à ma soutenance de thèse, intitulée
"*Une approche générique, performante et interactive du traitement
d’images avec des applications en morphologie mathématique"*
Cette soutenance aura lieu en Amphi 0 du Bâtiment Voltaire à l'EPITA le
Jeudi 21 Décembre à 9h30 (un ICS est fourni pour ne pas faire d'erreur
dans votre calendrier). Cette soutenance sera en français.
Venez nombreux !!!
*Jury:*
* Pr. Pascal MONASSE, LIGM / ENPC / Université Gustave Eiffel,
Rapporteur
* Pr. Benjamin PERRET, LIGM / ESIEE / Université Gustave Eiffel,
Rapporteur
* Pr. Olivier LEZORAY, GREYC / Université de Caen, Examinateur
* Dr. Frédéric PESCHANSKI, LIP6 / Sorbonne Université, Examinateur
* Dr. Deise SANTANA MAIA, CRIStAL / Université de Lille, Examinatrice
* Pr. Didier VERNA, LRE / EPITA, Directeur de thèse
* Dr. Edwin CARLINET, LRE / EPITA, Encadrant
* Dr. Guillaume TOCHON, LRE / EPITA, Encadrant
*Résumé* (en français):
Les bibliothèques de traitement d’images jouent un rôle important dans
la boîte à outils du
chercheur et devraient respecter trois critères : généricité,
performance et interactivité. La
généricité favorise la réutilisation du code et la flexibilité des
algorithmes pour diverses structures
de données en entrée, tandis que la performance accélère les expériences
et permet l’utilisation
d’algorithmes dans le cas d’applications en temps réel. De plus,
l’interactivité dans la chaîne
de traitement d’une image permet d’effectuer des expérimentations en
échangeant des données
avec cette dernière. Ce dernier critère est généralement obtenu en
ajoutant du dynamisme à la
bibliothèque, et plus particulièrement en interfaçant ses
fonctionnalités à un langage dynamique.
Les deux premiers critères peuvent être atteints avec des langages
statiques tels que C++ ou
Rust, qui exigent la connaissance de certaines informations au moment de
la compilation pour
optimiser le code machine généré en fonction des différents types de
données d’entrée et de sortie
d’un algorithme. Le dernier critère nécessite généralement d’attendre
jusqu’à l’exécution pour
obtenir des informations sur le type, et est donc réalisé au détriment
de la vitesse d’exécution.
Le travail présenté dans cette thèse vise à dépasser cette limitation
dans le contexte d’algorithmes
de traitement d’images. Pour ce faire, une méthodologie visant à
développer des algorithmes
génériques dont les informations sur les types d’entrée et de sortie
peuvent être connues soit
au moment de la compilation, soit à l’exécution, est présentée. Cette
méthode est évaluée
sur différents schémas algorithmiques de traitement d’images, et il est
conclu que l’écart de
performance entre les versions où l’information de type est connu à la
compilation et à l’exécution
de l’algorithme de construction pour les représentations hiérarchiques
d’images est négligeable.
En tant qu’application, les représentations hiérarchiques sont utilisées
pour étendre l’applicabilité
de l’estimation du niveau de bruit en niveaux de gris aux images en
couleur afin d’améliorer
leur caractère générique. Cela soulève l’importance d’étudier l’impact
d’une telle altération dans
les images à partir desquelles les représentations hiérarchiques sont
construites pour améliorer
l’efficacité de leurs applications en présence de bruit. Il est démontré
que le bruit a un impact sur
la structure arborescente, et cet impact est lié à certains types de
fonctionnelles dans le cas où les
hiérarchies sont contraintes par une énergie.
*Résumé* (en anglais):
Image processing libraries play an important role in the researcher
toolset and should respect
three criteria: genericity, performance, and interactivity. In short,
genericity boosts code reuse
and algorithm flexibility for various data inputs, while performance
speeds up experiments
and supports real-time applications. Additionally, interactivity allows
software evolution and
maintenance without full recompilation, often through integration with
dynamic languages like
Python or Julia. The first two criteria are not straightforward to reach
with static languages
such as C++ or Rust which require knowing some information at
compile-time to optimize
generated machine code related to the different input and output data
types of an algorithm.
The latest criterion usually requires waiting until runtime to obtain
type information and is
thus performed at the cost of runtime efficiency. The work presented in
this thesis aims to go
beyond this limitation in the context of image processing algorithms. To
do so, a methodology to
develop generic algorithms whose type information about its input and
output data may be known
either at compile-time or at runtime is presented. This methodology is
evaluated on different
image processing algorithmic schemes, and it is concluded that the
performance gap between the
runtime and compile-time versions of the construction algorithm for
hierarchical representations
of images is negligible. As an application, hierarchical representations
are employed to expand
the applicability of grayscale noise level estimation to color images to
enhance its genericity. That
raises the importance of studying the impact of such corruption in the
hierarchies built on noisy
images to improve their efficiency in the presence of noise. It is
demonstrated that the noise has an
impact on the tree structure, and this impact is related to some kinds
of functional in the context
of energy optimization on hierarchies.
--
Cordialement,
Baptiste ESTEBAN
______________________
Current mailing list -- current(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/current.ml.lre.epita.fr//
______________________
Permanents mailing list -- permanents(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/permanents.ml.lre.epita.fr//
______________________
Perms mailing list -- perms(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/perms.ml.lre.epita.fr//
______________________
Perms.lyon mailing list -- perms.lyon(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/perms.lyon.ml.lre.epita.fr//