Search for dissertations about: "Execution Models"

Showing result 1 - 5 of 176 swedish dissertations containing the words Execution Models.

  2. 1. Introducing a Memory Efficient Execution Model in a Tool-Suite for Real-Time Systems

    Author : Kaj Hänninen; Mikael Nolin; Christer Norström; Jukka Mäki-Turja; Ola Redell; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Real-Time Systems; Execution Models; Computer science; Datavetenskap; Datavetenskap;

    Abstract : This thesis shows how development of embedded real-time systems can be made more efficient by introduction of an memory efficient execution model in a commercial development suite. To identify the need of additional support for execution models in development tools, the thesis investigate by a series of interviews, the common requirements in development of industrial embedded real-time systems. READ MORE

  4. 2. Proving Safety and Security of Binary Programs

    Author : Andreas Lindner; Roberto Guanciale; Mads Dam; Tamara Rezk; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Binary Code; Binary Analysis; Formal Verification; Model-Based Testing; Theorem Proving; HOL4; Intermediate Language; Instruction Set Architectures; ISA; Observational Models; Symbolic Execution; Weakest-Precondition; Execution Time Analysis; binärkod; binärkodsanalys; formell verifiering; modellbaserad testning; satsbevisning; HOL4; mellankod; instruktionsuppsättningar; ISA; observationsmodeller; symbolisk exekvering; minst restriktiva villkoret; analys av övre tidsgräns; Datalogi; Computer Science;

    Abstract : With the increasing ubiquity of computing devices, their correct and secure operation is of growing importance. In particular, critical components that provide core functionalities or process sensitive data have to operate as intended. READ MORE

  5. 3. Transformation of component models to real-time models

    Author : Johan Fredriksson; Martin Törngren; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap; Datavetenskap;

    Abstract : Industry is constantly looking for new developments in software for use in increasingly complex computer applications. Today, the development of component-based systems is an attractive area for both Industry and Academia. The systems we focus on in this thesis are embedded computers, in particular those in automotive systems. READ MORE

  6. 4. Effect Oriented Planning in Military Mission Support Systems : Models and Heuristic Approaches

    Author : Kristian Lundberg; Kaj Holmberg; Torbjörn Larsson; Stefan Engevall; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : Today there are many aspects of model based planning, probably much more than for just 20 years ago. Today data is not the problem, data is everywhere, but the big issue is to understand how to gain advantage of data in decision making - a growing focus is now on modeling!This work is devoted to this task and can be seen as a three part study. READ MORE

  7. 5. Efficient Execution Paradigms for Parallel Heterogeneous Architectures

    Author : Konstantinos Koukos; Stefanos Kaxiras; Margaret Martonosi; Uppsala universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Decoupled Execution; Performance; Energy; DVFS; Compiler Optimizations; Heterogeneous Coherence; Computer Science; Datavetenskap;

    Abstract : This thesis proposes novel, efficient execution-paradigms for parallel heterogeneous architectures. The end of Dennard scaling is threatening the effectiveness of DVFS in future nodes; therefore, new execution paradigms are required to exploit the non-linear relationship between performance and energy efficiency of memory-bound application-regions. READ MORE