Essays about: "floating point"

Showing result 1 - 5 of 59 essays containing the words floating point.

  1. 1. Bit-Vector Approximations of Floating-Point Arithmetic

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Joel Havermark; [2018]
    Keywords : ;

    Abstract : The use of floating-point numbers in safety-critical applications shows a need to efficiently and automatically reason about them. One approach is to use Satisfiability modulo theories (SMT). The naive approach to using SMT does not scale well. Previous work suggests approximations as a scalable solution. READ MORE

  2. 2. Guiding Local Search using Approximations

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Jesper Magnusson; [2018]
    Keywords : ;

    Abstract : Proving that a program is correct can be done by translating it into a first-order formula and trying to prove that it is valid. Programs often contain data structures such as Floating-point numbers, for which current solvers struggle because of the computational complexity of these theories. READ MORE

  3. 3. Using CFD to analyze thermal and optical influence on a zero pressure balloon at floating condition

    University essay from Luleå tekniska universitet/Rymdteknik; Luleå tekniska universitet/Rymdteknik

    Author : Yared Woldu; Anton Fritz; [2018]
    Keywords : CFD; High-altitude balloon; ANSYS; FLUENT;

    Abstract : The ability to control the trajectory and understanding the atmospheric effects on the flight performance of a scientific high altitude balloon has long been an aspiring ambition. This thesis work analyses the thermal and optical environments at float using the simulation software, ANSYS FLUENT. READ MORE

  4. 4. Data acquisition system for optical frequency comb spectroscopy

    University essay from Umeå universitet/Institutionen för fysik

    Author : Ragnar Seton; [2017]
    Keywords : DAQS; HITRAN; MATLAB; libmx; Fourier Transform Spectrometry; Real time data visualization;

    Abstract : The Optical Frequency Comb Spectroscopy (OFCS) Group at the Department of Physics at Umeå University develops new techniques for extremely high sensitivity trace gas detection, non invasive temperature measurements, and other applications of OFCS. Their setup used primarily for trace gas detection contains several components that have been developed in-house, including a Fourier Transform Spectrometer (FTS) and an auto-balancing detector. READ MORE

  5. 5. ART vs. NDK vs. GPU acceleration: A study of performance of image processing algorithms on Android

    University essay from KTH/Skolan för datavetenskap och kommunikation (CSC)

    Author : Andreas Pålsson; [2017]
    Keywords : ART; NDK; GPU; C ; Java; Android; RenderScript; image processing; Dalvik; Android runtime;

    Abstract : The Android ecosystem contains three major platforms for execution suitable for different purposes. Android applications are normally written in the Java programming language, but computationally intensive parts of Android applications can be sped up by choosing to use a native language or by utilising the parallel architecture found in graphics processing units (GPUs). READ MORE