On the fly type specialization without type analysis

Les langages de programmation typés dynamiquement tels que JavaScript et Python repoussent la vérification de typage jusqu’au moment de l’exécution. Afin d’optimiser la performance de ces langages, les implémentations de machines virtuelles pour langages dynamiques doivent tenter d’éliminer les tests de typage dynamiques redondants. Cela se fait habituellement en utilisant une analyse d’inférence de types. Cependant, les analyses de ce genre sont souvent coûteuses et impliquent des compromis entre le temps de compilation et la précision des résultats obtenus. Ceci a conduit à la conception d’architectures de VM de plus en plus complexes. Nous proposons le versionnement paresseux de blocs de base, une technique de compilation à la volée simple qui élimine efficacement les tests de typage dynamiques redondants sur les chemins d’exécution critiques. Cette nouvelle approche génère paresseusement des versions spécialisées des blocs de base tout en propageant de l’information de typage contextualisée. Notre technique ne nécessite pas l’utilisation d’analyses de programme coûteuses, n’est pas contrainte par les limitations de précision des analyses d’inférence de types traditionnelles et évite la complexité des techniques d’optimisation spéculatives. Trois extensions sont apportées au versionnement de blocs de base afin de lui donner des capacités d’optimisation interprocédurale. Une première extension lui donne la possibilité de joindre des informations de typage aux propriétés des objets et aux variables globales. Puis, la spécialisation de points d’entrée lui permet de passer de l’information de typage des fonctions appellantes aux fonctions appellées. Finalement, la spécialisation des continuations d’appels permet de transmettre le type des valeurs de retour des fonctions appellées aux appellants sans coût dynamique. Nous démontrons empiriquement que ces extensions permettent au versionnement de blocs de base d’éliminer plus de tests de typage dynamiques que toute analyse d’inférence de typage statique.

On the fly type specialization without type analysis

Les langages de programmation typés dynamiquement tels que JavaScript et Python repoussent la vérification de typage jusqu’au moment de l’exécution. Afin d’optimiser la performance de ces langages, les implémentations de machines virtuelles pour langages dynamiques doivent tenter d’éliminer les tests de typage dynamiques redondants. Cela se fait habituellement en utilisant une analyse d’inférence de types. Cependant, les analyses de ce genre sont souvent coûteuses et impliquent des compromis entre le temps de compilation et la précision des résultats obtenus. Ceci a conduit à la conception d’architectures de VM de plus en plus complexes. Nous proposons le versionnement paresseux de blocs de base, une technique de compilation à la volée simple qui élimine efficacement les tests de typage dynamiques redondants sur les chemins d’exécution critiques. Cette nouvelle approche génère paresseusement des versions spécialisées des blocs de base tout en propageant de l’information de typage contextualisée. Notre technique ne nécessite pas l’utilisation d’analyses de programme coûteuses, n’est pas contrainte par les limitations de précision des analyses d’inférence de types traditionnelles et évite la complexité des techniques d’optimisation spéculatives. Trois extensions sont apportées au versionnement de blocs de base afin de lui donner des capacités d’optimisation interprocédurale. Une première extension lui donne la possibilité de joindre des informations de typage aux propriétés des objets et aux variables globales. Puis, la spécialisation de points d’entrée lui permet de passer de l’information de typage des fonctions appellantes aux fonctions appellées. Finalement, la spécialisation des continuations d’appels permet de transmettre le type des valeurs de retour des fonctions appellées aux appellants sans coût dynamique. Nous démontrons empiriquement que ces extensions permettent au versionnement de blocs de base d’éliminer plus de tests de typage dynamiques que toute analyse d’inférence de typage statique.

L’instabilité dynamique pendant le Toarcien dans le Moyen Atlas (Maroc): mise en évidence de glissements synsédimentaires dans le synclinal de Bou Angar

During the Toarcian, shelves undergo block-faulting with mechanisms of tilting. It results the break up of the Middle Atlas basin in subsident sectors separated by resistant ridges. This device is highlighted by strong variations of facies, more or less extended lacunar zones, reefs aligned on the ridges and of synsedimentary tectonics structures. Within the framework of mapping survey carried out in the south-west of Middle Atlas, a meticulous prospection of Bou Angar synclinal allowed the description of a new outcrop of Toarcian. This one offers good examples of extensional structures and bio-accumulations. These data, supplemented by other witnesses of the dynamic instability in the rest of the Middle Atlas, permit to propose a paleogeographic map of the Middle Atlas basin during the Toarcian.

Internet au service du patrimoine. Cartographie dynamique de l'inventaire des géotopes d'importance nationale

L'inventaire des géotopes d'importance nationale, aujourd'hui proche de son état final, est le fruit d'un long travail de sélection, de documentation ainsi que de définition et de numérisation des périmètres des sites initié dans les années 1990 par le groupe de travail pour la protection des géotopes en Suisse (Strasser et al. 1995, Berger et al. 2008). Il représente un outil au service de la diffusion et à la promotion du géopatrimoine suisse, auprès de la population en général et des professionnels des géosciences en particulier, dans un but de valorisation patrimoniale et de protection et par une sensibilisation à la valeur particulière et à la vulnérabilité des géotopes.¦C'est dans cet objectif qu'a été développée une interface cartographique rendant accessible sur Internet le contenu de cet inventaire. L'outil de web mapping utilisé - GoogleMaps API - permet en effet d'enrichir une interface de navigation intuitive de diverses fonctions additionnelles offertes par la cartographie sur internet (Kraak 2004, Plewe 2007). La carte n'est donc pas seulement une représentation de la réalité permettant la localisation de différents objets, mais également un outil de recherche thématique et spatiale ainsi qu'un index reliant chaque objet cartographié à diverses informations.¦Porte d'accès aux données des site à une échelle individuelle ou globale, mais aussi outil d'exploration, cette interface propose plusieurs niveaux d'utilisation, correspondant aux diverses interactions possibles avec ces données : naviguer et découvrir les sites, réaliser des sélections multiples, comparer les géotopes à d'autres données, comme l'inventaire fédéral des paysages. L'utilisateur peut ainsi produire à chaque fois la carte qui répond à ses besoins et à ses questions. En donnant à tous accès au contexte et aux particularités de chaque site par delà la globalité abstraite de l'inventaire, cette application se veut avant tout un outil au service de la médiation du géopatrimoine.

La dynamique protestataire du Mouvement du 20 février à Casablanca

Au-delà du discours vantant « l'exception marocaine », un large mouvement de protestation s'est développé dès le mois de février 2011 dans l'ensemble du pays. Loin d'être le produit d'un effet domino, le Mouvement du 20 février est notamment tributaire d'un processus d'attribution de similarité, de la réactivation de relais organisationnels et de réseaux plus ou moins dormants. Une large coalition s'est constituée au sein d'un champ d'alliance et d'opposition à la jonction entre scène politique instituée et espace protestataire, par-delà les clivages entre réseaux de gauche et islamistes. Dans un jeu d'échelles entre le local, le national, le régional et l'international, un faisceau d'actions, d'interactions et d'événements a contribué autant à l'enracinement de la coalition qu'à sa désagrégation.

Dynamique réflexive et transférabilité des compétences : un usage intégré du e-Portfolio en spécialisation

Dernière étape avant le monde professionnel, un cursus de spécialisation est un lieu de discussion, au carrefour des savoirs et des savoir-faire, permettant aux étudiants d'envisager sous un angle nouveau les contenus enseignés à l'université. Il ne s'agit plus seulement d'acquérir des connaissances mais aussi de développer des compétences transférables à d'autres types d'activité. L'équipe en charge de la spécialisation en Analyse du discours et de la communication publics proposée par la Faculté des Lettres de l'Université de Lausanne a oeuvré à l'intégration d'un nouvel outil informatique, le e-Portfolio, destiné à faciliter l'expression et la documentation des compétences individuelles développées par l'étudiant lors de son parcours de formation.