Essays about: "C language"

Showing result 21 - 25 of 352 essays containing the words C language.

1. 21. Automated Inference of ACSL Contracts for Programs with Heaps

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

   Author : Oskar Söderberg; [2023]
   Keywords : Formal Verification; Contract Inference; Model Checking; Deductive Verification; Theory of Heaps; ACSL; Translation; Formell Verifiering; Kontrakth¨arledning; Modellprovning; Deduktiv Verifiering; Theory of Heaps; ACSL; Overs¨attning;

   Abstract : Contract inference consists in automatically computing contracts that formally describe the behaviour of program functions. Contracts are used in deductive verification, which is a method for verifying whether a system behaves according to a provided specification. The Saida plugin in Frama-C is a contract inference tool for C code. READ MORE

3. 22. Performance Evaluation of Digital Image Processing on the Web using WebAssembly

   University essay from Uppsala universitet/Avdelningen för beräkningsvetenskap

   Author : Christoffer Nyberg; [2023]
   Keywords : WebAssembly; wasm; SIMD; multithreading; performance;

   Abstract : JavaScript has been the de-facto standard programming language for Web browsers for some time. Although it has enabled the interactive and complex web pages we have today, it has long been characterized by performance issues. A promising new technology, WebAssembly, aims to enable near-native performance on the Web. READ MORE

4. 23. Classification of invoices using a 2D NLP approach : A comparison between methods for invoice information extraction for the purpose of classification

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

   Author : Linnéa Fredriksson; [2023]
   Keywords : Key-field extraction; Invoices; 2D NLP; Document Intelligence; Visually Rich Documents; LayoutLMv3; Nyckelfältsextraktion; Fakturor; 2-dimensionell naturligtspråkbehandling; LayoutLMv3;

   Abstract : Many companies are handling a large number of invoices every year. To manually categorize them takes a lot of time and resources. For a model to automatically categorize invoices, the documents need to be properly read and processed by the model. READ MORE

5. 24. Does Rust SPARK joy? : Recommendations for safe cross-language bindings between Rust and SPARK

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

   Author : Aïssata Maiga; [2023]
   Keywords : Rust; Ada; SPARK; Foreign Function Interface FFI ; memory safety; type safety; ownership; Rust; Ada; SPARK; Gränssnitt för främmande funktioner FFI ; minnessäkerhet; typsäkerhet; ägarskap;

   Abstract : This thesis aims to provide recommendations for interfacing two memory-safe programming languages, Rust and SPARK. The comparison of Rust and C/C++, as well as SPARK and C/C++, has been thoroughly researched. However, this level of investigation hasn’t been as extensive between memory-safe languages. READ MORE

6. 25. Investigating Energy Consumption and Responsiveness of low power modes in MicroPython for STM32WB55

   University essay from Jönköping University/JTH, Avdelningen för datateknik och informatik; Jönköping University/Tekniska Högskolan

   Author : Albin Samefors; Felix Sundman; [2023]
   Keywords : Response time; Energy consumption; MicroPython; C; Low Power modes; Sleep modes;

   Abstract : Introduction: This paper presented an analysis of the energy consumption and responsiveness of MicroPython in an embedded system. The purpose of this study was to understand the energy consumption and response time of a MicroPython based system to optimize its overall performance and efficiency. READ MORE