Sökning: "maskinkod"
Visar resultat 1 - 5 av 6 uppsatser innehållade ordet maskinkod.
1. Server-side image processing in native code compared to client- side image processing in WebAssembly
Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : 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++. LÄS MER
2. A comparison of OCR methods on natural images in different image domains
Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : 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. LÄS MER
3. Provably Sound and Secure Automatic Proving and Generation of Verification Conditions
Master-uppsats, KTH/Teoretisk datalogi, TCSSammanfattning : 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. LÄS MER
4. Performance Optimization of Signal Processing Algorithms for SIMD Architectures
Master-uppsats, KTH/ReglerteknikSammanfattning : 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. LÄS MER
5. Mobilutveckling
Kandidat-uppsats, Högskolan i Borås/Institutionen Handels- och IT-högskolanSammanfattning : Det finns flera olika tillvägagångssätt för att göra det möjligt att skapa program som kan exekveras på flera olika plattformar. Detta tillvägagångssätt för utveckling mot flera plattformar, kallas plattformsoberoende utveckling. LÄS MER