Sökning: "c- översättning"

Visar resultat 1 - 5 av 30 uppsatser innehållade orden c- översättning.

  1. 1. 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

  3. 2. Semiconducting TiO2 for High Performance Ferroelectric Tunnel Junctions

    M1-uppsats, Lunds universitet/Institutionen för elektro- och informationsteknik

    Författare :Erik Wikare; [2022]
    Nyckelord :Technology and Engineering;

    Sammanfattning : The ferroelectric tunnel junction FTJ is a rather old concept but has recently been in the spotlight for its promising properties in computer memory technology and neuromorphic computing. The device consists of a ferroelectric insulator sandwiched between two electrodes, and by polarisation switching the resistance along the heterostructure can drastically be adjusted. LÄS MER

  4. 3. Cumulus - translating CUDA to sequential C++ : Simplifying the process of debugging CUDA programs

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

    Författare :Vera Blomkvist Karlsson; [2021]
    Nyckelord :Clang; Code generation; CUDA; Debugging; Parallel computing; Clang; Kodgenerering; CUDA; Felsökning; Parallella beräkningar;

    Sammanfattning : Due to their highly parallel architecture, Graphics Processing Units (GPUs) offer increased performance for programs benefiting from parallel execution. A range of technologies exist which allow GPUs to be used for general-purpose programming, NVIDIA’s CUDA platform is one example. LÄS MER

  5. 4. Att översätta vårdinformation från engelska till svenska – Balansen mellan korrekthet och läsbarhet

    Magister-uppsats, Lunds universitet/Översättarutbildningen

    Författare :Lotta Larsson; [2020]
    Nyckelord :Översättning; yrkesspråk; medicinska termer; ABCDEF-bundle; nurse-led follow-up clinic; Språkbruk; disability; impairment; late death; acute survival; sedate; sedation; Languages and Literatures;

    Sammanfattning : Sepsis skördar globalt 11 miljoner människoliv per år, och även om man överlever riskerar man att få livslånga komplikationer. Befolkningen är inte införstådda med vad sepsis är och än mindre förstår de sig på vad det innebär. I detta magisterarbete har “Improving Long-term Outcomes after Sepsis” skriven av Hallie C. LÄS MER

  7. 5. Optimering av böjarmering genom FEM-analys & Strut-and-Tie-modellering

    Uppsats för yrkesexamina på avancerad nivå, Lunds universitet/Byggnadsmekanik; Lunds universitet/Institutionen för byggvetenskaper

    Författare :Tomas Dahl; [2018]
    Nyckelord :Strut-and-Tie-metoden STM ; Finita Elementmetoden FEM ; Topologioptimering TO ; Virtual Design and Construction VDC ; Strut and Tie method STM ; Finite Element method FEM ; Topology optimization TO ; Technology and Engineering;

    Sammanfattning : Ett koordinerat samarbete och tydlig kommunikation utgör grunden för en välfungerande projektering av ett byggprojekt. I det traditionella tillvägagångssättet utförs arbetet sekventiellt, där projektet passerar mellan de inblandade parterna i turordning. LÄS MER