Sökning: "Datorteknik"

Visar resultat 1 - 5 av 465 avhandlingar innehållade ordet Datorteknik.

  1. 1. A Modular Tool Architecture for Worst-Case Execution Time Analysis

    Detta är en avhandling från Uppsala : Acta Universitatis Upsaliensis

    Författare :Andreas Ermedahl; Mälardalens högskola.; Uppsala universitet.; Uppsala universitet.; [2003]
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TECHNOLOGY Information technology Computer engineering; TEKNIKVETENSKAP Informationsteknik Datorteknik; Computer Systems; Datorteknik;

    Sammanfattning : Estimations of the Worst-Case Execution Time (WCET) are required in providing guarantees for timing of programs used in computer controlled products and other real-time computer systems. To derive program WCET estimates, both the properties of the software and the hardware must be considered. LÄS MER

  2. 2. Analysing Fault Tolerance for Erlang Applications

    Detta är en avhandling från Uppsala : Acta Universitatis Upsaliensis

    Författare :Jan Henry Nyström; Uppsala universitet.; Uppsala universitet.; [2009]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; formal methods; symbolic evaluation; fault tolerance; erlang; TECHNOLOGY Information technology Computer engineering; TEKNIKVETENSKAP Informationsteknik Datorteknik; Computer Systems; Datorteknik;

    Sammanfattning : ERLANG is a concurrent functional language, well suited for distributed, highly concurrent and fault-tolerant software. An important part of Erlang is its support for failure recovery. Fault tolerance is provided by organising the processes of an ERLANG application into tree structures. LÄS MER

  3. 3. Code synthesis for timed automata

    Detta är en avhandling från Uppsala universitet

    Författare :Tobias Amnell; Uppsala universitet.; Uppsala universitet.; [2003]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Sammanfattning : In this thesis, we study executable behaviours of timed models. The focus is on synthesis of executable code with predictable behaviours from high level abstract models. We assume that a timed system consists of two parts: the control software and the plant (i.e. LÄS MER

  4. 4. Efficient symbolic state exploration of timed systems Theory and implementation

    Detta är en avhandling från Uppsala universitet

    Författare :Johan Bengtsson; Uppsala universitet.; Uppsala universitet.; [2001]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Sammanfattning : Timing aspects are important for the correctness of safety-critical systems. It is crucial that these aspects are carefully analysed in designing such systems. UPPAAL is a tool designed to automate the analysis process. LÄS MER

  5. 5. Methods for run time analysis of data locality

    Detta är en avhandling från Uppsala universitet

    Författare :Erik Berg; Uppsala universitet.; Uppsala universitet.; [2003]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Sammanfattning : The growing gap between processor clock speed and DRAM access time puts new demands on software and development tools. Deep memory hierarchies and high cache miss penalties in present and emerging computer systems make execution time sensitive to data locality. LÄS MER