Search for dissertations about: "Hardware software interface"

Showing result 1 - 5 of 38 swedish dissertations containing the words Hardware software interface.

  2. 1. Towards a Multi-OS Architecture for Consistent User Interface Experience

    Author : Tobias Holstein; Gordana Dodig-Crnkovic; Christian Berger; Elina Vartiainen; Manh Tien Tran; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    Abstract : Vehicles have greatly changed over the last decades. Originally, they were used as a means of transportation, and their drivers were solely engaged in the driving task. In modern cars the user, i.e. READ MORE

  4. 2. An Application Programming Interface for Hardware and Software Threads

    Author : Peter Nygren; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Abstract : .... READ MORE

  5. 3. Towards a Trustworthy Stack: Formal Verification of Low-Level Hardware and Software

    Author : Ning Dong; Roberto Guanciale; Mads Dam; Magnus Myreen; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Formal Verification; Information Flow; Refinement; Interactive Theorem Prover; HOL4; Serial Interface; Pipelined Processor; Microarchitecture; Out-of-order Execution; Formell Verifiering; Informationsflöde; Förfining; Interaktiva Bevisprogrammet; HOL4; Seriellt Gränssnitt; Pipelined Processor; Mikroarkitektur; Omordnad Exekvering; Datalogi; Computer Science;

    Abstract : Computer systems, consisting of hardware and software, have gained significant importance in the digitalised world. These computer systems rely on critical components to provide core functionalities and handle sensitive data. READ MORE

  6. 4. A Functional Approach to Hardware Software Co-Design

    Author : Markus Aronsson; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; domain specific languages; functional programming; signal processing; code generation;

    Abstract : Developing software for embedded systems presents quite the challenge---not only do these systems demand good knowledge of the hardware they run on, but their limited resources also make it difficult to achieve efficiency. For embedded systems with different kinds of processing elements, the challenge is even greater; the presence of heterogeneous elements both raises all of the issues associated with homogeneous systems, and may also cause non-uniform system development and capability. READ MORE

  7. 5. Performance and Reliability in Open Router Platforms for Software-Defined Networking

    Author : Voravit Tanyingyong; Peter Sjödin; Markus Hidell; Jeong Woo Cho; Mats Björkman; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; performance; reliability; OpenFlow; software-defined networking SDN ; Informations- och kommunikationsteknik; Information and Communication Technology;

    Abstract : The unprecedented growth of the Internet has brought about such an enormous impact on our daily life that it is regarded as indispensable in modern era. At the same time, the underlying Internet architecture is still underpinned by principles designed several decades ago. READ MORE