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.

Étude de phase des systèmes Ni/Si-endommagé et Ni/a-Si, par XRD résolue en temps et nanocalorimétrie

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Nouvelle approche en théorie des jeux comportementale

Il a été démontré en laboratoire que l’équilibre de Nash n’était pas toujours un bon indicateur du comportement humain. Différentes théories alternatives (aversion à l’inégalité, réciprocité et norme sociale) ont vu le jour pour combler les lacunes de la théorie classique, mais aucune d’elles ne permet d’expliquer la totalité des phénomènes observés en laboratoire. Après avoir identifié les lacunes de ces modèles, ce mémoire développe un modèle qui synthétise dans un tout cohérent les avancées de ceux-ci à l’aide de préférences hétérogènes. Afin d’augmenter la portée du modèle, une nouvelle notion d’équilibre, dite comportementale, est ajoutée au modèle. En appliquant le nouveau modèle à des jeux simples, nous pouvons voir comment il élargit le nombre de comportements pouvant être modélisé par la théorie des jeux.

Les logiques de localisation des entreprises multinationales au Québec : une analyse des systèmes d'affaires et des relations industrielles en région

L’objet de ce mémoire est de comprendre les logiques de localisation des entreprises multinationales au Québec. À l’aide de deux études de cas, basées sur cinq investissements, nous avons examiné les facteurs qui ont permis à deux filiales d’entreprises multinationales étrangères d’obtenir un investissement ou un réinvestissement. La littérature sur la localisation des entreprises multinationales à l’étranger nous a aidé à identifier trois types d’attributs qui sont susceptibles d’influencer l‘obtention d’un investissement par la filiale locale : les attributs internes à la filiale, les attributs liés à la relation qu’entretient la filiale avec son siège social et les attributs liés aux contextes d’affaires dans lesquels la filiale exerce son activité. Nos résultats permettent d’établir plusieurs constats. Premièrement, les facteurs pris en compte dans les décisions d’investissement varient selon les échelles internationales, nationales, provinciales et locales. Les sièges sociaux des entreprises multinationales procèdent à une sélection successive de facteurs dans la perspective d’arriver à un meilleur compromis. Par conséquent, un facteur ne peut à lui seul expliquer un investissement. Le poids et la diversité des facteurs peuvent varier en fonction des situations. Deuxièmement, la complémentarité des attributs internes de la filiale avec son contexte d’affaires local a fortement contribué à l’obtention d’investissements. La technologie de production, les compétences des employés ainsi que la capacité de la direction locale à promouvoir les atouts de la filiale auprès des comités d’investissement représentent des éléments clés. La présence d’institutions locales fortes et coordonnées est également à prendre en compte dans le soutien apporté au développement de la filiale.

Méthodes numériques pour la capture et la résolution des discontinuités dans les solutions des systèmes hyperboliques

Réalisé en majeure partie sous la tutelle de feu le Professeur Paul Arminjon. Après sa disparition, le Docteur Aziz Madrane a pris la relève de la direction de mes travaux.

La reconstruction juridique de l’Irak et de l’Afghanistan et l’influence des systèmes juridiques occidentaux

Mémoire présenté pour l’obtention du Master II de Droit International Public et dirigé par Monsieur Jean-François MARCHI, Maître de Conférences. Année 2005-2006. L’auteure souhaiterait, en premier lieu, remercier l’équipe du C.E.R.I.C. et tout particulièrement son directeur de recherche, monsieur Jean-François Marchi, pour lui avoir accordé sa confiance et son aide tout au long de cette étude passionnante et enrichissante. Elle désirerait également saluer Harith Al Dabbagh, Maître assistant à la Faculté de droit de l’Université de Mossoul (Irak) et Doctorant en droit privé à l’Université Aix-Marseille III, pour le temps consacré lors de leurs discussions, permettant à l’auteure d’en apprendre davantage sur son pays, l’Irak. Sans oublier enfin ses proches pour leur contribution à travers leur soutien constant et l’intérêt porté à l’égard de ce travail.

Les aspects juridiques des systèmes d’information

Internet est devenu au fil des années un outil de communication exceptionnel. Or lorsqu’on évoque le cyberespace, on pense généralement à un « no man’s land » juridique, un espace sans lois. Est-ce vraiment le cas? Le pouvoir étatique est-il mis de côté? L’auteur affirme que le droit, loin d’être totalement écarté, doit maintenant composer avec d’autres formes de régulation. En prenant l’exemple d’Internet, l’auteur en vient à présenter l’évolution de la régulation d’un tel système, allant de l’autorégulation à la co-régulation, c’est-à-dire « une coopération entre la société civile et les pouvoirs publics ». Il souligne par ailleurs que, de par l’aspect « international » de l’Internet, les institutions supranationales prennent une importance de plus en plus en grande puisque c’est elles qui viendront compenser la portée limitée de l’intervention des États-nations. On prend l’exemple de l’Union européenne et du développement des « régionalismes ». Mais bien qu’il ne soit plus à même de régir et de réguler à lui seul un système comme Internet, il reste que le droit étatique est essentiel. À travers le développement de concepts, la création de dialogues et de consensus, il est en mesure de défendre des droits que la technologie pourrait venir compromettre en exigeant que le développement technologique se fasse en conformité avec les législations traditionnelles.

Interopérabilité et normalisation des systèmes de cyberjustice : Orientations

En partant des travaux en cours tendant au développement de la cyberjustice ­ soit la greffe en ligne (e-filing) et les systèmes intégrés d’information de justice (integrated justice information systems), l’auteur nous propose une analyse quant à l’interopérabilité et à la normalisation des outils « visant à faciliter le traitement et la solution judiciaire et extrajudiciaire des différends et qui tiennent compte de la complexité des paramètres juridiques et des flux d’information concernés ». Pour répondre à cette complexité, l’auteur propose la mise en place d’une grille d’analyse des risques juridiques aussi bien pour la justice civile que pénale.

Utilisation d’indicateurs économiques pertinents pour l’évaluation des systèmes de production agricoles en termes de résilience, vulnérabilité et durabilité : le cas de la région du lac Alaotra à Madagascar

Le projet Observatoire des Agricultures du Monde (OAM, CIRAD/FAO) vise à construire un observatoire mondial permettant de donner des informations sur les agricultures des différents pays ainsi que sur leurs évolutions. A l’heure actuelle, cinq pays ont été choisis comme pays pilotes, dont Madagascar ou la zone d’étude retenue est le lac Alaotra. L’étude replace les notions de vulnérabilité, résilience, durabilité et viabilité au niveau de l’exploitation agricole et montre la nécessité de sélectionner et calculer quelques indicateurs clés nécessaires à la construction de l’observatoire. La base de données retenue dans le cadre de cette étude est celle du Réseau des Observatoires Ruraux (ROR). Les résultats montrent une résilience globale des exploitations agricoles très forte liée à une forte diversification des activités agricoles et non agricoles et à des pratiques innovantes progressives permettant de diluer le risque lie au changement technique.

Non-domination et collectivités : l'apport du républicanisme à une théorie des droits collectifs

L'objectif poursuivi dans ce mémoire est de montrer que le néo-républicanisme possède les outils les plus efficaces pour penser la réconciliation des droits individuels, fondement des États de droits occidentaux contemporains, et des droits collectifs que peuvent légitimement réclamer les collectivités nationales. Dans cette visée, et comme de nombreux auteurs libéraux se sont attaqués à cette question dans les dernières décennies, j'expose d'abord trois stratégies libérales pour traiter cette possible réconciliation tout en faisant ressortir leurs faiblesses respectives. J'avance qu'aucune de ces stratégies ne permet vraiment de comprendre comment un régime de droits collectifs et un régime de droits individuels peuvent être articulés de façon cohérente. J'argue ensuite que le néo-républicanisme, parce qu'il comprend la liberté non pas comme l'absence d'interférence, mais comme un statut de non-domination, permet de voir que les droits collectifs des groupes nationaux et les droits individuels sont nécessairement compatibles, parce qu'ils s'organisent en fonction du même idéal. Les droits d'un individu et ceux de sa collectivité nationale sont, d'une certaine manière, les deux faces d'une même médaille, la non-domination individuelle dépendant de la non-domination du groupe national auquel l'individu appartient. En dernier lieu, je soutiens que cette compréhension du rapport entre les deux régimes de droits devrait se traduire par un ensemble de mesures institutionnelles concrètes dont la plus importante est la reconnaissance d'un droit, pour les collectivités nationales, à l'autodétermination.

Résilience familiale : revue systématique des écrits qualitatifs sur le combat familial face au cancer pédiatrique

Essai doctoral présenté à la Faculté des arts et des sciences en vue de l’obtention du grade de doctorat en psychologie, option clinique

L’injonction thérapeutique à l’égard des toxicomanes : comparaison des systèmes français et québécois

In Canada, the total amount of accusations, in compliance with the laws on drugs, show a slight but constant progression. More than half of the sentences for drug-linked offenses have lead to incarceration, a third of the people sentenced for a simple drug possession have been jailed. The relevance of these sentences, making the Canadian detention centres populated with more drug addicts than the rehabilitation centres, is questionable. In France, legislation is mostly based on the December 31st, 1970 law: drug use and trafficking are severely punished. However, for a first arrest, the prosecutor can enjoin the arrestee to treatment: this is what is called therapeutic injunction. Even though therapeutic injunction spares substance users from a jail term, some limitations are encountered this measure is selective, based on social and judicial criteria, making it more forgiving than the average characteristics of drug addicts, it is only accepted and applied by half of the subjects. A specific inquiry has been done in a department in the Paris region, where drug addiction activity is abundant, and suggested a preventive role for the injunction in cases of recidivism. Global appreciation of the therapeutic injunction remains nuanced in a context of new measures in drug addiction, but it translates into the increasing necessity to introduce professional networks between the judicial and sanitary systems, intended for a young population dealing with the modern difficulties of social adaptation and high risk behaviour.

Ontologie et théorie des ensembles

L’ontologie de Leśniewski est un calcul général des noms. Elle fut créée par Leśniewski pour apporter une solution naturelle au paradoxe de Russell en théorie naïve des ensembles. L’ontologie a été perçue par ses défenseurs et par ses adversaires comme une théorie incompatible avec la théorie des ensembles. Dans le présent texte, nous montrons que l’ontologie de Leśniewski permet, au contraire, de définir une théorie des ensembles qui coïncide avec la théorie de Zermelo- Fraenkel.

L’exécution des décisions des juridictions internationales des droits de l’homme: vers une harmonisation des systèmes régionau

Este artículo, que compara el régimen de ejecución de las sentencias de las cortes regionales de derechos humanos, demuestra que el enfoque estuvo concebido inicialmente de manera muy distinta. Al modelo judicial de ejecución de sentencias (modelo interamericano) se opone el modelo europeo de tipo político. Este estudio revela que la evolución, ya realizada a nivel europeo y apenas en gestación a nivel del continente latinoamericano, debería operar hacia un acercamiento en favor de un régimen mixto (cambiando el enfoque judicial con el político) y pluriinstitucional, asociando varios órganos, tanto a nivel regional como nacional. Frente a las resistencias semejantes de los Estados en cuanto a la ejecución de las sentencias (de naturaleza técnica y/o política), la respuesta única dada hasta hoy por todos los modelos ha sido de tipo no coercitivo