Sökning: "Toolchain"

Visar resultat 1 - 5 av 35 uppsatser innehållade ordet Toolchain.

  1. 1. Modeling and Balancing the Resource Economy in Gustav

    Magister-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Jiaxuan Huang; [2023]
    Nyckelord :;

    Sammanfattning : In-game resource balancing is a crucial part of game design. By providing an appropriate amount of various kinds of resources to players, the game ensures that players are presented with meaningful challenges. LÄS MER

  3. 2. Improving and Evaluating TRex Traffic Generator through P4 Switches

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

    Författare :Chenming Du; [2023]
    Nyckelord :Traffic Generators; P4 Programmable Switch; TRex; Traffikgeneratorer; P4 Programmerbar Switchar; TRex;

    Sammanfattning : Traffic generators, as an indispensable tool to test devices under test and networking protocols, help researchers to execute performance inspection and optimization. Among all traffic generators, TRex is an open-source, high-performance, and low-cost traffic generator which is built on Data Plane Development Kit (DPDK). LÄS MER

  4. 3. Improving the Synthesis of Annotations for Partially Automated Deductive Verification

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

    Författare :Hovig Manjikian; [2023]
    Nyckelord :Formal verification; Automated verification; Contract inference.; Formell verifiering; Automatiserad verifiering; Kontraktgenerering.;

    Sammanfattning : This work investigates possible improvements to an existing annotation inference tool. The tool is part of a toolchain that aims to automate the process of software verification using formal methods. LÄS MER

  5. 4. Attainable Safety and Long-Term Resource-Efficiency Using Rust : Evaluating the Viability of Rust in Terms of Development Effort and Performance for the Decompilation of ASN.1 Messages

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

    Författare :Cecilia Emberg; Anna Wadsten; [2023]
    Nyckelord :sustainability; performance; green programming; code quality; usability; learnability;

    Sammanfattning : This report investigates how a telecommunication company might reduce its resource usage in terms of execution time by using Rust for the decompilation of ASN.1 messages. To contrast these results and to offer insights into other factors for choosing a language, the developer experience of Rust was also studied. LÄS MER

  7. 5. Region-based analysis of magnetic resonance brain images: integrating statistical analysis and visualization

    Master-uppsats,

    Författare :Yu-Ping Hsu; [2022-04-05]
    Nyckelord :Medical physics; Neuroimage; Brain segmentation; Statistical analysis; Visualization;

    Sammanfattning : Purpose: The purpose of the project was to develop a processing toolchain that takes MR brain images and their anatomical segmentations as input and produces image visualizations, data visualizations, and statistical analyses in a unified manner for the users who work with neuroimaging and quantitative brain anatomy, including pathological anatomy. A secondary aim was to package and release the software publicly as open source. LÄS MER