Essays about: "Toolchain"

Showing result 1 - 5 of 33 essays containing the word Toolchain.

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

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Jiaxuan Huang; [2023]
    Keywords : ;

    Abstract : 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. READ MORE

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

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Chenming Du; [2023]
    Keywords : Traffic Generators; P4 Programmable Switch; TRex; Traffikgeneratorer; P4 Programmerbar Switchar; TRex;

    Abstract : 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). READ MORE

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

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Hovig Manjikian; [2023]
    Keywords : Formal verification; Automated verification; Contract inference.; Formell verifiering; Automatiserad verifiering; Kontraktgenerering.;

    Abstract : 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. READ MORE

  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

    University essay from Linköpings universitet/Institutionen för datavetenskap

    Author : Cecilia Emberg; Anna Wadsten; [2023]
    Keywords : sustainability; performance; green programming; code quality; usability; learnability;

    Abstract : 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. READ MORE

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

    University essay from

    Author : Yu-Ping Hsu; [2022-04-05]
    Keywords : Medical physics; Neuroimage; Brain segmentation; Statistical analysis; Visualization;

    Abstract : 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. READ MORE