Sökning: "Execution Models"
Visar resultat 1 - 5 av 181 avhandlingar innehållade orden Execution Models.
1. Introducing a Memory Efficient Execution Model in a Tool-Suite for Real-Time Systems
Sammanfattning : 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. LÄS MER
2. Proving Safety and Security of Binary Programs
Sammanfattning : 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. LÄS MER
3. Transformation of component models to real-time models
Sammanfattning : 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. LÄS MER
4. Effect Oriented Planning in Military Mission Support Systems : Models and Heuristic Approaches
Sammanfattning : 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. LÄS MER
5. Efficient Execution Paradigms for Parallel Heterogeneous Architectures
Sammanfattning : 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. LÄS MER