Search for dissertations about: "accuracy analysis"

Showing result 1 - 5 of 1287 swedish dissertations containing the words accuracy analysis.

  1. 1. Error analysis of summation-by-parts formulations : Dispersion, transmission and accuracy

    Author : Viktor Linders; Jan Nordström; Marco Kupiainen; Mark Carpenter; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : In this thesis we consider errors arising from finite difference operators on summation-by-parts (SBP) form, used in the discretisation of partial differential equations. The SBP operators are augmented with simultaneous-approximation-terms (SATs) to weakly impose boundary conditions. READ MORE

  2. 2. Benchmarking Points-to Analysis

    Author : Tobias Gutzmann; Welf Löwe; Jonas Lundberg; Sibylle Schupp; Linnéuniversitetet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Points-to Analysis; Dataflow Analysis; Static Analysis; Dynamic Analysis; Gold Standard; Software Technology; Programvaruteknik;

    Abstract : Points-to analysis is a static program analysis that, simply put, computes which objects created at certain points of a given program might show up at which other points of the same program. In particular, it computes possible targets of a call and possible objects referenced by a field. READ MORE

  3. 3. Towards a Gold Standard for Points-to Analysis

    Author : Tobias Gutzmann; Welf Löwe; Jonas Lundberg; Jens Krinke; Linnéuniversitetet; []
    Keywords : Points-to Analysis; Dataflow Analysis; Static Analysis; Dynamic Analysis; Gold Standard; Data- och informationsvetenskap; Computer and Information Sciences Computer Science;

    Abstract : Points-to analysis is a static program analysis that computes reference informationfor a given input program. It serves as input to many client applicationsin optimizing compilers and software engineering tools. Unfortunately, the Gold Standard – i.e. READ MORE

  4. 4. Preemption-Delay Aware Schedulability Analysis of Real-Time Systems

    Author : Filip Marković; Jan Carlson; Radu Dobrin; Björn Lisper; Enrico Bini; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Real-time systems; Scheduling; Schedulability analysis; Preemptions; Preemption delays; Embedded Systems; Preemptive scheduling; Response-time analysis; Cache-related preemption delay; Timing analysis; Worst-case execution time analysis; Limited-preemptive scheduling; Fixed preemption points; Computer Science; datavetenskap;

    Abstract : Schedulability analysis of real-time systems under preemptive scheduling may often lead to false-negative results, deeming a schedulable taskset being unschedulable. This is the case due to the inherent over-approximation of many time-related parameters such as task execution time, system delays, etc. READ MORE

  5. 5. Summation-by-Parts Operators for High Order Finite Difference Methods

    Author : Ken Mattsson; Nordström Jan; Gunilla Kreiss; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Dinite difference methods; accuracy; stability; dissipation; Numerical analysis; Numerisk analys; Scientific Computing; Beräkningsvetenskap; Numerical Analysis;

    Abstract : High order accurate finite difference methods for hyperbolic and parabolic initial boundary value problems (IBVPs) are considered. Particular focus is on time dependent wave propagating problems in complex domains. Typical applications are acoustic and electromagnetic wave propagation and fluid dynamics. READ MORE