Sökning: "Exempelprogram"

Visar resultat 1 - 5 av 7 uppsatser innehållade ordet Exempelprogram.

  1. 1. An Evaluation of WebAssembly Pre-Initialization for Faster Startup Times

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :William Stackenäs; [2023]
    Nyckelord :WebAssembly; Wasm; pre-execution; pre-initialization; execution time; Wizer; WebAssembly; Wasm; förexekvering; förinitialisering; exekveringstid; Wizer;

    Sammanfattning : WebAssembly (Wasm) has emerged as a new technology for the web that enables complex and interactive web applications, while utilizing a compact and platform-independent bytecode format. Due to its flexibility, portability, and built-in security, it has since evolved to be used in many other embeddings, such as internet-of-things, server applications, and even mobile applications. LÄS MER

  3. 2. Enhanced DTLS Support for the Contiki-NG OS

    Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Rudolfs Arvids Kalnins; Kristaps Karlis Kalnins; [2021]
    Nyckelord :Internet of Things; Contiki-NG; DTLS; MbedTLS; Porting; Operating Systems; Security; Internet of Things; Contiki-NG; DTLS; MbedTLS; Porting; Operativsystem; Säkerhet;

    Sammanfattning : Internet of Things (IoT) devices are devices with embedded sensors or software. Their usage is becoming more prevalent. They are used for smart homes, traffic tracking, weather data and sensor networks. Often IoT devices communicate wirelessly using low-power protocols. LÄS MER

  4. 3. A performance comparison of Clojure and Java

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Gustav Krantz; [2020]
    Nyckelord :;

    Sammanfattning : Clojure is a relatively new functional programming language that can compile to both Java bytecode and JavaScript (ClojureScript), with features like persistent data structures and a high level of abstraction. With new languages it is important to not only look at their features, but also evaluate how well they perform in practice. LÄS MER

  5. 4. Verifying Temporal Properties Using Deductive Verifiers

    Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Jesper Amilon; Axel Lindeberg; [2019]
    Nyckelord :;

    Sammanfattning : Formal verification is an area of theoretical computer science where mathematical logic is used to prove that a program behaves in a certain way. With the methods in formal verification, you can prove that the program follows some given specification and thereby behaves in the desired way. The area is largely split up into two distinct parts. LÄS MER

  7. 5. Ramverk för temperaturstyrning i Matlab : Programmering av DAQ , datalogger,temperaturskåp och spänningsaggregat

    Kandidat-uppsats, Linnéuniversitetet/Institutionen för fysik och elektroteknik (IFE)

    Författare :Anton Pavlov; Jonathan Särnholm; [2016]
    Nyckelord :DA AD-Modul; Datalogger; Exempelprogram; Klimatkammare; Matlab; Nätaggregat; Programmering; Ramverk; Specifikation;

    Sammanfattning : Examensarbetet utfördes på Calmon. Ett Ramverket för instrumenten:DA/AD - Modul, datalogger, klimatkammare och nätaggregat skapades medhjälp av programmet Matlab. Arbetet utfördes med hjälp av programmeringi syfte att kunna genomföra mätningar på föremål i klimatkammaren.Kommandon för styrning av instrumenten implementerades. LÄS MER