Essays about: "floating point"

Showing result 6 - 10 of 109 essays containing the words floating point.

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

  3. 7. Regularizing Vision-Transformers Using Gumbel-Softmax Distributions on Echocardiography Data

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

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

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

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

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

    Author : Vendela Asplund; Martin Lindefors; [2023]
    Keywords : ;

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

  5. 9. Investigation of 8-bit Floating-Point Formats for Machine Learning

    University essay from Linköpings universitet/Datorteknik

    Author : Theodor Lindberg; [2023]
    Keywords : Floating-Point; 8-bit floating-point; FP8; vector instructions; Machine Learning; ML; Convolutional Neural Network; CNN;

    Abstract : Applying machine learning to various applications has gained significant momentum in recent years. However, the increasing complexity of networks introduces challenges such as a larger memory footprint and decreased throughput. This thesis aims to address these challenges by exploring the use of 8-bit floating-point numbers for machine learning. READ MORE

  6. 10. Expression Simplification Using E-Graphs for Interval Evaluation

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Simon Björklund; [2023]
    Keywords : ;

    Abstract : Daisy is a framework for verifying and bounding the magnitudes of rounding errors introduced by floating-point arithmetic in numerical programs. As part of this, Daisy employs a rudimentary algorithm for simplifying expressions derived from the programs. READ MORE