Sökning: "C- förbättringar"

Visar resultat 1 - 5 av 106 uppsatser innehållade orden C- förbättringar.

  1. 1. Bastubadets påverkan på upplevd återhämtning efter högintensiv träning : En singel subjekt experimental A-B-A design pilotstudie

    Uppsats för yrkesexamina på grundnivå, Luleå tekniska universitet/Institutionen för hälsa, lärande och teknik

    Författare :Andreas Hammar; [2023]
    Nyckelord :Bastubad; Fysisk aktivitet; Värme-inducerad; Återhämtning;

    Sammanfattning : Bakgrund: En kvalitativ återhämtning skapar förutsättningar för superkompensation av kroppsdelar och påskyndar därmed rehabilitering av rörelseapparaten. Mental stress hög fysisk ansträngning och dålig sömnkvalitet utmanar kroppens förmåga till återhämtning. LÄS MER

  3. 2. Behavioural comparison of test and field executions of video games

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Chloé Marie Porion; [2023]
    Nyckelord :Software Testing; Field Monitoring; Test Monitoring; Video Games; Video Game Modding; Mjukvarutestning; Fältövervakning; Testövervakning; Videospel; Videospel Modding;

    Sammanfattning : Software developers write tests to ensure that their application behaves as intended. However, the behaviour of an application in production may deviate from the behaviours that are tested. This difference between test and field executions is rarely assessed in practice. LÄS MER

  4. 3. Rust programming language as an alternative to C for RAN management applications

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Viktor Olsson; [2023]
    Nyckelord :Rust; C; radio access networks; safety; performance; Rust; C; radioaccessnätverk; säkerhet; prestanda;

    Sammanfattning : Since the first official release of Rust 1.0 in 2015, the language has become one of the most well-liked programming languages among developers and has emerged as a competitor to other systems programming languages such as C and C++. LÄS MER

  5. 4. Automated Inference of ACSL Contracts for Programs with Heaps

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Oskar Söderberg; [2023]
    Nyckelord :Formal Verification; Contract Inference; Model Checking; Deductive Verification; Theory of Heaps; ACSL; Translation; Formell Verifiering; Kontrakth¨arledning; Modellprovning; Deduktiv Verifiering; Theory of Heaps; ACSL; Overs¨attning;

    Sammanfattning : Contract inference consists in automatically computing contracts that formally describe the behaviour of program functions. Contracts are used in deductive verification, which is a method for verifying whether a system behaves according to a provided specification. The Saida plugin in Frama-C is a contract inference tool for C code. LÄS MER

  7. 5. Visualisering och prediktion av prestandadata

    Kandidat-uppsats, Linköpings universitet/Institutionen för datavetenskap

    Författare :Nils Arnlund; Viktor Andersson; Rasmus Holmgren; Fabian Johansson; Göte Kleringer; Algot Larsson Eskilsson; Adam Samuelsson; Cajsa Wargren; Albin Wilander; Anton Östman; [2023]
    Nyckelord :;

    Sammanfattning : I rapporten beskrivs det projekt projektgruppen PUM04 utförde som en del av kursen Kandidatprojekt i programvaruutveckling, kurskod TDDD96, på Linköpings universitet under vårterminen 2023. Projektet gick ut på att utveckla en webbapplikation åt företaget Sectra som ska visualisera data i loggfiler som laddats upp. LÄS MER