Essays about: "arithmetic operations"

Showing result 6 - 10 of 22 essays containing the words arithmetic operations.

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

  3. 7. ASIC implementation of LSTM neural network algorithm

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

    Author : Michail Paschou; [2018]
    Keywords : Neural networks; LSTM; Long Short Term Memory; ASIC; VLSI; Neural networks; LSTM; Long Short Term Memory; ASIC; VLSI;

    Abstract : LSTM neural networks have been used for speech recognition, image recognition and other artificial intelligence applications for many years. Most applications perform the LSTM algorithm and the required calculations on cloud computers. READ MORE

  4. 8. A method for using harvester data in airborne laser prediction of forest variables in mature coniferous stands

    University essay from SLU/Dept. of Forest Resource Management

    Author : Jon Söderberg; [2015]
    Keywords : raster; segmentation; ALS; area based method;

    Abstract : Behovet av tillförlitlig skoglig information för planering i skogsbruket har resulterat i en utveckling av olika inventeringsmetoder. Kostnaden styr ofta valet av inventeringsmetod och frekvensen av inventeringar, vilket påverkar kvaliteten på den information som finns tillgänglig för skogsförvaltare. READ MORE

  5. 9. Natively vs. non-natively compiled threaded Android applications : A comparative study on time-efficiency

    University essay from Högskolan i Skövde/Institutionen för informationsteknologi

    Author : Emil Andersson; [2014]
    Keywords : Android; multi-threading; concurrency; benchmarking; Java; C; C ;

    Abstract : The aim of this work is to investigate whether threaded Android-applications written in C or C++ are more time-efficient than threaded Android-applications written in Java. The first part of the work was to perform a literature analysis in order to find out which types of algorithms were used in previous studies comparing the performance between non-threaded Android-applications written in Java and C/C++. READ MORE

  6. 10. Low Power Design Using RNS

    University essay from Linköpings universitet/Elektroniksystem; Linköpings universitet/Tekniska högskolan

    Author : Viktor Classon; [2014]
    Keywords : residue number system; RNS; low power; ASIC;

    Abstract : Power dissipation has become one of the major limiting factors in the design of digital ASICs. Low power dissipation will increase the mobility of the ASIC by reducing the system cost, size and weight. DSP blocks are a major source of power dissipation in modern ASICs. READ MORE