This work is concerned with analysing the potential impact of direct changes to large- scale enterprise systems, and, in particular, how to minimise testing efforts on such changes. A typical enterprise system may consist of hundreds of thousands of classes and millions of methods. Thus, it is extremely costly and difficult to apply conventional testing techniques to such a system. Retesting everything after a change is very expensive, and in practice generally not necessary. Selective testing can be more effective. However, it requires a deep understanding of the target system and a lack of that understanding can lead to insufficient test coverage. Change Impact Analysis can be used to estimate the impacts of the changes to be applied, providing developers/testers with confidence in selecting necessary tests and identifying untested entities. Conventional change impact analysis approaches include static analysis, dynamic analysis or a hybrid of the two analyses. They have proved to be useful on small or medium size programs, providing users an inside view of the system within an acceptable running time. However, when it comes to large-scale enterprise systems, the sizes of the programs are orders of magnitude larger. Conventional approaches often run into resource problems such as insufficient memory and/or unacceptable running time (up to weeks). More critically, a large number of false-negatives and false-positives can be generated from those approaches.In this work, a conservative static analysis with the capability of dealing with inheritance was conducted on an enterprise system and associated changes to obtain all the potential impacts. Later an aspect-based dynamic analysis was used to instrument the system and collect a set of dynamic impacts at run-time. We are careful not to discard impacts unless we can show that they are definitely not impacted by the change. Reachability analysis examines the program to see “Whether a given path in a program representation corresponds to a possible execution path”. In other words, we employ reachability analysis to eliminate infeasible paths (i.e., miss-matched calls and returns) that are identified in the control-flow of the program. Furthermore, in the phase of alias analysis, we aim at identifying paths that are feasible but cannot be affected by the direct changes to the system, by searching a set of possible pairs of accesses that may be aliased at each program point of interest. Our contributions are, we designed a hybrid approach that combines static anal- ysis and dynamic analysis with reachability analysis and alias/pointer analysis, it can be used to (1) solve the scalability problem on large-scale systems, (2) reduce false-positives and not introduce false-negatives, (3) extract both direct and indirect changes, and (4) identify impacts even before making the changes. Using our approach, organizations can focus on a much smaller, relevant subset of the overall test suite instead of blindly doing their entire suite of tests. Also it enables testers to augment the test suite with tests applying to uncovered impacts. We include an empirical study that illustrates the savings that can be attained. / Thesis / Doctor of Philosophy (PhD)

Software-defined radios have the agility and flexibility to tune performance parameters, allowing them to adapt to environmental changes, adapt to desired modes of operation, and provide varied functionality as needed.  Traditional software-defined radios use a combination of conditional processing and software-tuned hardware to enable these features and will critically sample the spectrum to ensure that only the required bandwidth is digitized.  While flexible, these systems are still constrained to perform only a single function at a time and digitize a single frequency sub-band at time, possibly limiting the radio's effectiveness. Radio systems commonly tune hardware manually or use software controls to digitize sub-bands as needed, critically sampling those sub-bands according to the Nyquist criterion.  Recent technology advancements have enabled efficient and cost-effective over-sampling of the spectrum, allowing all bandwidths of interest to be captured for processing simultaneously, a process known as band-sampling.  Simultaneous access to measurements from all of the frequency sub-bands enables both awareness of the spectrum and seamless operation between radio applications, which is critical to many applications.  Further, more information may be obtained for the spectral content of each sub-band from measurements of other sub-bands that could improve performance in applications such as detecting the presence of interference in weak signal measurements. This thesis presents a new method for confirming the source of detected energy in weak signal measurements by sampling them directly, then estimating their expected effects.  First, we assume that the detected signal is located within the frequency band as measured, and then we assume that the detected signal is, in fact, interference perceived as a result of signal aliasing.  By comparing the expected effects to the entire measurement and assuming the power spectral density of the digitized bandwidth is sparse, we demonstrate the capability to identify the true source of the detected energy.  We also demonstrate the ability of the method to identify interfering signals not by explicitly sampling them, but rather by measuring the signal aliases that they produce.  Finally, we demonstrate that by leveraging techniques developed in the field of Compressed Sensing, the method can recover signal aliases by analyzing less than 25 percent of the total spectrum. / Master of Science

This study examines the use of the fairy tale intertext in contemporary Canadian womens fiction. In using specific fairy tale plots, themes, motifs, and/or characters within their works of fiction, women writers of the twentieth and twenty-first centuries purposefully express their goal for the revival and continuity of the female narrative voice and sense of agency. To explore the fairy tale-fiction relationship, Margaret Atwoods Alias Grace and Anne Hberts Kamouraska are approached from what fairy tale scholar Jack Zipes has constructed as the theory of contamination of the fairy tale genre. The fairy tale genres integration into contemporary fiction represents an important development where fairy tale narratives are critically reread so as to bring out deeper meanings for the contemporary audience. / Comparative Literature

No description available.

La vérification déductive de programmes consiste à annoter des programmes par une spécification, c'est-à-dire un ensemble de formules logiques décrivant le comportement du programme, et à prouver que les programmes vérifient bien leur spécification. Des outils tels que la plate-forme Why prennent en entrée un programme et sa spécification et calculent des formules logiques telles que, si elles sont prouvées, le programme vérifie sa spécification. Ces formules logiques peuvent être prouvées automatiquement ou à l'aide d'assistants de preuve.Lorsqu'un programme est écrit dans un langage supportant les alias de pointeurs, c'est-à-dire si plusieurs variables peuvent désigner la même case mémoire, alors le raisonnement sur le programme devient particulièrement ardu. Il est nécessaire de spécifier quels pointeurs peuvent être égaux ou non. Les invariants des structures de données, en particulier, sont plus difficiles à vérifier.Cette thèse propose un système de type permettant de structurer la mémoire de façon modulaire afin de contrôler les alias de pointeurs et les invariants de données. Il est basé sur les notions de région et de permission. Les programmes sont ensuite interprétés vers Why de telle façon que les pointeurs soient séparés au mieux, facilitant ainsi le raisonnement. Cette thèse propose aussi un mécanisme d'inférence permettant d'alléger le travail d'annotation des opérations de régions introduites par le langage. Un modèle est introduit pour décrire la sémantique du langage et prouver sa sûreté. En particulier, il est prouvé que si le type d'un pointeur affirme que celui-ci vérifie son invariant, alors cet invariant est effectivement vérifié dans le modèle. Cette thèse a fait l'objet d'une implémentation sous la forme d'un outil nommé Capucine. Plusieurs exemples ont été écrits pour illustrer le langage, et ont été vérifié à l'aide de Capucine.

The fast and furious pace of change in computing technology has become an article of faith for many. The reliability of computer-based systems cru- cially depends on the correctness of its computing. Can man, who created the computer, be capable of preventing machine-made misfortune? The theory of static analysis strives to achieve this ambition. The analysis of numerical properties of programs has been an essential research topic for static analysis. These kinds of properties are commonly modeled and handled by the concept of numerical abstract domains. Unfor- tunately, lifting these domains to heap-manipulating programs is not obvious. On the other hand, points-to analyses have been intensively studied to an- alyze pointer behaviors and some scale to very large programs but without inferring any numerical properties. We propose a framework based on the theory of abstract interpretation that is able to combine existing numerical domains and points-to analyses in a modular way. The static numerical anal- ysis is prototyped using the SOOT framework for pointer analyses and the PPL library for numerical domains. The implementation is able to analyze large Java program within several minutes. The second part of this thesis consists of a theoretical study of the com- bination of the points-to analysis with another pointer analysis providing information called must-alias. Two pointer variables must alias at some pro- gram control point if they hold equal reference whenever the control point is reached. We have developed an algorithm of quadruple complexity that sharpens points-to analysis using must-alias information. The algorithm is proved correct following a semantics-based formalization and the concept of bisimulation borrowed from the game theory, model checking etc.

Cette thèse a pour objet l’invention de soi chez Patrick Modiano. Le syntagme invention de soi peut s’interpréter de trois manières différentes selon que l’on met l’accent sur la recherche de l’identité pour répondre à la question qui suis-je ?, ou que l’on interroge la rhétorique pour y chercher les idées et arguments pour composer son discours ou encore que l’on ne fasse appel qu’à sa mémoire puisque rien de nouveau n’a été inventé. De ses trois approches, la première guide en majorité les travaux de cette thèse, menée à l’aide des outils traditionnels de l’analyse littéraire et en excluant toute approche psychanalytique que Patrick Modiano récuse pour lui-même. La démarche suivie l’est en trois points. Dans un premier temps, il s’agit de rechercher ce qui alimente l’œuvre romanesque de Patrick Modiano, entre l’Histoire et plus particulièrement l’histoire de la Collaboration en France entre 1940 et 1944 ou de la fin de la guerre d’Algérie, très présente dans plusieurs de ses romans, ses sources littéraires et plus spécialement des auteurs antisémites de l’entre-deux guerres qu’il cite souvent et sa vie partagée, c'est-à-dire partagée avec ses lecteurs. Ensuite il s’agit de se demander chez cet auteur qui pratique quasiment exclusivement le Je-narrateur, quel est le genre de ses récits entre roman, autobiographie et autofiction. Enfin la question de son identité est posée : qu’est ce pour lui être né en 1945, être le fils d’un collaborateur ou présumé tel, être fils d’un Juif ou encore être écrivain ? Ces analyses nous permettent de répondre à la question posée par cette thèse et de déterminer de quelle manière Patrick Modiano s’invente soi-même dans ses récits. Est-ce en s’inventant de fausses dates de naissance, une fausse date de mariage de ses parents, une fausse sœur ou un faux oncle ou ne serait-ce pas plutôt en s’inventant à chaque récit une identité imaginaire comme si elle était la sienne, pour l’abandonner au récit suivant et en reprendre alors une nouvelle ? / This dissertation addresses the question of the invention of oneself by Patrick Modiano. The terms invention of oneself can be interpreted on three ways, depending on the manner the accent is made on the definition of identity, answering the question : “Who am I?”, or finding the ideas and arguments to prepare a discourse as it is done in the rhetoric or questioning one’s memory as nothing new can be invented. Amongst these three approaches, the first one about the question of identity is mainly studied with the literary tools, excluding the psychoanalytical view which is rejected by Patrick Modiano himself. A three steps approach is followed. At first we analyze how the Patrick Modiano’s romanesque art is influenced by History, mainly the history of the French collaboration during World War II but also by the history of the Algeria war at the beginning of the sixties, his literary sources mainly among French anti-Semite authors who published their books just before World War II, and of course his shared life, that is to say the life he is sharing with the readers. The following question concerns the literary genre of the novels written by an author using the I narrator. Is he writing novels, autobiographies or autofictions? The last issue is about the question of identity: what does it mean for Patrick Modiano to be born in 1945, to be the son of a supposed collaborator, or the son of a Jew, or to be a writer? Answering these different questions should help to approach the definition of the invention of oneself. Is it related to the invention of several birth dates, a false date for the wedding of his parents or imaginary family members for himself or on the opposite is it related to the invention of a new imaginary identity at each novel till the previous identity is abandoned and a new imaginary identity is created in the following novel?

O presente trabalho teve como objetivo discutir questões sobre memória e intertextualidade, a partir dos diferentes textos constituintes da obra Vulgo Grace da autora canadense Margaret Atwood. A autora recupera a trajetória verídica de Grace Marks, uma criada condenada à prisão perpétua por ser cúmplice no assassinato do patrão e da governanta da casa em que trabalhava. Grace apresenta sinais de amnésia sobre os fatos ocorridos nos assassinatos e, nessa situação, um comitê que acredita na sua inocência convida o jovem médico americano Simon Jordan para descobrir a verdadeira causa dessa aparente amnésia. Dentro desse contexto, foi observada a presença significativa da memória e da intertextualidade como itens essenciais na obra. O método utilizado na análise foi o enfoque de três partes: a narração em primeira pessoa de Grace, a narração em terceira pessoa sobre Simon e os paratextos. A análise se deu por meio do cotejo entre os diferentes tipos de texto, tendo como base os conceitos de intertextualidade de Júlia Kristeva e Tiphaine Samoyault e memória de Márcio Seligmann-Silva, Michael Pollak e Alba Olmi Outros conceitos como o significado dos sonhos de Sigmund Freud e a metaficção historiográfica de Linda Hutcheon também se fazem presentes na análise. Esse estudo comparativo resultou na descoberta de diferentes relações entre os textos sendo que conceitos além das questões de memória e intertextualidade foram descobertos. A memória te grande significado na construção das relações humanas e na relação do ser com o passado. O presente trabalho mostra-se relevante em relação aos estudos de memória pelo fato de discutir e apresentar outros meios e outras ligações entre os intertextos como também se insere nos estudos da autora Margaret Atwood no Brasil. / The present thesis intended to discuss some issues related to memory and intertextuality, taking as a starting point the different texts from Alias Grace (Vulgo Grace), written by the Canadian writer Margaret Atwood. The book retrieves the true story of Grace Marks, a maid sentenced to life imprisonment for being an accomplice to the murder of her employer and the housekeeper in the house where she used to work. Grace presented symptoms of amnesia, forgetting the facts that occurred in the murders. In that situation, a small committee who believe in Grace’s innocence hires the young American doctor Simon Jordan to discover the true reason for this apparent amnesia. In this context, a significant presence of memory and intertextuality as essential items of story could be observed. The method applied here was the focus on three parts: the first-person narration by Grace, the thirdperson narration about Simon and the paratexts. The analysis was made through the comparison between the different types of texts, based on intertextuality concepts stated by Júlia Kristeva and Tiphaine Samoyault and memory concepts presented by Márcio Seligmann-Silva, Michael Pollak, and Alba Olmi. Other concepts, such as the meanings of dreams, developed by Sigmund Freud, and the historiographic metafiction, elaborated by Linda Hutcheon, are also included in this analysis.

To reduce cost, many digital cameras use a single sensor array instead of using three arrays for the red, green and blue. Thus at each pixel location only the red, green or blue intensity value is available. And to generate a complete color image, the camera must estimate the missing two values at each pixel location .Color filter arrays are used to capture only one portion of the spectrum (Red, Green or Blue) at each location. Various arrangements of the Color Filter Array (CFA) are possible, but the Bayer array is the most commonly used arrangement and we will deal exclusively with the Bayer array in this thesis. Since each of the three colors channels are effectively downsampled, it leads to aliasing artifacts. This thesis will analyze the effects of aliasing in the frequency- domain and present a method to reduce the deterioration in image quality due to aliasing artifacts. Two reference algorithms, AH-POCS (Adams and Hamilton - Projection Onto Convex Sets) and Adaptive Homogeneity-Directed interpolation, are discussed in de- tail. Both algorithms use the assumption that there is high correlation in the high- frequency regions to reduce aliasing. AH-POCS uses alias cancellation technique to reduce aliasing in the red and blue images, while the Adaptive Homogeneity-Directed interpolation algorithm is an edge-directed algorithm. We present here an algorithm that combines these two techniques and provides a better result on average when compared to the reference algorithms.

O presente trabalho teve como objetivo discutir questões sobre memória e intertextualidade, a partir dos diferentes textos constituintes da obra Vulgo Grace da autora canadense Margaret Atwood. A autora recupera a trajetória verídica de Grace Marks, uma criada condenada à prisão perpétua por ser cúmplice no assassinato do patrão e da governanta da casa em que trabalhava. Grace apresenta sinais de amnésia sobre os fatos ocorridos nos assassinatos e, nessa situação, um comitê que acredita na sua inocência convida o jovem médico americano Simon Jordan para descobrir a verdadeira causa dessa aparente amnésia. Dentro desse contexto, foi observada a presença significativa da memória e da intertextualidade como itens essenciais na obra. O método utilizado na análise foi o enfoque de três partes: a narração em primeira pessoa de Grace, a narração em terceira pessoa sobre Simon e os paratextos. A análise se deu por meio do cotejo entre os diferentes tipos de texto, tendo como base os conceitos de intertextualidade de Júlia Kristeva e Tiphaine Samoyault e memória de Márcio Seligmann-Silva, Michael Pollak e Alba Olmi Outros conceitos como o significado dos sonhos de Sigmund Freud e a metaficção historiográfica de Linda Hutcheon também se fazem presentes na análise. Esse estudo comparativo resultou na descoberta de diferentes relações entre os textos sendo que conceitos além das questões de memória e intertextualidade foram descobertos. A memória te grande significado na construção das relações humanas e na relação do ser com o passado. O presente trabalho mostra-se relevante em relação aos estudos de memória pelo fato de discutir e apresentar outros meios e outras ligações entre os intertextos como também se insere nos estudos da autora Margaret Atwood no Brasil. / The present thesis intended to discuss some issues related to memory and intertextuality, taking as a starting point the different texts from Alias Grace (Vulgo Grace), written by the Canadian writer Margaret Atwood. The book retrieves the true story of Grace Marks, a maid sentenced to life imprisonment for being an accomplice to the murder of her employer and the housekeeper in the house where she used to work. Grace presented symptoms of amnesia, forgetting the facts that occurred in the murders. In that situation, a small committee who believe in Grace’s innocence hires the young American doctor Simon Jordan to discover the true reason for this apparent amnesia. In this context, a significant presence of memory and intertextuality as essential items of story could be observed. The method applied here was the focus on three parts: the first-person narration by Grace, the thirdperson narration about Simon and the paratexts. The analysis was made through the comparison between the different types of texts, based on intertextuality concepts stated by Júlia Kristeva and Tiphaine Samoyault and memory concepts presented by Márcio Seligmann-Silva, Michael Pollak, and Alba Olmi. Other concepts, such as the meanings of dreams, developed by Sigmund Freud, and the historiographic metafiction, elaborated by Linda Hutcheon, are also included in this analysis.