Application du concept des transactions pour la modélisation et la simulation multicoeur des systèmes sur puce

Avec la complexité croissante des systèmes sur puce, de nouveaux défis ne cessent d’émerger dans la conception de ces systèmes en matière de vérification formelle et de synthèse de haut niveau. Plusieurs travaux autour de SystemC, considéré comme la norme pour la conception au niveau système, sont en cours afin de relever ces nouveaux défis. Cependant, à cause du modèle de concurrence complexe de SystemC, relever ces défis reste toujours une tâche difficile. Ainsi, nous pensons qu’il est primordial de partir sur de meilleures bases en utilisant un modèle de concurrence plus efficace. Par conséquent, dans cette thèse, nous étudions une méthodologie de conception qui offre une meilleure abstraction pour modéliser des composants parallèles en se basant sur le concept de transaction. Nous montrons comment, grâce au raisonnement simple que procure le concept de transaction, il devient plus facile d’appliquer la vérification formelle, le raffinement incrémental et la synthèse de haut niveau. Dans le but d’évaluer l’efficacité de cette méthodologie, nous avons fixé l’objectif d’optimiser la vitesse de simulation d’un modèle transactionnel en profitant d’une machine multicoeur. Nous présentons ainsi l’environnement de modélisation et de simulation parallèle que nous avons développé. Nous étudions différentes stratégies d’ordonnancement en matière de parallélisme et de surcoût de synchronisation. Une expérimentation faite sur un modèle du transmetteur Wi-Fi 802.11a a permis d’atteindre une accélération d’environ 1.8 en utilisant deux threads. Avec 8 threads, bien que la charge de travail des différentes transactions n’était pas importante, nous avons pu atteindre une accélération d’environ 4.6, ce qui est un résultat très prometteur.

Intersection : Exploration du concept à travers la composition de trois oeuvres musicales

La version intégrale de ce mémoire est disponible uniquement pour consultation individuelle à la Bibliothèque de musique de l'Université de Montréal (www.bib.umontreal.ca/MU).

Le concept d'autonomie s'applique-t-il aux animaux?

Dans ce mémoire, je cherche à déterminer pourquoi les animaux non humains ne sont pas considérés comme étant autonomes dans les théories libérales contemporaines. Pour ce faire, j’analyse deux conceptions traditionnelles de l’autonomie, soit l’autonomie en tant qu’agentivité morale et l’autonomie hiérarchique (en tant que capacité à agir selon ses désirs de second ordre), et je soutiens que ces deux conceptions ne réussissent pas à bien justifier le respect des choix personnels même chez les agents humains. J’avance que ces deux conceptions de l’autonomie mènent à des conclusions perfectionnistes et paternalistes à certains égards, ce qui est pourtant contraire à leur fonction. J’analyse ensuite quelques versions alternatives de l’autonomie qui ne reposent pas sur la possession de facultés morales ou rationnelles, avant de proposer une nouvelle conception de l’autonomie qui pourrait répondre aux problèmes soulevés et potentiellement reconnaître l’autonomie des animaux non humains.

L’éthique économique en Islam au prisme du concept de besoin

Full Text / Article complet

Centor : concept d’interface de spatialisation sonore additive

Cette recherche porte un regard critique sur les interfaces de spatialisation sonore et positionne la composition de musique spatiale, un champ d’étude en musique, à l’avant plan d’une recherche en design. Il détaille l’approche de recherche qui est centrée sur le processus de composition de musique spatiale et les modèles mentaux de compositeurs électroacoustiques afin de livrer des recommandations de design pour le développement d’une interface de spatialisation musicale nommée Centor. Cette recherche montre qu’un processus de design mené à l’intersection du design d’interface, du design d’interaction et de la théorie musicale peut mener à une proposition pertinente et innovatrice pour chacun des domaines d’étude. Nous présentons la recherche et le développement du concept de spatialisation additive, une méthode de spatialisation sonore par patrons qui applique le vocabulaire spectromorphologique de Denis Smalley. C’est un concept d’outil de spatialisation pour le studio qui complémente les interfaces de composition actuelles et ouvre un nouveau champ de possibilités pour l’exploration spatiale en musique électroacoustique. La démarche de recherche présentée ici se veut une contribution au domaine du design d’interfaces musicales, spécifiquement les interfaces de spatialisation, mais propose aussi un processus de design pour la création d’interfaces numériques d’expression artistique.

Autour des nouvelles valorisations des collections permanentes au musée : le cas de l'exposition Encounters : New Art from Old

Dans le cadre de la célébration du nouveau millénaire, la National Gallery de Londres a organisé l'exposition Encounters: New Art from Old (14 juin - 17 septembre 2000). La formule consistait à inviter vingt-cinq artistes contemporains à choisir une œuvre de la collection permanente du musée et à s'en inspirer afin d'en créer une nouvelle. Certaines des œuvres produites pour l’occasion ont été exposées près de leurs sources dans les salles historiques de la collection du musée. Ce mémoire examine comment la formule de cette exposition et son accrochage anachronique agissent de façon directe sur la temporalité de la collection historique en invitant à sa réactualisation, et à la mise en valeur de la création. Il situe cette formule dans le cadre d’un regain d’intérêt pour les collections, décortique la sélection des artistes par le musée et la sélection des œuvres de la collection par les artistes. Il propose aussi une classification des modalités par lesquelles ceux-ci ré-interprètent la tradition. Enfin, en s’appuyant sur la théorie de la réception, ce mémoire considère les réponses générées par l’exposition : celles des artistes aux œuvres de leurs prédécesseurs, celles des critiques et celles du public.