Search for dissertations about: "Linux"

Showing result 1 - 5 of 22 swedish dissertations containing the word Linux.

  2. 1. Formal Verification of Peripheral Memory Isolation

    Author : Jonas Haglund; Roberto Guanciale; Mads Dam; Gligor Virgil; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; formal verification; interactive theorem proving; direct memory access; memory isolation; input output; formell verifiering; interaktiv datorassisterad beviskonstruktion; direkt minnesåtkomst; minnesisolering; indata utdata; Datalogi; Computer Science;

    Abstract : In many contexts, computers run both critical and untrusted software,necessitating the need for isolating critical software from untrusted software.These computers contain CPUs, memory and peripherals. READ MORE

  4. 2. Bufferbloat and Beyond : Removing Performance Barriers in Real-World Networks

    Author : Toke Høiland-Jørgensen; Anna Brunström; Per Hurtig; Luca Muscariello; Karlstads universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Bufferbloat; AQM; WiFi; XDP; TSQ; Flent; network measurement; performance evaluation; fairness; queueing; programmable packet processing; Computer Science; Datavetenskap;

    Abstract : The topic of this thesis is the performance of computer networks. While network performance has generally improved with time, over the last several years we have seen examples of performance barriers limiting network performance. In this work we explore such performance barriers and look for solutions. READ MORE

  5. 3. Architectures for Service Differentiation in Overloaded Internet Servers

    Author : Thiemo Voigt; Peter Druschel; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Internet; Web Servers; Operating Systems; Service Differentiation; Admission Control; Information technology; Informationsteknik; Computer Systems; Datorteknik;

    Abstract : Web servers become overloaded when one or several server resources such as network interface, CPU and disk become overutilized. Server overload leads to low server throughput and long response times experienced by the clients. Traditional server design includes only marginal or no support for overload protection. READ MORE

  6. 4. Synthesis and Synchronization Support for Hierarchically Scheduled Real-Time Systems

    Author : Mikael Åsberg; Thomas Nolte; Neil Audsley; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    Abstract : A piece of software, that we define as a software system, can consist of anything from a few lines of program code or the entire software stack in a vehicle. Software systems can be divided into smaller and partially independent parts called subsystems/partitions (we use the words partition and subsystem interchangeably). READ MORE

  7. 5. Adaptive CPU Resource Management for Multicore Platforms

    Author : Vanessa Romero Segovia; Institutionen för reglerteknik; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : The topic of this thesis is adaptive CPU resource management for multicore platforms. The work was done as a part of the resource manager component of the adaptive resource management framework implemented in the European ACTORS project. The framework dynamically allocates CPU resources for the applications. READ MORE