Section 293 of the Criminal Code of Canada provides that polygamy is an indictable offence. In a recent reference to the Supreme Court of British Colombia, the court held that this section was constitutionally valid and did not infringe upon religious freedom because of the harm polygamous marriages caused to women, children, society and most importantly, “the institution of monogamous marriage”. This paper will revisit the court’s analysis of polygamy and discuss why it was considered harmful and preserved as a criminal act. The paper will canvas the underlying differences between the roles ascribed to marriage in Islam, as an example of a non-Western religio-legal tradition, and the collective liberal West. Ultimately, the paper will consider whether a balance can be struck between the measures required to protect women and children from harm, and preserving religious freedom, while remaining within the bounds of the Canadian Charter of Rights and Freedoms.

Vehicular Ad hoc Networks (VANET) consist of radio-equipped vehicles and roadside units (RSU) and support many safety and commercial applications. Multi-hop forwarding can extend the communication range of both RSUs and vehicular broadcasts. Recently, the use of Positive Orthogonal Codes (POC) as transmission patterns of repetition-based broadcast medium access control (MAC) for safety messages has been proposed. This thesis proposes a cooperative forwarding protocol in which multiple relays at each forwarding hop form a virtual relay and coordinate their transmission times to correspond to a POC codeword. The protocol thereby exploits spatial diversity while conforming to the POC-based MAC, resulting in fewer collisions and mitigating the effect of hidden terminals. The design is validated through NS2 simulations, which show comparable performance with other forwarding schemes while producing significantly less performance degradation for safety message broadcasts on the same channel.

Section 293 of the Criminal Code of Canada provides that polygamy is an indictable offence. In a recent reference to the Supreme Court of British Colombia, the court held that this section was constitutionally valid and did not infringe upon religious freedom because of the harm polygamous marriages caused to women, children, society and most importantly, “the institution of monogamous marriage”. This paper will revisit the court’s analysis of polygamy and discuss why it was considered harmful and preserved as a criminal act. The paper will canvas the underlying differences between the roles ascribed to marriage in Islam, as an example of a non-Western religio-legal tradition, and the collective liberal West. Ultimately, the paper will consider whether a balance can be struck between the measures required to protect women and children from harm, and preserving religious freedom, while remaining within the bounds of the Canadian Charter of Rights and Freedoms.

Iterative processing has been shown to be very effective in multiuser space-time block coding (STBC) systems. The complexity and efficiency of an iterative receiver depend heavily on how the log-likelihood ratios (LLRs) of the coded bits are computed and exchanged at the receiver among its three major components, namely the multiuser detector, the maximum a posterior probability (MAP) demodulators and the MAP channel decoders. This thesis first presents a method to quantitatively measure the system complexities with floating-point operations (FLOPS) and a technique to evaluate the iterative receiver's convergence property based on mutual information and extrinsic information transfer (EXIT) charts.<p>Then, an integrated iterative receiver is developed by applying the sigma mappings for M-ary quadrature amplitude modulation (M-QAM) constellations. Due to the linear relationship between the coded bits and the transmitted channel symbol, the multiuser detector can work on the bit-level and hence improves the convergence property of the iterative receiver. It is shown that the integrated iterative receiver is an attractive candidate to replace the conventional receiver when a few receive antennas and a high-order M-QAM constellation are employed.<p> Finally, a more general two-loop iterative receiver is proposed by introducing an inner iteration loop between the MAP demodulators and the MAP convolutional decoders besides the outer iteration loop that involves the multiuser detection (MUD) as in the conventional iterative receiver. The proposed two-loop iterative receiver greatly improves the iteration efficiency. It is demonstrated that the proposed two-loop iterative receiver can achieve the same asymptotic performance as that of the conventional iterative receiver, but with much less outer-loop iterations.

No description available.

La compilation de codee source vers du code octet combiné avec l'utilisation d'une machine virtuelle ou d'un interpréteur pour l'exécuter est devenue une pratique courante qui permet de conserver une indépendance face à la plateforme matérielle. Les interpréteurs sont portables et offrent une simplicité de développement qui en font un choix intéressant pour la conception de prototypes de nouveaux langages de programmation. L'optimisation des techniques d'interprétation existantes est un sujet de recherche qui nous intéresse particulièrement. Nous avons voulu, par l'entremise de notre projet de recherche, étudier jusqu'où il est possible de pousser l'optimisation dans un interpréteur. Après avoir étudié les types d'interpréteurs existants, nous avons constaté que les interpréteurs les plus performants se basent tous sur le même principe: La réduction du coût associé aux répartitions entre les instructions interprétées. Ce coût est causé par les instructions de répartitions elles-mêmes, mais surtout par l'augmentation du taux d'erreur qu'elles procurent dans les prédicteurs de branchement qui se trouvent au sein des processeurs modernes. Des mauvaises prédictions de branchements occasionnent des coûts importants sur une architecture pipelinée. L'interpréteur linéaire inclusif est un des plus performants qui existe. En nous basant sur cet interpréteur, nous avons fait la conception et l'implémentation d'un mécanisme qui lui permet d'augmenter la longueur des ses super-instructions et par le fait même de diminuer le nombre de répartitions pendant l'exécution. Nous avons mis au point un mécanisme dynamique d'inclusion partielle des méthodes dans cet interpréteur. Nous avons aussi conçu un système de profilage qui nous permet de détecter les sites d'invocations chauds et d'y effectuer l'inclusion du chemin le plus fréquenté de la méthode appelée. En brisant ainsi la frontière entre le corps des méthodes, nous parvenons à augmenter la longueur moyenne des super-instructions. Nous avons surmonté et résolu toutes les difficultés inhérentes à l'implémentation d'un tel système dans une véritable machine virtuelle Java (synchronisation, exceptions, présence d'un nettoyeur de mémoire, présence de sous routines dans le code octet Java). Nous fournissons une étude empirique de l'impact de notre système sur un interpréteur linéaire inclusif en exécutant des applications Java d'envergure. Dans tous les cas étudiés, on arrive à augmenter la longueur moyenne des super-instructions invoquées et à diminuer le nombre de répartitions pendant l'exécution. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Interpréteur, Inclusion, Inclusion partielle, Profilage, Machine virtuelle, Java, JVM, SableVM.

L'utilisation du langage Java dans plusieurs environnements (web, systèmes embarqués, systèmes mobiles, etc.) a élevé considérablement le niveau d'exigence envers ce langage, ce qui a amené les chercheurs et les développeurs à s'intéresser au système de sécurité de la Machine Virtuelle Java (MVJ) qui repose principalement sur le vérificateur du code octet. Dans ce mémoire, nous expliquons le fonctionnement du vérificateur Java, son rôle, les différentes techniques proposées pour son implémentation et un algorithme que nous proposons comme alternative sérieuse aux autres vérificateurs qui existent déjà. Nous nous intéresserons plus particulièrement à l'effet des sous-routines sur le bon typage des instructions. Nous présentons aussi une nouvelle approche de vérification de la synchronisation en nous basant sur l'analyse de flot de données et en identifiant les références qui pointent vers le même objet. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Machine Virtuelle Java, Code octet, Vérificateur, Synchronisation, Java, ClassLoader, Instructions, Treillis, Analyse de flot de données, Fonctions de transfert, Point fixe.

Un débat oppose depuis plusieurs années les partisans de la finance responsable à ceux de la finance traditionnelle. D'une part, plusieurs académiciens (revue de littérature: Orlitzky, 2003), prônant la responsabilité sociale des entreprises, estiment que les firmes responsables génèrent des rendements supérieurs dus à la satisfaction de l'ensemble des parties prenantes et d'une gestion, ceteris paribus, plus efficace. D'autre part, un courant parallèle ayant à sa tête Friedman (1970), souligne que tout coût supplémentaire supporté de manière volontaire par la firme, auquel ne sont pas soumis les concurrents, sera un désavantage pour l'entreprise et mènera inévitablement à une diminution de sa rentabilité. C'est dans ce contexte que plusieurs études ont tenté dans le passé de définir le lien entre la responsabilité sociale et la performance financière. Selon Waddock et Graves (1997), ces recherches empiriques se sont toutefois heurtées à un problème fondamental de mesures, ce qui expliquerait l'incertitude entourant la relation. Afin de contourner cette barrière, nous n'avons retenu qu'une seule pratique de la responsabilité sociale, soit les codes de conduite régissant les conditions de travail, et ce, dans une seule industrie particulièrement dénoncée pour ses conditions de travail douteuses, soit l'industrie du vêtement. L'impact des codes de conduite sur les rendements financiers des firmes à court et long termes est analysé par le biais d'une étude comparative. Cette étude événementielle met en parallèle les rendements de firmes nord-américaines ayant adopté un code de conduite par rapport à celles qui n'ont pas suivi cette initiative afin de vérifier si l'adoption d'un code de conduite génère des rendements significativement différents. Les résultats de l'étude événementielle ne démontrent pas de relation positive à court ou long termes. Toutefois, des rendements supérieurs mais statistiquement non significatifs pour les firmes «responsables» sont observés dans les jours suivant l'adoption du code de conduite. Il semblerait que les investisseurs intègrent cette nouvelle information qui se reflète dans le prix, ce qui expliquerait l'absence de rendements anormaux statistiquement significatifs. Cette étude semble donc se ranger derrière la théorie qui veut que la responsabilité sociale et la performance financière n'aient pas de lien direct. Ullman (1985) explique cela par le fait qu'il s'agit de phénomènes trop complexes pour s'attendre à une relation de cause à effet directe. Les résultats montrent par ailleurs que les investisseurs ne jugent pas de manière négative cette initiative à caractère social. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Responsabilité sociale des entreprises, Performance financière, Étude événementielle, Industrie du textile et du vêtement.

Pruesse et Ruskey ont trouvé un code Gray pour les idéaux d'un ensemble partiellement ordonné (poset) et un algorithme récursif pour les engendrer. Dans ce mémoire, un algorithme non-récursif qui engendre la même liste d'idéaux est présenté. De plus, plusieurs autres codes Gray classiques majoritairement reliés aux posets et leurs implantations sont étudiés. Plus particulièrement, les codes Gray de Chase et de Ruskey pour les combinaisons, celui de Ruskey et Proskurowski pour les mots de Dyck et celui de Walsh pour les involutions sans point fixe sont étudiés. Le code Gray de Chase est présenté sous forme d'un programme FORTRAN. Vajnovszki et Walsh ont trouvé une implantation plus simple sans en donner une preuve formelle; une telle preuve est présentée dans ce mémoire. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Code Gray, Idéal, Ensemble partiellement ordonné (poset), Extension linéaire, Poset forêt, Algorithme, Non-récursif, Sans-boucle, Temps constant amorti (CAT).

A new, template-based code generator has been implemented for the OpenModelica compiler. All data needed for target code generation has been collected in a new data structure that is then sent to templates which generate target code based on that data. This simplifies the implementation of the code generator and also makes it possible to write a different set of templates to generate target code in a different language. The new, template-based code generator currently only supports generation of target code for simulating Modelica models. In that scenario it translates models roughly at the same speed as the old code generator.