Sökning: "static analysis"

Visar resultat 21 - 25 av 773 uppsatser innehållade orden static analysis.

  1. 21. A Changing Utopia : A critical analysis of a heritage of change in a Swedish 20th century single-family housing area

    Master-uppsats, Uppsala universitet/Kulturvård

    Författare :Jelrik Ate Hupkes; [2023]
    Nyckelord :cultural heritage; built heritage; change; authenticity; sustainable conservation; environmental humanities;

    Sammanfattning : During the past decades there has been an increasing interest in the conservation of the cultural-historical character of 20th century single-family housing areas in Sweden. Many of these areas are characterised by the fact that they have changed significantly over time, creating highly diverse historic urban landscapes. LÄS MER

  3. 22. Quantum Reinforcement Learning for Sensor-Assisted Robot Navigation Tasks

    Master-uppsats, Lunds universitet/Fysiska institutionen

    Författare :Joyce Cobussen; [2023]
    Nyckelord :Physics and Astronomy;

    Sammanfattning : Quantum computing has advanced rapidly throughout the past decade, both from a hardware and software point of view. A variety of algorithms have been developed that are suitable for the current generation of quantum devices, which are referred to as noisy intermediate-scale quantum devices. LÄS MER

  4. 23. The impacts of code structure analysis, powered by the language model FastText

    Kandidat-uppsats, Blekinge Tekniska Högskola/Institutionen för programvaruteknik

    Författare :Gabriel Ivarsson; Noah Håkansson; [2023]
    Nyckelord :Code structure; GoLang; language models;

    Sammanfattning : The goal of this study was to investigate how the use of language models in the context of code structure analysis could impact how developers manage code structure. To do this, a prototype tool GOSPLAT (GoLang Static Package Language-model Analysis Tool) was created. LÄS MER

  5. 24. Formula Student Car Stability

    Kandidat-uppsats, Lunds universitet/Institutionen för energivetenskaper

    Författare :Oliver Belfiore; [2023]
    Nyckelord :Racing; Car; Vehicle; dynamics; vehicle dynamics; Technology and Engineering;

    Sammanfattning : This thesis investigates the impact of varying passive components on the stability of a Formula Student race car. The study was conducted using a 7-post model and a lateral model, both of which were derived using Lagrangian methods and state-space modelling techniques. These models were then validated and adjusted using logged data. LÄS MER

  7. 25. Investigating programming language support for fault-tolerance

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

    Författare :Ismail Demirkoparan; [2023]
    Nyckelord :Dataflow; Fault tolerance; Data streaming; Distributed systems; Checkpointing; Logging; Lineage; Lineage stash; Arc-Lang; Apache Flink;

    Sammanfattning : Dataflow systems have become the norm for developing data-intensive computing applications. These systems provide transparent scalability and fault tolerance. For fault tolerance, many dataflow-system adopt a snapshotting approach which persists the state of an operator once it has received a snapshot marker on all its input channels. LÄS MER