Sökning: "ringström"

Visar resultat 1 - 5 av 12 avhandlingar innehållade ordet ringström.

  1. 1. Compiler Generation for Data-Parallel Programming Languages from Two-Level Semantics Specifications

    Författare :Johan Ringström; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : This thesis is an empirical study of compiler generation for data-parallel languages from denotational-semantics-based formal specifications. We investigate whether compiler generation from such specifications is practical, not only with respect to generation of practical compilers, but also with respect to compilation of programs into efficient code and execution of the compiled programs on massively parallel SIMD (Single Instruction Multiple Data) architectures. LÄS MER

  3. 2. Compiler generation for parallel languages from denotational specifications

    Författare :Johan Ringström; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : There exist several systems for the generation of compiler front-ends from formal semantics. Systems that generate entire compilers have also started to appear. Many of these use attribute grammars as the specification formalism, but there also are systems based on operational semantics or denotational semantics. LÄS MER

  4. 3. Mellan sanning och konsekvens : En studie av den tredje generationens kognitiva beteendeterapier

    Författare :Jonas Ringström; Sociologi; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; acceptance and commitment therapy; Third wave; dialectical behavioral therapy; metacognitive therapy; Steven C. Hayes; Marsha Linehan; Adrian Wells; acceptance; mindfulness; historical epistemology; Gaston Bachelard; Georges Canguilhem; Louis Althusser; Michel Foucault; epistemological break; ideology;

    Sammanfattning : Avhandlingen är en analys av vad som kommit att kallas för den tredje generationens kognitiva beteendeterapier, här representerade av Acceptance and Commitment Therapy, den metakognitiva terapimodellen och dialektisk beteendeterapi. Avhandlingen kan delas in i två övergripande delar. LÄS MER

  5. 4. Factors of importance for health care seeking in irritable bowel syndrome and the use of patient education

    Författare :Gisela Ringström; Göteborgs universitet; []
    Nyckelord :Irritable bowel syndrome; Health care seeking; Non-consulters; Patient education; Health related quality of life; Gastrointestinal symptoms; GI specific anxiety; GI symptoms;

    Sammanfattning : Irritable bowel syndrome (IBS) is a common functional gastrointestinal (GI) disorder. The etiology and pathophysiology are incompletely understood and treatment options are limited. LÄS MER

  7. 5. On the asymptotics of Bianchi class A spacetimes

    Författare :Hans Ringström; KTH; []
    Nyckelord :Mixmaster; cosmic censorship; cosmology;

    Sammanfattning : .... LÄS MER