Academic literature on the topic 'Compilation séparée'

Mondialisation et bien être, Helliwell, John F., Presses de l'Université Laval, 2005, 105 pages.L'ouvrage de John Helliwell est la compilation de trois conférences données par l'auteur en 2000 ; retravaillées et mises à jour, elles présentent la réflexion de Helliwell sur la mondialisation et le bien-être, ce dernier sujet étant le thème principal de l'ouvrage. Le lien entre la mondialisation et le bien-être est faible, les deux sujets étant traités souvent de façon séparée. Par conséquent, le lecteur qui s'attendrait à une analyse approfondie des effets de la mondialisation sur le bien-être humain en sortira peut-être déçu. Le phénomène de la mondialisation est l'un des sujets de la réflexion de Helliwell, mais c'est loin d'être le plus important – le livre concerne par exemple beaucoup plus les relations bilatérales entre le Canada et les États-Unis ou encore le rôle du Canada dans le monde actuel et il faut attendre le troisième et dernier chapitre qui constitue une réflexion sur la façon de “ combiner bien-être national et bien-être mondial ” pour voir la relation entre le contenu des deux premiers chapitres et la mondialisation. Cependant, il faut rendre justice à l'auteur qui prévient le lecteur que “ cet ouvrage met l'accent sur le bien-être comme centre d'intérêt pour les chercheurs et les responsables de l'élaboration des politiques publiques ” (p. 1). En effet, ce serait une erreur grave de nier que l'ouvrage de Helliwell a ses points forts et la réflexion de l'auteur ne décevra pas un lecteur intéressé par le sujet. Je me concentrerai d'abord sur la troisième partie du livre, qui me semble la plus féconde.

Résumé Dans ce texte de 1985, l’auteur réfléchit sur la notion de droits d’auteur dans le contexte d’une culture populaire qui a dépassé les principes figés sur lesquels se sont établies les lois qui les régissent. L’artiste nous amène à comprendre la fin du paradigme producteur/consommateur : « Après avoir été pendant des décennies les récipients passifs de sélections de musiques préétablies, les auditeurs ont maintenant le loisir d’assembler leurs propres recueils, de séparer le bon grain de l’ivraie. Ils dupliquent une quantité de sons provenant d’un peu partout dans le monde ou, du moins, d’un peu partout dans leurs collections de disques, pour faire des compilations d’une variété infinie et surtout non disponibles parmi les produits offerts par l’industrie de la musique, avec ses écuries circonscrites d’artistes et une politique encore plus contraignante qui consiste à ne fournir que le plus grand dénominateur commun. » L’une des idées-forces du texte d’Oswald tient dans le fait qu’en agissant comme un filtre ne retenant que les hits potentiellement lucratifs, la plupart des étiquettes de disques avaient déjà pénétré un espace de vulnérabilité dans lequel leur produit final cesse de leur appartenir exclusivement. Oswald démontre clairement pourquoi l’industrie de la musique, propulsée par la radio (entre autres véhicule de distribution), a perdu son droit archaïque à une propriété exclusive sur chaque atome sonore. [Camilo La Cruz]

Nous nous intéressons à l'utilisation du langage synchrone Esterel pour le développement de systèmes informatiques réactifs dans un contexte industriel. La problématique abordée est relative a deux aspects importants du processus de compilation du langage pour le type de systèmes cibles : 1/ la possibilité de compiler séparément les modules composant une application, et 2/ la possibilité d'exécuter cette application sur une architecture distribuée. Nous proposons des solutions fondées sur un ensemble d'hypothèses simplificatrices, permettant la réutilisation de la majorité des outils existants sans imposer de contrainte rédhibitoire d'utilisation. Nous exploitons pour cela certaines propriétés essentielles des schémas de traduction d’Esterel vers les circuits numériques séquentiels. La compilation d'un module est effectuée indépendamment de tout contexte d'instanciation et est fondée sur une modélisation du comportement sous forme de graphe de dépendances. Un algorithme de compression pour ce graphe est proposé, réduisant les temps de traitement associes aux manipulations ultérieures et conduisant à des améliorations notables de performances a l'exécution. L'assemblage de modules compiles séparément, conforme à une spécification Esterel donnée, est également modélise sous forme de graphe et donne lieu à la production de code centralise ou distribue. Un algorithme d'identification statique de regroupements de données à faire transporter par les messages est développe, conduisant à une réduction significative du nombre de messages échanges au cours de chaque réaction. Ces travaux ont fait l'objet d'un ensemble d'expériences que nous décrivons, montrant l'intérêt et l'efficacité des algorithmes proposent ainsi que la possibilité effective d'appliquer nos techniques a des systèmes industriels de grande taille.

Cette thèse se place dans le contexte des langages à objets statiquement typés en héritage multiple. Elle est divisée en deux parties. La première concerne la spécification des langages. Elle aborde et formalise les relations entre classes et propriétés en insistant sur la problématique de l'héritage multiple : une classe peut redéfinir les méthodes héritées des classes qu'elle spécialise. Elle propose également le mécanisme du raffinement de class} qui permet d'ajouter a posteriori de nouvelles propriétés à des classes existantes. Ce mécanisme, couplé avec une notion de hiérarchie de modules, est basé sur une analogie structurelle avec les relations entre classes et propriétés : un module peut raffiner les classes importées des modules dont il dépend. Son originalité concerne la prise en compte des dépendances multiples, des raffinements multiples et des combinaisons entre raffinement et spécialisation. Cette première partie présente également PRM, un langage qui valide notre approche de l'héritage multiple, des modules et du raffinement de classes. La seconde partie concerne la compilation des langages à objets. Elle propose un schéma original de compilation pour les langages à objets qui est à la fois séparé (les modules sont compilés indépendamment de leurs utilisations finales) et intègre des techniques d'implémentation globales qui nécessitent la connaissance du programme dans son ensemble : analyse de types, suppression du code mort, coloration et arbres binaires de sélection. Ces techniques annulent le coût lié à l'héritage multiple et au raffinement de classes et réduisent fortement le coût du polymorphisme inhérent à tout langage à objets. L'originalité d'une telle approche réside dans l'application des techniques globales après la compilation des modules. Prmc, le compilateur pour PRM est ensuite présenté et le schéma de compilation proposé est validé par différents benchmarks
This thesis is placed in the context of statically typed languages object-oriented languages as C++ or Eiffel. It is divided into two parts. The first one relates to language specification. It approaches and formalizes the relations between classes and properties while insisting on the problems of the multiple inheritance: a class can redefine methods inherited from classes it specializes. It also proposes the class refinement mechanism which makes it possible to add a posteriori new properties to existing classes. This mechanism, coupled with a concept of module hierarchy, is based on a structural analogy with the relations between classes and properties: a module can refine imported classes from modules on which it depends. Its originality is to take into account multiple dependencies, multiple refinements, and combinations of refinement and specialization. This first part also presents PRM, a language which validates our approach of multiple inheritance, modules, and class refinement. The second part relates to the compilation of object-oriented languages. It proposes an original schema of compilation for object-oriented languages which is separate—the modules are compiled independently of their final uses—and includes global implementation techniques which require the knowledge of the whole program: type analysis, dead code suppression, coloring and binary tree dispatch. These techniques cancel the cost of multiple inheritance and class refinement and strongly reduce the inherent cost of polymorphism of any objectoriented language. The originality of such an approach is the application of global techniques after the compilation of modules. Prmc, the PRM compiler, is then presented, and the schema of compilation we propose is validated by different benchmarks