Call number: LD2668 .T4 1961 S63

Compiler optimizations in the context of traditional program execution is a well-studied research area, and modern compilers typically offer a suite of optimization options. This thesis reports the first study (to our knowledge) on how standard compiler optimizations influence symbolic execution. We study 33 optimization flags of the LLVM compiler infrastructure, which are used by the KLEE symbolic execution engine. Specifically, we study (1) how different optimizations influence the performance of KLEE for Unix Coreutils, (2) how the influence varies across two different program classes, and (3) how the influence varies across three different back-end constraint solvers. Some of our findings surprised us. For example, KLEE's setting for applying the 33 optimizations in a pre-defined order provides sub-optimal performance for a majority of the Coreutils when using the basic depth-first search; moreover, in our experimental setup, applying no optimization performs better for many of the Coreutils. / text

Symbolic execution is a powerful, systematic analysis that has received much visibility in the last decade. Scalability however remains a major challenge for symbolic execution. Compositional analysis is a well-known general purpose methodology for increasing scalability. This thesis introduces a new approach for compositional symbolic execution. Our key insight is that we can summarize each analyzed method as a memoization tree that captures the crucial elements of symbolic execution, and leverage these memoization trees to efficiently replay the symbolic execution of the corresponding methods with respect to their calling contexts. Memoization trees offer a natural way to compose in the presence of heap operations, which cannot be dealt with by previous work that uses logical formulas as summaries for composi- tional symbolic execution. Our approach also enables an efficient treatment of error traces by short-circuiting the execution of paths that lead to them. Our preliminary experimental evaluation based on a prototype implementation in Symbolic PathFinder shows promising results. / text

<p>The purpose of this study is to give an insight in how home care givers with different ethnic background, other than European, experience their work as home care givers. It is a qualitative study based on interviews and observations of four different home care givers. Among the questions studied include; if ethnicity is a resource or not, how does it affect home care givers in doing their work? What importance does it have on the organisation as a home care entrepreneur? Has the home care entrepreneur a perspective of diversity? The results of the study have been analyzed with the help of symbolic interaction. The results have led us to conclude that the home care givers have a professional identity, which does not include an ethnic identity. Further more results indicate that ethnicity has a limited impact on the home care givers of non European origin that have not experienced discrimination. For the home care givers who earlier on in their carrier(s) have had experiences of discrimination, exist uncertainties, especially during their first visit in the homes. How the home care entrepreneur give guidelines to solving problems and conflicts between client and home care givers are of great significance.</p>

No description available.

In the aftermath of the failed revolution of 1848, which had been sparked by demands for democracy and constitutional reform, Germany’s princes reluctantly introduced new freedoms regarding print and the right to assembly. However, reactionary forces in governments unwilling to cede power quickly repressed these freedoms, leading to tighter controls on public and private life. Consequently, dispirited citizens clutched at the old Biedermeier ways, withdrawing to an “ill-remembered social order of bygone days” (Shorter 169). It was against this backdrop that the illustrated works of Wilhelm Busch (1832–1908) appeared in the popular Bilderbogen (“picture broadsheets”) of the day, and later as stand-alone Bildergeschichten (“picture stories”), using satire and symbolic inversion to mock German society by skewering assorted political, social, and cultural sacred cows. The aim of my dissertation is as follows. I will start by examining Busch’s use of symbolic inversion as a way of implying a shift in power between figures of authority and the disgruntled “second-class” citizens of Biedermeier society: women and children. Next, I will examine how Busch’s animal characters, particularly apes with their close resemblance to mankind, mock human pretensions of biological superiority. Finally, I will show how objects meant to serve their human “masters” overpower them, even in their homes, suggesting that there was no refuge from the vagaries of a rapidly changing world. Key to my analysis will be an exploration of the mechanism of “inside out” and “upside down,” described by Mikhail Bakhtin with regards to the carnival scenes of Gargantua et Pantagruel, as a sanctioned and mocking way of questioning the power of the state and its institutions. Along the way, I will compare and contrast Busch’s picture stories with similar strips in the Fliegende Blätter, in order to prove how groundbreaking the author’s exposé of nineteenth-century German society truly was. As I explore the synergy between image and word, I will demonstrate how Busch’s use of symbolic inversion is slyly subversive, undermining established authority in the political, social, and cultural arenas, and providing a safety valve in the form of humour that transcends the boundaries of class, education, and gender. / Thesis (Ph.D, German) -- Queen's University, 2013-04-19 14:01:35.498

設T為一於二維環面T²上，特徵值為整數的線性自同態，而D為一T²的Markov分割。那麼每一個D上定義的符號空間有限型子轉移則對應一個T²的T -不變緊子集K。判斷K的 Hausdor和Minkowski維數何時相等是一有趣問題。Kenyon and Peres [15]說明了此問題與(K, T )的測度熵及拓撲熵關係密切。這篇論文將進一步說明兩種維數的相等與符號動力系統及矩陣乘積的漸近性態的密切關係。此外我們描述一種算法以判斷兩個譜半徑為1的本原矩陣的任意乘積的譜半徑何時維持1，以及此算法對於研究sofic自仿集K的應用。 / Let T be a linear endomorphism on the 2-torus T² with integer eigenvalues, and D be a natural Markov partition (c.f. Bowen [4]) of T² . Then a subshift of nite type over D corresponds to a T-invariant compact subset K of T². An interesting problem is to determine when the Hausdorff and Minkowski dimensions of K conincide. Kenyon and Peres [15] showed that this is closely related to the measure-theoretic and topological entropies of (K, T). In this thesis, we further show that the coincidence of dimensions has a deep connection to symbolic dynamics and the asymptotic behaviour of matrix products. Moreover, we develop an algorithm to determine when the spectral radii of arbitrary products of two primitive matrices, with spectral radius 1, are preserved, and apply this algorithm to some sofic self-affine sets considered above. / Detailed summary in vernacular field only. / Lo, Chiu Hong. / Thesis (M.Phil.)--Chinese University of Hong Kong, 2012. / Includes bibliographical references (leaves 55-56). / Abstracts also in Chinese. / Chapter 1 --- Introduction and Main Results --- p.6 / Chapter 2 --- Preliminaries --- p.12 / Chapter 2.1 --- Basic symbolic dynamics --- p.12 / Chapter 2.2 --- The symbolic representations --- p.13 / Chapter 2.3 --- An adapted covering of the invariant set KT (A) --- p.17 / Chapter 2.4 --- Some basic lemmas and theorems --- p.18 / Chapter 3 --- Proofs of Proposition 1.2 and Theorem 1.3 --- p.22 / Chapter 3.1 --- Proof of Proposition 1.2 --- p.22 / Chapter 3.2 --- Proof of Theorem 1.3 --- p.24 / Chapter 4 --- Projection of measure of maximal entropy for sub-shifts of finite type --- p.26 / Chapter 4.1 --- Projection of the Parry measure via a general factor map --- p.26 / Chapter 4.2 --- Proof of Theorem 1.4 --- p.36 / Chapter 5 --- Spectral radii of products of primitive matrices --- p.38 / Chapter 5.1 --- The algorithm --- p.40 / Chapter 5.2 --- Some applications and examples --- p.51 / Bibliography --- p.55

No description available.

Lam, Ho Yin Theodore. / Thesis (M.Phil.)--Chinese University of Hong Kong, 2009. / Includes bibliographical references (leaves 59-60). / Abstracts in English and Chinese. / Chapter 1 --- Introduction --- p.6 / Chapter 2 --- Shift spaces and Symbolic Dynamical systems --- p.8 / Chapter 2.1 --- Shift spaces --- p.8 / Chapter 2.2 --- Symbolic dynamical systems --- p.10 / Chapter 3 --- β-expansion --- p.12 / Chapter 3.1 --- Expansion of real numbers --- p.12 / Chapter 3.2 --- Ergodic theory of f-expansion with independent digits --- p.16 / Chapter 3.3 --- β-expansion --- p.22 / Chapter 3.3.1 --- Ergodic theory of β-expansion --- p.22 / Chapter 3.3.2 --- Properties of β-expansion --- p.28 / Chapter 3.3.3 --- The normalizing function F(β) --- p.34 / Chapter 4 --- Symbolic Dynamics of β-expansion --- p.40 / Chapter 4.1 --- The symbolic dynamical system Sβ --- p.40 / Chapter 4.2 --- Classification of β and properties of Sβ --- p.42 / Chapter 5 --- Sizes of the classes --- p.49 / Chapter 5.1 --- Sizes of C1 and C2 --- p.49 / Chapter 5.2 --- "Sizes of C3, C4 and C5" --- p.50 / Bibliography --- p.59

Cette recherche doctorale a pour objet la prostitution chinoise au Cameroun. L’approche anthropologique employée met en lumière les trajectoires de vie des prostituées chinoises, des clients et des prostituées camerounais, ainsi que l’organisation du marché du sexe dans les villes de Yaoundé et de Douala. À travers le prisme de ces différents acteurs, cette thèse fournit en premier lieu des éléments d’analyse sur la dette symbolique et financière des Chinoises. Ces deux formes de dette auxquelles elles sont contraintes les enferment dans le travail du sexe, présenté comme le seul moyen de remboursement par leurs créanciers. Cette étude révèle également l’influence des prostituées chinoises sur l’imaginaire de la sexualité des Camerounais, qui trouvent avec elles la possibilité de réaliser des pratiques sexuelles rejetées par les travailleuses du sexe et les femmes mariées camerounaises. / This doctoral research deals with Chinese prostitution in Cameroon. The anthropological approach used highlights life trajectories of Chinese sex workers, Cameroonian customers and prostitutes, and sex market organization in the cities of Yaoundé and Douala. Through the prism of these different actors, this thesis provides first of all analysis elements on symbolic and financial debts loads carried by Chinese women. Those both kind of debt they have to bear locks them into sex work, presented by their creditors as the only way to repayment. This study also reveals Chinese prostitutes’ influence on imaginary of sexuality of Cameroonian customers, who have the possibility to perform sexual practices usually rejected by Cameroonian sex workers.