Sökning: "full stack"

Visar resultat 1 - 5 av 19 avhandlingar innehållade orden full stack.

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

    Författare :Ning Dong; Roberto Guanciale; Mads Dam; Magnus Myreen; KTH; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

  3. 2. Improving Development of Communication Software in Industrial Control Systems using Simulation

    Författare :Niclas Ericsson; Mats Björkman; Johan Åkerberg; Thomas Lennvall; Per Hurtig; RISE; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Sciences; Datavetenskap datalogi ;

    Sammanfattning : In the industrial domain customers expect a product longevity of 10-20 years, with high reliability and availability. Since industrial distributed control systems often are safety critical, aspects such as determinism, low latency and jitter are crucial. LÄS MER

  4. 3. Vacuum infusion of polymer composites

    Författare :Magnus Andersson; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Strömningslära; Fluid Mechanics;

    Sammanfattning : The current trend towards an increased use of vacuum infusion for manufacturing of high performance fibre reinforced polymer composites has stressed the necessity of an advanced modelling of the process. Until recent years development in this area has mainly been based on trial and error and the behaviour of the method is therefore not fully understood. LÄS MER

  5. 4. Fuel Cells and Biogas

    Författare :Lars Hedström; Per Alvfors; Peter Lund; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; air bleed; biogas; carbon dioxide; carbon monoxide; current distribution; dilution; efficiency; energy conversion; energy systems; experimental; fuel cell; fuel cell systems; PEFC; poisoning; reformate; SOFC; Chemical energy engineering; Kemisk energiteknik;

    Sammanfattning : This thesis concerns biogas-operated fuel cells. Fuel cell technology may contribute to more efficient energy use, reduce emissions and also perhaps revolutionize current energy systems. The technology is, however, still immature and has not yet been implemented as dominant in any application or niche market. LÄS MER

  7. 5. Visualisation of composites manufacturing

    Författare :Magnus Andersson; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Strömningslära; Fluid Mechanics;

    Sammanfattning : The five papers in this thesis demonstrate five unique ways to monitor composite manufacturing. They also clarify several phenomena that take place during composite manufacturing. Of particular interest are two manufacturing methods, namely vacuum infusion (Paper A-D) and compression moulding of SMC (Paper E). LÄS MER