Sökning: "Path Analysis"

Visar resultat 1 - 5 av 505 avhandlingar innehållade orden Path Analysis.

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

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

    Sammanfattning : 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. LÄS MER

  3. 2. On the pricing equations of some path-dependent options

    Författare :Jonatan Eriksson; Johan Tysk; Maciej Klimek; Tomas Björk; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Mathematical analysis; Parabolic partial differential equations; variational inequalities; American options; barrier options; monotonicity in the volatility; turbo warrants; pricing formulas; Matematisk analys; Mathematical analysis; Analys;

    Sammanfattning : This thesis consists of four papers and a summary. The common topic of the included papers are the pricing equations of path-dependent options. LÄS MER

  4. 3. Real-Time Workload Models : Expressiveness vs. Analysis Efficiency

    Författare :Martin Stigge; Wang Yi; Sanjoy Baruah; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Real-time systems; task models; EDF; fixed-priority scheduling; schedulability analysis; response-time analysis; abstraction refinement; Computer Science with specialization in Real Time Systems; Datavetenskap med inriktning mot realtidssystem;

    Sammanfattning : The requirements for real-time systems in safety-critical applications typically contain strict timing constraints. The design of such a system must be subject to extensive validation to guarantee that critical timing constraints will never be violated while the system operates. LÄS MER

  5. 4. A WCET Analysis Method for Pipelined Microprocessors with Cache Memories

    Författare :Thomas Lundqvist; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; real-time systems; data cache; infeasible paths; pipeline; instruction cache; dynamically scheduled processor; worst-case execution time; timing analysis; path analysis; timing anomaly;

    Sammanfattning : When constructing real-time systems, safe and tight estimations of the worst case execution time (WCET) of programs are needed. To obtain tight estimations, a common approach is to do path and timing analyses. LÄS MER

  7. 5. Identification and Synthesis of Components for Vibration Transfer Path Analysis

    Författare :Per Sjövall; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Sensor placement; Indirect sensing; Vibration control; System identification; Experimental methods; Substructuring; Kalman filter; Transfer path analysis; State-space models;

    Sammanfattning : Transmission of structure-borne vibrations in built-up structures, e.g. vehicles such as aircraft, automobiles and trains, is addressed. Methodologies for modeling, analysis, prediction and reduction of vibrations are developed. LÄS MER