Search for dissertations about: "Escape analysis"

Showing result 1 - 5 of 103 swedish dissertations containing the words Escape analysis.

  2. 1. Parallelized Program Analysis

    Author : Marcus Edvinsson; Welf Löwe; Uwe Aßmann; Linnéuniversitetet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap; Computer Science; Datavetenskap;

    Abstract : This thesis presents a framework for parallelized program analysis. It uses available parallel processing power in standard desktop computers to speed up static program analysis.Today, processor chip manufacturers produce single processor chips containing multiple cores, each with a processing power of previous single-core processors. READ MORE

  4. 2. On Linguistic and Discursive Constructions of Concession and Adversativity : Towards a Multilevel Analysis of English in the UK Parliament

    Author : Mihai Daniel Frumuselu; Michal Krzyżanowski; Cornelia Ilie; Per Ledin; Eivind Nessa Torgersen; Örebro universitet; []
    Keywords : HUMANIORA; HUMANITIES; concession; adversativity; political discourse; parliamentary discourse; UK Parliament; Corpus Linguistics; Discourse Analysis; Critical Discourse Analysis; English; Engelska;

    Abstract : This study analyses concessive and adversarial language in UK parliamentary debates and thereby enriches the theoretical and analytical body of knowledge on the language of concession and adversativity in contemporary English. It contributes to existent scholarship on both grammatical constructions of concession/adversativity and on the dynamics of contemporary British parliamentary and political discourse. READ MORE

  5. 3. Towards a Framework for Static Analysis Based on Points-to Information

    Author : Marcus Edvinsson; Welf Löwe; Joakim Nivre; Christoph Kessler; Växjö universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Static analysis; Points-to analysis; Framework; Computer science; Datalogi; Computer and Information Sciences Computer Science; Data- och informationsvetenskap;

    Abstract : Static analysis on source code or binary code retrieves information about a software program. In object-oriented languages, static points-to analysis retrieves information about objects and how they refer to each other. READ MORE

  6. 4. Transactional Analysis Psychotherapy : Three Methods Describing a Transactional Analysis Group Therapy

    Author : Roland Johnsson; Institutionen för psykologi; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; transactional analysis psychotherapy; TA; diagnosis; psychotherapy method; alliance;

    Abstract : Transactional Analysis Psychotherapy - Three Methods Describing a Transactional Analysis Group Therapy The overall aim of the present thesis was to enhance and revive the practical understanding of the active ingredients in Transactional Analysis Psychotherapy (TA) and to define and lay down elements of TA, which makes it a distinct and replicable method of treatment. The thesis includes three empirical studies of a videotaped one-year long TA Group Therapy with 10 clients. READ MORE

  7. 5. Models for coupled active-passive population dynamics : Mathematical analysis and simulation

    Author : Thi Kim Thoa Thieu; Adrian Muntean; Matteo Colangeli; Grigorios A. Pavliotis; Karlstads universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; pedestrian dynamics; simple exclusion process; Forchheimer flows; Skorohod equations; nonlinear coupling; heterogenous domain; homogenization; drafting; evacuation; Matematik; Mathematics;

    Abstract : In this dissertation, we study models for coupled active--passive pedestrian dynamics from mathematical analysis and simulation perspectives. The general aim is to contribute to a better understanding of complex pedestrian flows. READ MORE