Search for dissertations about: "TEKNIKVETENSKAP Informationsteknik Datorteknik"

Showing result 1 - 5 of 79 swedish dissertations containing the words TEKNIKVETENSKAP Informationsteknik Datorteknik.

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

    University dissertation from Uppsala : Acta Universitatis Upsaliensis

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

    Abstract : 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. READ MORE

  2. 2. Analysing Fault Tolerance for Erlang Applications

    University dissertation from Uppsala : Acta Universitatis Upsaliensis

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

    Abstract : 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. READ MORE

  3. 3. Measurement and simulation based techniques for real-time systems analysis

    University dissertation from Uppsala University

    Author : Markus Lindgren; Uppsala universitet.; Uppsala universitet.; [2000]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap; Datavetenskap; Computer Systems; Datorteknik;

    Abstract : 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. READ MORE

  4. 4. Regular Inference for Communication Protocol Entities

    University dissertation from Uppsala : Acta Universitatis Upsaliensis

    Author : Therese Bohlin; Uppsala universitet.; Uppsala universitet.; Uppsala universitet.; [2009]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; TECHNOLOGY Information technology Computer engineering; TEKNIKVETENSKAP Informationsteknik Datorteknik;

    Abstract : 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. READ MORE

  5. 5. An Indirection Architecture for the Internet

    University dissertation from Uppsala : Acta Universitatis Upsaliensis

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

    Abstract : 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. READ MORE