Essays about: "Maskinkod"

Found 4 essays containing the word Maskinkod.

1. 1. Server-side image processing in native code compared to client- side image processing in WebAssembly

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

   Author : Marcus Alevärn; [2021]
   Keywords : WebAssembly; Native code; Server-side; Client-side; Image processing; Performance; WebAssembly; Maskinkod; Serversidan; Klientsidan; Bildbehandling; Prestanda;

   Abstract : Today, companies are developing processor demanding applications on the web, for example, 3D visualization software and video and audio software. Some of these companies have a native desktop application written in for example C++. READ MORE

3. 2. A comparison of OCR methods on natural images in different image domains

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

   Author : Melvin Lundqvist; Agnes Forsberg; [2020]
   Keywords : ;

   Abstract : Optical character recognition (OCR) is a blanket term for methods that convert printed or handwritten text into machine-encoded text. As the digital world keeps growing the amount of digital images with text increases, and the need for OCR methods that can handle more than plain text documents as well. READ MORE

4. 3. Provably Sound and Secure Automatic Proving and Generation of Verification Conditions

   University essay from KTH/Teoretisk datalogi, TCS

   Author : Didrik Lundberg; [2018]
   Keywords : HOL4; HOL; Higher-order logic; SML; Poly ML; Formal methods; Axiomatic semantics; Formal verification; Static verification; Program verification; Hoare logic; Floyd-Hoare logic; ITP; Interactive theorem prover; Theorem prover; Proof assistant; BIR; Automated theorem proving; ATP; Automated deduction; Computer-assisted proof; Automated reasoning;

   Abstract : Formal verification of programs can be done with the aid of an interactive theorem prover. The program to be verified is represented in an intermediate language representation inside the interactive theorem prover, after which statements and their proofs can be constructed. This is a process that can be automated to a high degree. READ MORE

5. 4. Performance Optimization of Signal Processing Algorithms for SIMD Architectures

   University essay from KTH/Reglerteknik

   Author : Sharan Yagneswar; [2017]
   Keywords : SIMD; ARM; Vectorization; DSP; NEON; IIR; Envelope; Complex; Performance Optimization; SIMD; ARM; Vektorisering; DSP; NEON; IIR; Kuvert; Komplex; Prestandaoptimering;

   Abstract : Digital Signal Processing(DSP) algorithms are widely implemented in real time systems.In fields such as digital music technology, many of these said algorithms areimplemented, often in combination, to achieve the desired functionality. When itcomes to implementation, DSP algorithms are performance critical as they havetight deadlines. READ MORE