Ludovic HENRIO

Author's posts

28-29 Sept Active-object “workshop”

The 28 and 29 Sept the Scale team organises a small informal workshop on the current and future trends on active-objects, actor languages, and the verification tools for those languages. It will be in rooms Kahn 1 and Kahn 2. Everybody is welcome to attend and participate. Program (preliminary) !!! Each talk has a 45 …

Continue reading

Cristian Ruz: Autonomic Components and Machine Learning, a couple of perspectives

Mercredi 26 Novembre 2014 Abstract: In this talk I’ll present our last advances regarding implementation of autonomic behaviour in GCM components through an autonomic load balancer, in the context of the SCADA associate team (http://team.inria.fr/scada). Second, I’ll summarize some of the activities I’ve been involved in the context of the GRIMA research group (http://grima.ing.puc.cl) and …

Continue reading

Talk Florian Kammueller Wednesday 23 at 14:00

Florian Kammueller (from Middlesex University) is visiting the Scale team from April 22 to April 25 Subject of the talk: Invalidating Policies using Structural Information Abstract: Insider threats are a major threat to many organisations. Even worse, insider attacks are usually hard to detect, especially if an attack is based on actions that the attacker …

Continue reading

Soutenance de thèse de Laurent Pellegrino // PhD defence

Jeudi 3 Avril à 13h30 salle Euler Violet de l’INRIA Sophia Antipolis. Titre : Un intergiciel gérant des événements pour permettre l’émergence d’interactions dynamiques et ubiquitaires dans l’Internet des services. Le jury est composé de : Ioana MANOLESCU, Inria Saclay – Île-de-France (rapporteur) Etienne RIVIÈRE, Université de Neuchâtel (rapporteur) Johan MONTAGNAT, CNRS (examinateur) Ester PACITTI, …

Continue reading

Seminaire Sara Bouchenak le Vendredi 28 mars a 15h30

Titre: Service Level Agreement for Cloud Computing: Towards a Control-Theoretic Approach Resume: Cloud Computing is a paradigm for enabling remote, on-demand access to a set of configurable computing resources. This model aims to provide hardware and software services to customers, while minimizing human efforts in terms of service installation, configuration and maintenance, for both cloud …

Continue reading

Seminaire Gaetan Hains le jeudi 6 mars a 11heures

Titre: Les algorithmes parallèles rencontrent les architectures hétérogènes: BSP devient SGL. Resume: Depuis une trentaine d’année on sait accorder la réplication des processeurs avec le découpage des données pour accélérer les opérations informatique. Le modèle Bulk­synchronous parallelism (BSP) permet de gérer l’équilibre entre parallélisme et communications pour que les accélérations soient fiables sur des données …

Continue reading