Literatura científica selecionada sobre o tema "Modèle de programmation MapReduce"

À partir d’une recherche appliquée visant la production d’un didacticiel destiné aux élèves du professionnel inscrits aux cours de programmation des machines-outils à commandes numériques, les auteurs ont dégagé un modèle systémique d’élaboration et de validation d’un matériel didactique. Ils présentent une description détaillée de ce modèle et de ses caractéristiques.

Abstract The financial model presented in the article attempts to further integrate capital budgeting into the firm's overall financial planning policy. Although it is an extension and generalization of Bernhard and Weingartner's previous models, it differs from these works by some basic assumptions related to both the objective function and constraint set. First, the objective function stresses the growing role of managerial discretion as opposed to the common assumption of maximizing shareholders' wealth. In particular we assume that managers wish to maximize the size of the firm under their control at the end of some future time horizon. Since net cash flows of the investment projects selected are sources of future investment funds, the managers try to keep the shareholders' dividends to a minimum level, sufficient enough however to pacify them. Secondly, the model constraints embody the complete set of financial instruments available to the corporation managers: in a sense, this enlarges the previous models' short-term external financing facilities by considering simultaneously the alternative long-term external financial instruments, namely equity and bond issues. In the latter case, the refunding features are incorporated in the constraints. The constraints also imply that managers prefer steady growth of net cash flows through time. This contrasts with the usual maximization approach which has been shown to favor long-term investment projects with somewhat more erratic net cash flows. The derivation of the Kuhn and Tucker conditions for the model allows us to show the impact of the opportunity cost of the various instruments on that of the liquidity requirement and the investment projects selection criterion. Finally, the duality properties also highlight the reciprocal relationships existing between the various opportunity costs, both internal and external.

Cet article présente la première génération de bibliothèques publiques issues du Programme d’agrandissement, de rénovation et de construction (RAC) de la Ville de Montréal. Les conditions visant la réussite de la programmation et la qualité architecturale des projets sont exposées. La vision et les concepts qui structurent ces projets contribuent à l’émergence d’un modèle de bibliothèque tiers lieu novateur à Montréal.

Nous présentons le principe de modélisation par le flux comme un paradigme de modélisation distribuée adaptée à la phase initiale de conception de l’architecture s’inspirant du principe de la programmation par le flux. Au moyen d’un serveur 3D, un nombre arbitraire de logiciels peuvent coopérer en temps réel à la création d’un « modèle collaborant » conçu comme la somme des opérations de modélisation rassemblées audelà des strictes limites de chacune des applications participantes.

L'article que nous proposons s'inscrit dans le cadre des problèmes d'optimisation bimensionnelle (irrigation & salubrité) des ressources en eau durant la période d'étiage. Sur le cas du système NESTE, la résolution est effectuée selon deux approches : - un modèle de programmation dynamique avec état de dimension deux (niveau des réserves, niveau dans la rivière) où, dans la solution numérique, les variables sont discrétisées; - un modèle « synthétique » où l'on calcule une probabilité de non dépassement caractérisant l'état hydrique des ressources du système. Une règle empirique permet d'associer à cette grandeur une décision de consigne à effectuer. Les résultats numériques sont comparés sur une série de chroniques historiques. Les avantages et les inconvénients de chacune des deux approches sont mis en lumière sur le cas réel du système NESTE.

Bien qu’il existe différents types de modèles d’évaluation du fonctionnement familial (Pauzé et Petitpas, 2013 ; Pauzé et al. , 2017), cet article vise à présenter le modèle d’évaluation du D r Guy Ausloos comme une pratique clinique ( Practice-Based-Evidence ) efficace. Il appert que la théorie des fonctions du D r Ausloos est un outil clinique qui a le mérite d’être facilement utilisé par une panoplie de thérapeutes, allant des débutants aux plus expérimentés. Cette théorie comprend six fonctions selon deux catégories : les fonctions logistiques (programmation, pilotage et contrôle) et les fonctions relationnelles (communication, distance et mémoires). Cette évaluation a l’avantage de mener directement à des hypothèses permettant l’établissement du plan d’intervention. Finalement, ce modèle s’inscrit dans la logique de la compétence des familles (Ausloos, 1995).

Cet article présente une démarche d’apprentissage par conception guidée reposant sur des techniques de prototypage rapide dans le domaine mécatronique. La pédagogie développée se veut intégrative et auto-contenue : elle ne nécessite pas de prérequis et apporte au fur et à mesure des besoins, l’ensemble des connaissances et compétences pluridisciplinaires nécessaires à la progression cohérente du projet de conception, tant d’un point de vue mécanique, programmation, qu’en termes de technique de contrôle-commande, le tout dans un volume horaire contraint. La ligne directrice employée vise à confronter de façon permanente, progressive et itérative, modèle simulé et système réel dans un objectif de dimensionnement de partie opérative, de validation de modèle et d’algorithmes de commande en tirant partie d’outils logiciels de contrôle/commande temps-réel, de synthèse de code et de simulation multiphysique.

La gestion de catastrophe nécessite une préparation collaborative entre les divers intervenants. Les exercices collaboratifs visent à entraîner les intervenants à appliquer les plans préparés ainsi qu’à identifier les problèmes et points d’améliorations potentiels. Ces exercices étant coûteux, la simulation informatique est un outil permettant d’optimiser la préparation à l’aide d’une plus grande diversité de cas. Cependant, les travaux de recherche centrés sur la simulation et la gestion de catastrophe sont spécialisés sur un problème spécifique plutôt que sur l’optimisation globale des plans préparés. Cette limite s’explique par le défi que constitue la réalisation d’un modèle de simulation capable de représenter et de s’adapter à une large diversité de plans provenant de diverses disciplines. Les travaux présentés dans cet article répondent à ce défi en adaptant le modèle de simulation en fonction des informations et des plans de gestion de catastrophes intégrés dans une base de connaissances. Le modèle de simulation généré est ensuite programmé automatiquement afin d’exécuter des expériences de simulation. Les résultats sont ensuite analysés afin de générer de nouvelles connaissances et d’enrichir les plans de gestion de catastrophe dans un cycle vertueux. Cet article présente une preuve de concept sur le plan national français NOVI (NOmbreuses VIctimes), pour lequel les expériences de simulation ont permis de savoir quel est l’impact de la répartition des médecins sur l’application du plan et d’identifier la meilleure répartition.

A partir de l’étude du cas de « La Ruche », espace collectif de travail pour entrepreneurs sociaux à Paris (France), nous proposerons un modèle d’accompagnement entrepreneurial original reposant sur des apprentissages collectifs. Contrairement à la démarche traditionnelle de l’accompagnement dans laquelle l’accompagnateur a un rôle de prescription, ici la figure de l’accompagnateur disparaît au profit du collectif formé par les entrepreneurs. Les conditions de fonctionnement de ce dispositif reposent sur la sélection, articulant une tension entre diversité des projets et partage de valeurs communes, la dynamique interactionnelle supportée par la programmation d’événements, et le rôle de l’environnement physique de travail.

Durant les deux dernières décennies, grâce à la réduction des coûts de stockage, d'échange et de traitement de l'information, le volume de données générées chaque année ne cesse d'exploser. Les enjeux liés au traitement de ces mégadonnées sont souvent décrits par la règle des 3V : le volume, la variété et la vitesse de création, de collecte, d'analyse et de partage des données. Pour stocker et analyser ces ensembles de données volumineux, il est essentiel d'utiliser des grappes de machines et des algorithmes extensibles et insensibles aux déséquilibres pouvant se produire pour répartir équitablement la charge sur l'ensemble des machines de traitement. Des applications telles que le filtrage collaboratif, la déduplication et la résolution d'entités sont nécessaires pour identifier des relations dans des mégadonnées en se reposant sur une notion de similarité entre les enregistrements. Ces applications permettent entre autres de retrouver des utilisateurs ayant des goûts similaires, de nettoyer les données et de détecter des fraudes. Dans ces cas, les opérations de jointure et de recherche par similarité sont utilisées pour retrouver tous les enregistrements similaires dans une ou plusieurs collections de données en utilisant une distance et un seuil défini par l'utilisateur. Bien que les équi-jointures parallèles aient été largement étudiées et mises en œuvre avec succès sur des architectures parallèles et distribuées, ces algorithmes ne sont pas adaptés à l'opération de jointure par similarité, car il n'y aucune technique de hachage ou de tri dans la littérature permettant de retrouver tous les couples d'enregistrements potentiellement similaires en une seule étape. Des techniques existent dans la littérature pour réduire l'espace de recherche tout en garantissant la complétude du résultat et en évitant le calcul d'un produit Cartésien et la comparaison de tous les couples d'enregistrements. Cependant, l'extensibilité de ces techniques est limitée et ne permet pas le traitement efficace de mégadonnées sur des systèmes à grandes échelles. Des méthodes approximatives ont été proposées pour traiter la jointure par similarité en renonçant à une petite partie du résultat et en fournissant une garantie probabiliste sur l'exhaustivité des résultats et permettant de réduire l'espace de recherche. Ces méthodes reposent sur des fonctions de hachages dont les probabilités de collisions sont sensibles à la similarité des objets. Nous nous reposons sur ces techniques pour proposer des solutions efficaces, pour le traitement de la jointure et de la recherche par similarité, basées sur l'utilisation de LSH (Locality Sensitive Hashing), d'histogrammes distribués et de schémas de communication randomisés dans le but de réduire les coûts de traitement, de communication et de lecture/écriture de données sur disques aux seules données pertinentes pour diverses distances et sur divers objets, et ce, dans le but de proposer un framework générique basé sur le modèle de programmation MapReduce répondant aux enjeux de volume, de variété et de vitesse d'analyse des données. L'efficacité et l'extensibilité des solutions proposées ont été étudiées en utilisant un modèle de coût et ont été confirmées par une série d'expériences mesurant également l'exhaustivité du résultat et la réduction de l'espace de recherche, garantissant ainsi une solution efficace quels que soient la taille, le déséquilibre des données en entrée, la distance et les seuils fournis par l'utilisateur<br>Over the past two decades, owing to the reduction of storage, exchange and data processing costs, the volume of data generated each year continues to explode. The challenges related to big data processing are often described by the 3Vs : volume, variety and velocity of data creation, analysis, and sharing. To store and analyze these large datasets, it is essential to use clusters of machines and scalable algorithms that are insensitive to load imbalance that may occur among processing nodes. Applications such as collaborative filtering, deduplication and entity resolution are necessary to identify relationships in big datasets relying on a notion of similarity between records. These applications enable finding users with similar tastes, cleaning data and detecting frauds in large datasets. In these cases, similarity join and similarity search operations are often used to retrieve all similar records in one or more datasets using a distance and a user-defined threshold. Although parallel joins have been widely studied and successfully implemented on parallel and distributed architectures, the algorithms are not suitable for similarity join operation, since there is no hashing or sorting techniques, in the literature, that can retrieve all potentially similar record pairs in one step. Many techniques have been introduced in the literature to reduce the search space while ensuring the completeness of the result and avoiding the computation of a Cartesian product and the comparison of all record pairs. However, the scalability of these techniques is limited and does not allow efficient processing of big datasets on large-scale systems. Approximate methods have been proposed to handle similarity join by ignoring a very small part of the result and providing a probabilistic guarantee on the completeness of the results, while reducing the search space. These methods rely on hash functions whose collision probabilities are sensitive to the objects' similarity. We rely on these techniques to propose efficient solutions for similarity join and similarity search processing, based on LSH (Locality Sensitive Hashing), distributed histograms, and randomized communication schemes in order to reduce processing time, communication, and disks I/O costs to only relevant data for various distances and objects. The aim is to propose a generic framework based on the MapReduce programming model that meets the challenges of volume, variety, and velocity of big data analysis.The efficiency and scalability of the proposed solutions were studied using a cost model and confirmed by a series of experiments measuring the result completeness and the reduction of the search space, while guaranteeing efficient similarity join processing regardless the data size and data skew, the distance and the user-defined thresholds

Ces dernières années nous avons pu voir le développement rapide des applications distribuées. Cet effet est lié au développement rapide du matériel et des principes de la programmation. Par conséquent, les programmes peuvent se permettre de créer des applications plus compliquées mettant en oeuvre plusieurs ordinateurs et serveurs. En même temps, les exigences de qualité de services offerts augmentent aussi. Les services non-fonctionnels sont créés pour répondre à cette demande. Le service transactionnel permet de créer des applications distribuées fiables malgré les pannes possibles. Par contre, les applications modernes ont souvent besoin de transactions longues durée. Cependant, les services transactionnels existants ne s'acquittent pas de leurs tâches dans ces conditions. Ainsi, les applications possédants les bons potentiels exécutées sur de puissants matériels peuvent être bloquées à cause de l'impuissance des serveurs transactionnels destinés aux applicatins moins compliquées. Les modèles transactionnels avancés sont destinés à résoudre le problème des transactions longues. L'analyse montre que les modèle des transactions emboîtées ouvertes corespond aux besoins des applications distribuées basées sur les composants. Ce modèle permet de valider les sous transactions définitivement sans attendre la validation de la transaction-racine. Cependant, ce modèle nécessite un mécanisme de compensation des sous-transactions validées. Ce mécanisme doit gérer les compensations appelées par le gestionnaire transationnel associé pour garantir la cohérence de la base de données dans le cas d'une panne. Dans ce travail nous proposons d'étendre le service transactionnel utilisé par les plates formes à composants au modèle des transactions emboîtées ouvertes. Nous avons commencé par la proposition d'un mécanisme des compensations des transactions exécutées par les composants. Puis, nous avons étudié l'influence d'une compensation aux autres transactions exécutées en parallèle ou après cette transaction compensable. A la fin, nous avons proposé un mécanisme permettant la cohabitation non-conflictuelle entre les transactions classiques et les transactions avancées, et plus exactement, entre les transactions plates et les transactions emboîtées ouvertes<br>During last years we may observe the quick development of distributed applications. This effect is evoked by quick development of hardware and of programming models. As a result, the programmers can create the more complicate software, which uses a lot of computers and servers. At the same time, the requirements to the quality of provided services are increasing too. The non-functional services are created in order to satisfy this requirement. The transactional service allows to create the reliable distributed applications in spite of the possible execution failures. But usually the new applications need the long transactions. However, the existing transactional services don't perform their charges in those conditions. As a result, the applications with a good potential, executed on powerful hardware can be blocked because of inability of transactional service which is intended for the less powerful applications. The advanced transactional models are intended to solve the problem of long transaction use. The analysis of different models shows that the Open Nested Transactions correspond to the needs of component based distributed applications. This transactional model allows to commit the sub-transactions without waiting for the commitment of the top-level transaction. In the same time, this model requires the presence of the compensation mechanism. This mechanism has to manage the compensations, caused by associated transactional manager in order to assure the database consistency in the case of failure. In this work we propose to extend the transactional service used by the component based platforms to the Open Nested Transaction model. We had begun from the proposition of compensation mechanism for the transactions executed by components. Then, we had studied the influences of compensation on the transactions, executed simultaneously or after this compensable transaction. At the end, we had proposed the mechanism allowing the non-conflict cohabitation of the classical and advanced transactions (or, more exectty, of the classical and open nested transactions)

Nous defendons la these d'une programmation de haut niveau pour l'exploitation des architectures paralleles mimd a memoire distribuee, basee sur un parallelisme de controle, et qui soit a la fois fiable et efficace. Un modele de calcul fonctionnel parallele est developpe en ce sens, que nous presentons en deux temps dans ce rapport: dans une premiere partie nous decrivons le modele de programmation supporte par un noyau de langage appele kap#2l, alors que dans la deuxieme partie nous developpons un modele d'execution parallele et distribue, par reduction de graphes. Dans le modele de programmation, qui est fonctionnel, un parallelisme de controle du type reseau de processus sequentiels de kahn est introduit, supporte par la structure de donnees suite. Afin de maitriser le grain de parallelisme, le programmeur utilise une annotation de parallelisme. Lorsqu'une application est annotee, la fonction appliquee est un processus qui accepte en entree les valeurs de ses arguments suites et produit en sortie la suite de resultats. Une semantique operationnelle parallele asynchrone par reduction est specifie et implementee sous centaur. Le modele d'execution prend la forme d'un reseau d'evaluateurs, chacun reduisant une expression, argument ou fonction. Les suites representent les liens de communications. Une machine abstraite est entierement definie, dans laquelle chaque evaluateur est une machine de reduction paresseuse de graphes de super-combinateurs. La distribution induit une localisation des donnees sur le processeur qui effectue le calcul, limitant les communications a des transmissions de groupes de valeurs. Le grain des calculs est determine par la place des annotations dans le programme initial. Le processus de compilation est egalement specifie

Cette thèse a pour but d'intégrer dans un système unique certains résultats de la programmation par objets, de la programmation en logique et de la programmation par relations. Ce système est alors capable de modéliser les connaissances du monde extérieur dans un formalisme permettant de les manipuler symboliquement. Cette thèse est constituée de trois parties principales. Définition d'un modèle objet abstrait dans lequel les opérations élémentaires sous-jacentes aux mécanismes mis en œuvre dans un langage à objets (création, héritage, envoi de message) sont redéfinissables par un programmeur. Un langage issu de ce modèle peut autoriser : la création d'objets de structures internes différentes pouvant communiquer entre eux ; la définition de modes d'héritage complexes ; l'expression des exceptions et des cas particuliers. Apports d'inférence déclarative au modèle objet. Le langage Othello est une implantation en Prolog du modèle abstrait dans laquelle les principaux mécanismes ont été reconsidérés afin d'attribuer aux objets des comportements logiques. Citons : la définition de méthodes polymorphes, l'envoi de message à objets anonymes, des combinaisons et du contrôle sur les méthodes dans un graphe d'héritage et des capacités intrinsèques à raisonner. Aspect relationnel de la connaissance. L’idée est d'utiliser l'approche objet pour décrire un langage de relations et ainsi faciliter l'expression des relations de dépendance et le maintien automatique de leur cohérence. Une des originalités de cette proposition est la prise en compte des modifications intervenant sur l'objet maitre pour rétablir de façon incrémentale la cohérence. Les liens de la hiérarchie proposée permettent de décrire les relations d'héritage et d'implanter une interface graphique. Une quatrième partie illustre ce travail par une application en thermique

Dans une application distribuée, les objets peuvent être considérés comme des unités d'exécution. Ce concept existe déjà depuis plusieurs années, cependant une des difficultés consiste à contrôler le fonctionnement d'un objet en tant que composant d'un programme concurrent. La solution que nous avons étudiée consiste à utiliser une approche réactive pour réaliser ce contrôle. Le choix de cette approche est motivé par l'adéquation du modèle réactif au contrôle et à l'utilisation d'une approche formelle. Ce modèle est basé sur la présence d'une entité de contrôle, au sein de chaque objet, que nous avons appelée contrôleur d'exécution réactif. Ceci permet de dissocier ce qui est relatif aux traitements (exécution des méthodes) de ce qui est relatif au contrôle de ces exécutions. En raison de la distribution des objets, nous avons retenu un modèle d'exécution réactif asynchrone permettant de s'affranchir de la contrainte d'une horloge globale à l'ensemble des objets. Nous avons défini pour le contrôleur deux modèles réactifs d'exécution. Le premier modèle dit réactif pur, dans lequel l'activation d'une méthode ne dépend que de l'état d'exécution des autres méthodes, donc de leur ordonnancement. Le contrôleur est représenté par un système de transitions. Le second modèle dit réactif étendu, dans lequel l'activation d'une méthode peut dépendre de la valeur des attributs de l'objet. Nous étendons le modèle réactif pur en utilisant des automates à contraintes. Grâce à une base formelle dans les deux modèles, il est possible d'effectuer des vérifications sur le contrôleur, l'objet ou un groupe d'objets. Nous avons mis en œuvre ce modèle en utilisant des processus légers pour permettre une concurrence inter-méthodes. Le contrôleur est automatiquement compilé à partir d'une spécification. Notre approche permet de vérifier la présence d'interblocages au sein d'un objet ou d'un groupe d'objets. Le code correspondant au contrôleur de l'objet conserve une taille raisonnable.

Le paradigme de la programmation par objets (PPO) est devenu le paradigme de programmation le plus utilisé. La programmation événementielle (PE) et la programmation par aspects (PPA) complètent la PPO en comblant certaines de ses lacunes lors de la construction de logiciels complexes. Les applications actuelles combinent ainsi les trois paradigmes. Toutefois, la POO, la PE et la POA ne sont pas encore bien intégrées. Leurs concepts sous-jacents sont en général fournis sous la forme de constructions syntaxiques spécifiques malgré leurs points communs. Ce manque d’intégration et d’orthogonalité complique les logiciels car il réduit leur compréhensibilité et leur composabilité, et augmente le code d’infrastructure. Cette thèse propose une intégration de la PPO, de la PE et de la PPA conduisant à un modèle de programmation simple et régulier. Ce modèle intègre les notions de classe et d’aspect, les notions d’événement et de point de jonction, et les notions d’action, de méthode et de gestionnaire d’événements. Il réduit le nombre de constructions tout en gardant l’expressivité initiale et en offrant même des options de programmation supplémentaires. Nous avons conçu et mis en oeuvre deux langages de programmation basés sur ce modèle : EJava et ECaesarJ. EJava est une extension de Java implémentant le modèle. Nous avons validé l’expressivité de ce langage par la mise en oeuvre d’un éditeur graphique bien connu, JHotDraw, en réduisant le code d’infrastructure nécessaire et en améliorant sa conception. ECaesarJ est une extension de CaesarJ qui combine notre modèle avec de la composition de mixins et un support linguistique des machines à états. Cette combinaison a grandement facilité la mise en oeuvre d’une application de maison intelligente, une étude de cas d’origine industrielle dans le domaine de la domotique<br>Object-Oriented Programming (OOP) has become the de facto programming paradigm. Event-Based Programming (EBP) and Aspect-Oriented Programming (AOP) complement OOP, covering some of its deficiencies when building complex software. Today’s applications combine the three paradigms. However, OOP, EBP and AOP have not yet been properly integrated. Their underlying concepts are in general provided as distinct language constructs, whereas they are not completely orthogonal. This lack of integration and orthogonality complicates the development of software as it reduces its understandability, its composability and increases the required glue code. This thesis proposes an integration of OOP, EBP and AOP leading to a simple and regular programming model. This model integrates the notions of class and aspect, the notions of event and join point, and the notions of piece of advice, method and event handler. It reduces the number of language constructs while keeping expressiveness and offering additional programming options. We have designed and implemented two programming languages based on this model: EJava and ECaesarJ. EJava is an extension of Java implementing the model. We have validated the expressiveness of this language by implementing a well-known graphical editor, JHotDraw, reducing its glue code and improving its design. ECaesarJ is an extension of CaesarJ that combines our model with mixins and language support for state machines. This combination was shown to greatly facilitate the implementation of a smart home application, an industrial-strength case study that aims to coordinate different devices in a house and automatize their behaviors

Le paradigme de la programmation par objets (PPO) est devenu le paradigme de programmation le plus utilisé. La programmation événementielle (PE) et la programmation par aspects (PPA) complètent la PPO en comblant certaines de ses lacunes lors de la construction de logiciels complexes. Les applications actuelles combinent ainsi les trois paradigmes. Toutefois, la POO, la PE et la POA ne sont pas encore bien intégrées. Leurs concepts sous-jacents sont en général fournis sous la forme de constructions syntaxiques spécifiques malgré leurs points communs. Ce manque d'intégration et d'orthogonalité complique les logiciels car il réduit leur compréhensibilité et leur composabilité, et augmente le code d'infrastructure. Cette thèse propose une intégration de la PPO, de la PE et de la PPA conduisant à un modèle de programmation simple et régulier. Ce modèle intègre les notions de classe et d'aspect, les notions d'événement et de point de jonction, et les notions d'action, de méthode et de gestionnaire d'événements. Il réduit le nombre de constructions tout en gardant l'expressivité initiale et en offrant même des options de programmation supplémentaires. Nous avons conçu et mis en œuvre deux langages de programmation basés sur ce modèle : EJava et ECaesarJ. EJava est une extension de Java implémentant le modèle. Nous avons validé l'expressivité de ce langage par la mise en œuvre d'un éditeur graphique bien connu, JHotDraw, en réduisant le code d'infrastructure nécessaire et en améliorant sa conception. ECaesarJ est une extension de CaesarJ qui combine notre modèle avec de la composition de mixins et un support linguistique des machines à états. Cette combinaison a grandement facilité la mise en œuvre d'une application de maison intelligente, une étude de cas d'origine industrielle dans le domaine de la domotique.

Cette these propose un modele de caracterisation de l'activite des programmes. Tout programme est decrit selon l'ensemble des calculs qu'il effectue, ceux-ci etant classes en six categories admettant plusieurs variations. Actuellement, ce modele s'applique aux programmes integrant une seule boucle. La caracterisation d'un programme au travers du modele, ou schema, constitue l'explication globale de ce programme, celle-ci revelant sa structure algorithmique et permettant de le rattacher a un ensemble de stereotypes que les programmeurs experimentes connaissent bien. Le schema est egalement la specification abstraite d'un probleme a implementer, celle-ci etant alors representee sous une forme particulierement concise. La description conceptuelle est l'equivalent du programme resume par un schema dont elle est l'explication ou la specification complete. Sur la base des descriptions conceptuelles, trois systemes ont ete implementes: 1. Prisme calcule le schema et la description conceptuelle d'un programme ; il fournit donc une explication de ce programme qui aide a sa comprehension, 2. Signedit genere un programme a partir d'une description conceptuelle ; de ce fait, il introduit un style de programmation qui minimise les interventions du programmeur, 3. Acl est un langage de programmation qui propose d'utiliser les schemas comme primitives ; il integre ainsi des constructions de haut niveau d'abstraction qui favorisent le paradigme de la programmation conceptuelle. Ces systemes ont permis la validation du modele. En effet, pour environ cent cinquante programmes, le programme genere par signedit a partir de la description conceptuelle calculee par prisme est equivalent, en terme de calculs effectues, au programme original. Actuellement, ils sont intensivement utilises pour effectuer les experimentations necessaires a l'extension du modele, notamment vers un modele conceptualisant des programmes comportant plusieurs boucles.

L'accroissement des performances nécessaires au développement des applications en intelligence artificielle qui utilisent notamment la programmation logique, nécessite de recourir à l'exploitation du parallélisme. La programmation logique utilise deux formes de parallélisme: d'une part, le parallélisme explicite exploité par les langages gardes, tels CP, GHC et Prolog, d'autre part le parallélisme implicite exploitant les possibilités intrinsèques présentes dans un langage tel Prolog. L'exploitation du parallélisme implicite conduit généralement à s'éloigner de la sémantique opérationnelle classique, à générer des solutions dans un ordre non usuel rendant difficile l'introduction des prédicats à effet de bord. Le schéma d'évaluation parallèle de Prolog proposé dans le cadre du projet LOG-ARCH respecte la sémantique opérationnelle traditionnelle sans nécessiter d'annotations de la part d'un programmeur. Il exploite un parallélisme OU qui se développe par le bas de l'arbre ET/OU, et un parallélisme ET sous forme de pipeline. Un mécanisme de verrouillage est utilisé pour contrôler la production et la consommation des solutions, facilitant ainsi la prise en compte des prédicats à effet de bord. L'évaluation du modèle parallèle a été réalisée d'une part à l'aide d'un simulateur, d'autre part à partir de l'exécution véritable de programmes dont l'évaluation parallèle est reconstituée. Cette évaluation a permis de vérifier la validité du modèle et de mesurer le taux de parallélisme obtenu, dont l'ordre de grandeur est similaire à celui développé lors d'une exécution OU parallèle

Cette thèse a été effectuée dans le cadre du projet Guide mené conjointement par le laboratoire de génie informatique et le centre de recherche Bull de Grenoble depuis mi 86. Guide est le support d'un ensemble de recherches sur la programmation des applications reparties. Ces recherches sont entreprises sur la base du développement d'un système expérimental : le système Guide. Ce dernier est un système d'exploitation reparti à objets qui fournit un haut niveau d'intégration (invisibilité de la répartition notamment). Un premier prototype du système fonctionne depuis fin 88 et permet la programmation et la mise œuvre d'applications par l'intermédiaire d'un langage de programmation spécifique. La thèse contient une présentation et une évaluation du modèle de programmation par objets mis œuvre par ce langage: la présentation met en évidence les principaux choix de conception et les justifie; l'évaluation est basée sur une étude comparative des modèles d'objets de Guide, de Trellis/Owl, d'Emerald et d'Eiffel, et sur des expériences de programmation réalisées sur le prototype. Elle met en évidence les aspects caractéristiques du modèle d'objets de guide, ses apports et ses limites

Ce chapitre présente l’architecture pluri-cœur Plural qui combine plusieurs cœurs de processeur, un ordonnanceur matériel et une grande mémoire partagée sur puce. Elle utilise un modèle de programmation PRAM, de parallélisme au niveau des tâches et s’avère très efficace pour les applications DSP et d’apprentissage automatique. L’architecture Plural est hautement extensible et atteint de rapports élevés de performance/puissance.

Dans le but d’assister et d’outiller les enseignants de primaire dans l’enseignement de la pensée informatique (PI) à leurs élèves, nous proposons une contribution qui est le fruit d’une conception centrée utilisateurs avec 22 enseignants-stagiaires et huit enseignants expérimentés de primaire/maternelle avec lesquels nous avons défini un modèle de scénarisation d’activités d’enseignement. Nous avons réifié ce modèle en développant une plateforme Web de scénarisation que nous avons baptisé ScenoClasse. Nous faisons l’hypothèse que la scénarisation permet de soutenir l’activité professionnelle d’enseignants débutants dans l’enseignement de la PI, ce qui est le cas de nombreux enseignants de primaire. Dans ce chapitre, nous présentons le cadre théorique qui met en avant et explique l’intérêt des outils de scénarisation comme outils de formation des enseignants débutants. Nous présentons ensuite le modèle conceptuel sur lequel s’appuie la plateforme de scénarisation ScenoClasse et nous illustrons sa mise en œuvre avec le jeu SPY, un jeu sérieux d’initiation à la programmation informatique. Nous présentons également les premières analyses des traces issues des interactions d’enseignants avec ScenoClasse ; analyses ayant pour objectif d’identifier les différents comportements d’usages de ScenoClasse en vue de fournir aux enseignants des rétroactions adaptées lors de la préparation de leurs séances.