Sökning: "Floating-Point"

Visar resultat 1 - 5 av 86 uppsatser innehållade ordet Floating-Point.

  1. 1. The Winograd Convolution Method

    Kandidat-uppsats, KTH/Skolan för teknikvetenskap (SCI)

    Författare :Alexander Wallén Kiessling; Viktor Svalstedt; [2023]
    Nyckelord :Convolution; Winograd; FFT;

    Sammanfattning : The convolution operation is a powerful tool which is widely used in many disciplines.Lately is has seen much use in the area of computer vision, particularly with convolutionalneural networks. For these use cases, convolutions need to be run repeatedly many timeswhich necessitates specialized hardware. LÄS MER

  3. 2. Adding Floating-point Arithmetic Support to TriCera

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

    Författare :Danyal Mirza; [2023]
    Nyckelord :;

    Sammanfattning : Floating-point arithmetic is a widely utilized technique for approximating real numbers. When applied in safety-critical systems, it is essential to ensure that these numbers behave as they should and do not give unsuspected errors. To ensure this, the utilization of floating-point verification is needed. 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. Regularizing Vision-Transformers Using Gumbel-Softmax Distributions on Echocardiography Data

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

    Författare :Alfred Nilsson; [2023]
    Nyckelord :Deep Learning; Vision-Transformers; Echocardiography; Feature Selection; Gumbel-Softmax; Concrete Autoencoders; Regression; Djupinlärning; Vision-Transformers; Ekokardiografi; Feature Selection; GumbelSoftmax; Concrete Autoencoders; Regression;

    Sammanfattning : This thesis introduces an novel approach to model regularization in Vision Transformers (ViTs), a category of deep learning models. It employs stochastic embedded feature selection within the context of echocardiography video analysis, specifically focusing on the EchoNet-Dynamic dataset. LÄS MER

  7. 5. Effects of Varying Precision on a FPGA using the SpMXV problem : A comparative study

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

    Författare :Vendela Asplund; Martin Lindefors; [2023]
    Nyckelord :;

    Sammanfattning : With Moore’s Law slowing down, designing computer hardware that keeps up with the performance demands is becoming increasingly difficult. An interesting area of research is the Field Programmable Gate Array (FPGA) which is a re-programmable hardware device, and which might not be as dependent on Moore’s Law as other hardware. LÄS MER