CPC: programming with a massive number of lightweight threads

Threads are a convenient and modular abstraction for writing concurrent programs, but often fairly expensive. The standard alternative to threads, event-loop programming, allows much lighter units of concurrency, but leads to code that is difficult to write and even harder to understand. Continuation Passing C (CPC) is a translator that converts a program written in threaded style into a program written with events and native system threads, at the programmer's choice. Together with two undergraduate students, we taught ourselves how to program in CPC by writing Hekate, a massively concurrent network server designed to efficiently handle tens of thousands of simultaneously connected peers. In this paper, we describe a number of programming idioms that we learnt while writing Hekate; while some of these idioms are specific to CPC, many should be applicable to other programming systems with sufficiently cheap threads.Comment: To appear in PLACES'1

Lambda-lifting and CPS conversion in an imperative language

This paper is a companion technical report to the article "Continuation-Passing C: from threads to events through continuations". It contains the complete version of the proofs of correctness of lambda-lifting and CPS-conversion presented in the article.Comment: arXiv admin note: substantial text overlap with arXiv:1011.455

Experimental investigation of the effect of an oscillating airstream (Katzmayr effect) on the characteristics of airfoils

A series of experiments were conducted related to the action of an airstream oscillating vertically on supporting surfaces. The object of the experiments was to verify the very interesting results of Mr. Katzmayr, Director of the Vienna Aerodynamics Laboratory, and, if possible, to obtain more complete data on the effect of the amplitude and velocity of the oscillations of the airstream. The results obtained by Mr. Katzmayr are briefly summarized. The conduct of the numerous experiments to verify his results are described in detail. Experimental results are given in tabular and graphical form

Le « savoir-devenir » un pont entre EMI et EDD dans le nouveau design de l'école de 2015 ?

International audienceDans ce texte, nous présentons tout d'abord la situation de l'Éducation aux médias et l'information (EMI) dans le cadre en pleine recomposition qui se dessine en cette année 2015 dans l'école française. Nous nous centrons ensuite sur le concept de « savoir-devenir » utilisé récemment par Divina Frau Meigs pour voir si cette dimension est présente dans les différents référentiels de compétences utilisés en EMI. Pour explorer l'intérêt de cette dimension prospective, mieux prise en compte en éducation au développement durable (EDD), nous nous appuierons sur l'analyse de plusieurs outils pédagogiques qui sont déjà disponibles pour aider à mettre en place l'EMI qui émerge dans un système éducatif depuis 2013 à travers la d'orientation et de programmation pour la refondation de l'école de la république. Mots-clés : Education aux médias et à l'information (EMI), design de l'école, savoir-devenir, compétences, référentiel, ressources pédagogiques, comparatisme. Le « savoir-devenir » un pont entre EMI et EDD dans le nouveau design de l'école de 2015 ? Education au développement durable (EDD) et éducation aux médias et à l'information (EMI) font partie de la grande famille des « éducations à ». Elles ont cependant rarement été étudiées de manière comparative. Nous allons dans ce texte tenter de mettre en évidence, du point de vue de l'EMI principalement leurs nombreux points communs et l'utilité qu'il y a, pour chacune de ces « éducations à », à prendre en compte les concepts mobilisés par l'autre. Nous mettrons spécifiquement l'accent sur les aspects prospectifs qu'elles contiennent. Cette Première partie débute par une présentation de la situation de l'EMI dans le cadre en pleine recomposition qui se dessine en cette année 2015. Nous y aborderons ensuite le concept de « savoir-devenir » proposé récemment par Frau Meigs (2014). Une seconde partie nous permettre de faire le point rapidement sur le cadre théorique et méthodologique qui oriente cette étude. Nous explorerons dans une troisième partie les compétences mises en avant dans les différents référentiels de compétences utilisés en « éducation à » et celles qui sont d'ores et déjà présentes dans les ressources pédagogiques qui concernent l'EMI. Nous terminerons par quelques considérations comparatistes utiles à l'EDD et à l'EMI qui sont toutes les deux dans une phase réflexive

Une recherche en éducation aux médias : ses implicites et leurs conséquences

National audienceCe travail de recherche a pour but de décrire et de mieux comprendre les savoirs qui sont réellement travaillés par les enseignants dans un projet d'éducation aux médias que je présente rapidement. Le projet "classes-presse" n'est pas un programme très structuré et il laisse beaucoup d'autonomie aux acteurs. Ses objectifs déclarés sont d'apprendre à (bien) lire le journal et à écrire pour être lu sur un thème proposé. Chaque année, près de mille articles sont publiés par les collégiens des 80 classes qui y participent sur une plateforme informatique : http://phares.ac-rennes.fr/classespresse_2007. Mon corpus central est constitué de séances pédagogiques filmées et transcrites qui se déroulent dans le cadre de ce projet. Les séances observées sont, dans leur majorité le fruit d'une conception collective dans le cadre d'une ingénierie didactique coopérative à laquelle des enseignants de différentes disciplines ont participé. Ce corpus est complété par les enregistrements sonores de ces moments de conception collective

Influences de la didactique du français sur l'éducation aux médias dans le cadre d'une pratique transversale instituée

International audienceMon travail de thèse s'est résolument orienté vers une approche didactique et communicationnelle de l'éducation aux médias fondée sur la théorie de l'action conjointe. De ce fait, il a fait la part belle aux spécificités de ce domaine de réalité. Au fil des analyses, plusieurs éléments ont émergé qui m'ont parfois mis sur la piste de l'influence des disciplines et des didactiques dont s'inspiraient les professeurs participants au projet transversal observé : les classes-presse. Dans cette communication, je préciserai tout d'abord ce qu'est l'éducation aux médias et l'approche didactique comparatiste qui pourrait lui être associée. Je mettrai ensuite en évidence les empreintes disciplinaires relevées au cours des analyses des séances et des déclarations des enseignants. Je m'interrogerai sur la manière dont elles se sont constituées en signes pour le chercheur, le professeur et les élèves. Je réinterrogerai alors ce travail du point de vue de la didactique du français. Cette nouvelle approche me permettra de proposer quelques pistes pour l'analyse didactique des projets transversaux

Pratiques informationnelles genrées des étudiant.e.s ?

National audienceCette communication permet d'interroger les déclarations des étudiantes et des étudiants à propos de leurs pratiques informationnelles non formelles. Nous nous centrons, dans nos analyses, sur d'éventuelles différences liées au genre, dans la perspective d'une sociologie des usages. Le corpus est constitué en premier lieu par les réponses à un questionnaire en ligne 1 adressé à 400 étudiant.e.s de Licence 1 dans 3 UFR de l'Université de Bretagne Occidentale (Lettres et Sciences Humaines ; Sciences et Techniques ; Droit, Économie, Gestion et AES). Avant toute chose, il nous semble utile de présenter rapidement un éventail large des recherches qui traitent, plus largement, des pratiques culturelles du point de vue du genre. Nous définissons ensuite les pratiques informationnelles que nous cherchons à identifier plus précisément avant de présenter les résultats les plus marquants. Nous envisageons, pour finir, les prolongements possibles de cette enquête exploratoire. 1-Le genre dans les pratiques culturelles et éducatives Le genre désigne, dans ce texte, d'une part la construction sociale et naturalisée du sexe (Bourdieu, 1998) et d'autre part, un système de relations reposant sur des logiques binaires et un principe de hiérarchisation paraissant aller de soi (Héritier, 2005). La question du genre est bien présente dans un certain nombre de problématiques liées à l'éducation et plus largement aux pratiques sociales : la lecture (papier ou numérique), l'orientation scolaire… Dans ces deux domaines, (Paquienseguy, F. et Miguet, M., 2015 ; 1 Nous tenons à signaler que ce questionnaire a été conçu avec l'aide de Nicole Roux, sociologue au Labers-UBO et spécialiste de la question du genre. Elle nous a également accompagnée dans les premiers traitements des résultats. Pour des raisons de disponibilité, elle n'a pas pu poursuivre ce travail que nous avons débuté conjointement. Qu'elle en soit ici remerciée

Des obstacles au développement de compétences en lecture d'infographies de presse

International audienceL'objet de cet article est de s'interroger sur les manières dont l'école peut contribuer de manière efficace à la construction des compétences médiatiques des gens ordinaires. Cela nécessite que les enseignants possèdent également des compétences spécifiques. Je m'appuierai sur le travail d'une professeur de collège sur des infographies de presse pour mettre en évidence les jeux sémiotiques et les différents types d'incertitudes qui traversent le jeu didactique. Je me focaliserai ici sur les formes que prend la négociation (Wolton, 2009) pour réguler ces incertitudes. Je présenterai ensuite quelques pistes qui ont pour but d'augmenter la pertinence de telles actions qui relèvent d'une translittératie et de favoriser une réelle émancipation