.

On étudie l'abstraction et la généricité dans les langages de programmation. On décrit les principaux outils de la programmation générique. On traite ensuite de la spécification des types et des fonctions et on étudie les methodes de vérification de programmes spécifiés algébriquement.

ON propose un modèle de machine réseau logique. Définition d'un ensemble de fonction et de mécanisme élémentaires qui aident à la répartition dans l'exécution des programmes d'une application réseau.

Aujourd'hui, le fait que la mémoire constitue un goulot d'étranglement pour les performances des programmes est un truisme. Les compilateurs doivent donc optimiser les programmes afin d'éviter de recourir à la mémoire, et ceci en utilisant au mieux les registres disponibles dans le processeur à parallélisme d'instructions (ILP).<br /><br />Cette thèse réexamine le concept de la pression des registres en lui donnant une plus forte priorité par rapport à l'ordonnancement d'instructions, sans ôter à ce dernier ses possibilités d'extraction de parallélisme. Nous proposons de traiter le problème des registres avant la phase d'ordonnancement. Deux grandes stratégies sont étudiées en détail. La première consiste à analyser et manipuler un graphe de dépendance de données (GDD) pour garantir les contraintes de registres sans allonger son chemin critique (si possible). Nous introduisons la notion de saturation en registres qui est la borne exacte maximale du besoin en registres de tout ordonnancement valide, indépendamment des contraintes architecturales. Son but est d'ajouter des arcs au GDD pour que la saturation soit en dessous du nombre de registres disponibles. Réciproquement, la suffisance est le nombre minimal de registres dont il faut disposer pour produire au moins un ordonnancement valide pour le GDD. Si cette suffisance est au dessus du nombre effectif de registres, alors les accès à la mémoire sont inévitables.<br />Notre deuxième stratégie construit une allocation de registres directement dans le GDD en optimisant la perte du parallélisme intrinsèque.<br /><br />Cette thèse considère des blocs de base, des graphes acycliques de flots de contrôles et des boucles internes destinées au pipeline logiciel. Nos expériences montrent que nos heuristiques sont presque optimales. L'étude prouve que nous pouvons et devons traiter les contraintes de registres avant la phase d'ordonnancement tout en garantissant une liberté pour l'extraction et l'exploitation de l'ILP.

L'objectif de cette these est l'etude d'un environnement d'execution pour machines paralleles sans memoire commune. Elle comprend la definition d'un modele de programme parallele, base sur l'echange de message offrant une forme restreinte de memoire partagee. La communication est indirecte, via des portes; les processus utilisent les barrieres pour la synchronisation. Les entites du systeme, processus, portes et barrieres, sont creees dynamiquement, et placees sur un processeur quelconque du reseau de processeurs de facon explicite. Nous proposons une implantation de ce modele comme la mise en oeuvre systematique d'une architecture client/ serveur. Cette implantation a ete effectuee sur une machine Supernode. La base est un Micro Noyau Parallele, ou le composant principal est un mecanisme d'appel de procedure a distance minimal.

La programmation à base de composants facilite l'encapsulation de logiciel générique qui peut ainsi être réutilisé dans différents contextes d'utilisation. Un composant est spécifié à partir d'une implémentation et d'une interface. Cette interface, utilisée pour la composition, peut être adaptée par le consommateur du composant. Les modèles existants ne permettent que l'adaptation au niveau de l'interface alors que leur implémentation reste inchangée (boîte noire), les applications résultantes conservent le degré de généralité des composants constituants. Pour aller au-delà de ces modèles, nous proposons MoSCo, un modèle qui permet une forme plus profonde d'adaptation où l'implémentation est aussi modifiée. Dans ce modèle, un composant est analysé et traduit, à l'aide des techniques de spécialisation de programmes, sous la forme d'un générateur de composants. Ce générateur produit finalement un composant spécialisé selon un contexte d'utilisation en respectant la notion de boîte noire.

Cette recherche nous a permis d'analyser et de préciser le rôle et le rapport qu'entretiennent le métalangage et le discours didactique dans les différentes rubriques de chaque manuel des quatre niveaux du cycle moyen en Algérie. L'objet de cette analyse nous a ainsi conduite à mettre en évidence les mêmes carences sur plusieurs plans ainsi que les confusions liées à une interprétation erronée des cadres théoriques relatifs à l'entrée par projets et à la centration sur l'apprenant dans le cadre de l'enseignement/apprentissage. Nous avons vérifié à travers l'étude détaillée des facilitateurs que ce métalangage, loin de simplifier l'approche de leurs manuels à nos collégiens, les rebuterait plutôt. Nous avons également pu démontrer à travers l'analyse des titres des différentes rubriques des séquences ainsi que des consignes concernant la compréhension, les outils de la langue et les sujets des productions écrites, la présence d'une forte occurrence - pour ne pas dire " un trop plein " - de métalangage de spécialiste en didactique. De surcroît, l'absence d'explicitation en direction de collégiens de 12 à 15 ans, auxquels ces manuels sont directement destinés, relève du paradoxe - même si des paraphrases strictement communicatives apparaissent çà et là. La clarification est en effet la condition sine qua non de l'actualisation de la pédagogie par projet. Aussi avons-nous jugé utile de proposer des orientations possibles pour remédier à cet état de fait pour un meilleur apprentissage du FLE.

Cette recherche trouve sa justification dans l'esprit d'ouverture vers les langues dans les pays de l'Union européenne. Comme, depuis janvier 2007, la Roumanie est entrée dans cette grande famille, l'enseignement des langues y est devenu, plus que jamais, une priorité. Notre questionnement porte sur : - la place des langues romanes et de l'anglais dans l'enseignement roumain actuel ; - la manière dont les documents officiels actuels (programmes scolaires, curriculum national, manuels scolaires) du ministère de l'Éducation et de la Recherche de Roumanie intègrent le nouveau dispositif du Conseil de l'Europe, le Cadre européen commun de référence pour les langues (CECR) ; - les manuels scolaires actuels pour les langues romanes (français, italien, espagnol) et l'anglais ; - les pratiques pédagogiques dans l'enseignement des différentes langues. Les façons d'apprendre et d'enseigner les langues à l'heure actuelle sont nombreuses, mais notre analyse reste dans le cadre théorique du CECR, dans l'objectif d'aider les enseignants, les élèves et les concepteurs de cours à coordonner leurs efforts pour augmenter la qualité de l'acte éducatif. Notre recherche ouvre la porte sur une réflexion plus approfondie concernant l'efficacité des méthodes utilisées aujourd'hui dans le domaine de l'enseignement des langues étrangères au lycée. La didactique moderne essaie de répondre aux demandes de la société, en proposant des stratégies multiples et adaptées pour former les élèves. L'expérience de la tradition associée à la capacité d'innovation sont les nouveaux repères de l'école pour une société multiculturelle. Si l'école roumaine veut s'inscrire dans la modernité, elle devra poursuivre le travail de fond engagé dans le respect et l'application du CECR, s'assurer que les professeurs y sont formés et leur donner les moyens d'intégrer cette modernité dans leurs pratiques scolaires

Notre étude traite de l'enseignement de la statistique auprès des élèves du cycle III de l'école primaire, en France et plus précisément, porte sur la question de l'éducation statistique et de la formation de l'esprit statistique. Après avoir précisé les notions de fait statistique, pensée statistique et esprit statistique, nous avons analysé dans une deuxième partie, les difficultés rencontrées actuellement par cet enseignement, au travers de l'évolution des programmes scolaires de l'école primaire, des représentations des étudiants en Sciences de l'éducation, des professeurs des écoles, des élèves, ainsi que dans une perspective de continuité des contenus scolaires au fil des cycles de l'école primaire et du collège. Dans une troisième partie, nous avons observé les manuels scolaires de mathématiques des élèves du cycle III. L'ensemble fait ressortir des invariants : tendance à convertir en opérations arithmétiques des situations implicitement statistiques, pauvreté d'emploi des registres sémiotiques et des parcours sémiotiques, standardisation des formes de représentation et des tâches réclamées aux élèves, etc., mais surtout, nous avons pu établir un parallèle avec une dernière recherche portant sur les manuels de préparation au Concours de Recrutement des Professeurs des Écoles. Nous en avons conclu que c'était la perception commune, y compris celle de l'Institution scolaire, à propos de l'enseignement / apprentissage de la statistique qu'il fallait faire évoluer. Notre travail prend appui sur la théorie des situations didactiques de Guy Brousseau, sur celle des champs conceptuels et des travaux de Gérard Vergnaud traitant de la conceptualisation, sur la transposition didactique et sur l'institutionnalisation des savoirs par Yves Chevallard, sur les recherches de Jean-Claude Régnier concernant la didactique de la statistique, ainsi que sur celles de Raymond Duval portant sur le rôle des registres sémiotiques dans l'apprentissage de l'élève.

<p>This paper is a case study of a local labour market project. The aim of the study is to investigate the staff’s way of working with unemployed people, receiving social assistance, in order to reduce the payment of social assistance in four adjacent city districts of Stockholm. Other objectives of the study are to investigate which criteria the staff uses when selecting participants for the project, in which way the participants’ background affects the measures taken by the staff and how the staff experiences working as part of a project. A short summary of the social services development during the twentieth century and urban politics in the 1990’s in Sweden is used as a background for the local labour market project. The theories used deal with the social services strategies concerning unemployed receivers of social assistance, the participants’ background with particular emphasis on ethnicity and gender, project work and the special case of public projects. The study is based on interviews with four employees. Some of the conclusions are that the selection criteria are put up as criteria for not being selected as a participant and that the staff combines previously developed methods in order to reduce the payment of social assistance. The participants’ background is evaluated individually and the staff shows a certain reluctance to categorize the participants according to ethnicity and gender. The staff communicates an ambiguous image of working in a project by describing it partly as an inspiring challenge but also as involving some uncertainties regarding the terms of employment.</p> / <p>Uppsatsen är en fallstudie av ett kommunalt arbetsmarknadsprojekt och syftar till att undersöka hur personalen arbetar med arbetslösa socialbidragstagare för att minska socialbidragsuttaget i fyra närliggande stadsdelar i Stockholm. Syftet är därutöver att undersöka vilka kriterier personalen använder för urval av deltagare till projektet och hur deltagarnas bakgrund påverkar de åtgärder som personalen sätter in samt hur personalen uppfattar projektformen som arbetssätt. Det kommunala arbetsmarknadsprojektet förankras i socialtjänstens och storstadspolitikens historiska utveckling. De teoretiska utgångspunkterna tar fasta på socialtjänstens strategi gällande arbetslösa socialbidragstagare, deltagarnas etniska bakgrund och kön samt projekt som arbetsform och offentliga projekts speciella drag. I analysen används utsagor från djupintervjuer med fyra anställda. Några av slutsatserna är att urvalskriterierna formuleras som hinder för deltagande i projektet och att personalen kombinerar olika tidigare utvecklade metoder i sitt arbete för att minska socialbidragstagandet. Deltagarnas bakgrund bedöms individuellt och personalen visar en viss ovilja att kategorisera deltagarna efter etnicitet och kön. Personalen ger en ambivalent bild av projekt som arbetsform. Dels beskrivs arbetet i projektet som utmanande samtidigt som den tidsbegränsade projektanställningen upplevs som osäker.</p>