Sökning: "TEKNIKVETENSKAP Informationsteknik Datorteknik"

Visar resultat 1 - 5 av 79 avhandlingar innehållade orden TEKNIKVETENSKAP Informationsteknik 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. Measurement and simulation based techniques for real-time systems analysis

    Detta är en avhandling från Uppsala University

    Författare :Markus Lindgren; Uppsala universitet.; Uppsala universitet.; [2000]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap; Datavetenskap; Computer Systems; Datorteknik;

    Sammanfattning : Rigorous methods for design and implementation of safety critical real-time systems are vital to avoid loss of human lives and/or severe economic losses. Unfortunately, many of these systems are designed and evaluated using ad-hoc techniques. LÄS MER

  4. 4. Regular Inference for Communication Protocol Entities

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

    Författare :Therese Bohlin; Uppsala universitet.; Uppsala universitet.; Uppsala universitet.; [2009]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TECHNOLOGY Information technology Computer engineering; TEKNIKVETENSKAP Informationsteknik Datorteknik;

    Sammanfattning : A way to create well-functioning computer systems is to automate error detection in the systems. Automated techniques for finding errors, such as testing and formal verification, requires a model of the system. The technique for constructing deterministic finite automata (DFA) models, without access to the source code, is called regular inference. LÄS MER

  5. 5. An Indirection Architecture for the Internet

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

    Författare :Richard Gold; Uppsala universitet.; Uppsala universitet.; [2005]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Indirection; Network Architecture; Design; Extensibility; TECHNOLOGY Information technology Computer engineering; TEKNIKVETENSKAP Informationsteknik Datorteknik;

    Sammanfattning : We present an indirection architecture for the Internet called SelNet. SelNet provides a uniform indirection mechanism for controlling the route that packets take through the network and which functions are invoked to process these packets. LÄS MER