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 …
Category: Seminar
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 …
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 …
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 …
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 Bulksynchronous 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 …