Sökning: "minnesfel"

Visar resultat 1 - 5 av 10 uppsatser innehållade ordet minnesfel.

  1. 1. Kan man minnas ett brott som man inte bevittnat? : En rättspsykologisk undersökning av tendensen till felaktiga minnen av ett brott

    Kandidat-uppsats, Stockholms universitet/Psykologiska institutionen

    Författare :Caroline Briesch; Jennie Segerstein; [2024]
    Nyckelord :minnesfel; bakåtriktade slutsatsfel; vittnesmål; stereotyper;

    Sammanfattning : Minnet är av största relevans inom vittnespsykologiska sammanhang och kan vara avgörande för utfallet i rättsliga utredningar. Tidigare forskning visar att individer som har sett en effekt av en händelse kan tendera att minnas att de sett orsaken till händelsen. LÄS MER

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

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

    Författare :Aïssata Maiga; [2023]
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

  4. 3. Using Requirement-Driven Symbolic Execution to Test Implementations of the CoAP and EDHOC Network Protocols

    Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Datalogi

    Författare :Sabor Amini; [2023]
    Nyckelord :Requirement-driven; Symbolic execution; Network protocols; CoAP; EDHOC; Kravbaserad; Symbolisk Exekvering; Nätverksprotokoll;

    Sammanfattning : As the number of Internet of Things devices is increasing rapidly, it is of utmost significance that the implementations of protocols for constrained devices are bug-free. In general implementations of network protocols are error-prone due to their complex nature and ambiguities in the protocol specification. LÄS MER

  5. 4. “...OCH HUR SKA JAG KOMMA IHÅG DET NU EFTER SÅ LÅNG TID?” En kvalitativ intervjustudie om hur vittnesutsagor förändras över tid

    Kandidat-uppsats, Malmö universitet/Fakulteten för hälsa och samhälle (HS)

    Författare :Vendela Bergström; Robin Theander; [2019]
    Nyckelord :Vittne; Vittnesförhör; Vittnesutsagor; Kognitiv intervju; Minnesprocess; Minnesfel; Retentionsintervall;

    Sammanfattning : I rättegångar förhörs vittnen på grundval av att de antas ha avsevärda upplysningar i det aktuella brottmålet. Därmed kan vittnesutsagor ha en avgörande betydelse när det finns liten eller ingen teknisk bevisning. LÄS MER

  7. 5. Dynamic Configuration of a Relocatable Driver and Code Generator for Continuous Deep Analytics

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

    Författare :Oscar Bjuhr; [2018]
    Nyckelord :Stream Processing; Heterogeneous Cluster; Big Data; Rust; Cargo; Docker; Ström Processor; Heterogent Kluster; Big Data; Rust; Cargo; Docker;

    Sammanfattning : Modern stream processing engines usually use the Java virtual machine (JVM) as execution platform. The JVM increases portability and safety of applications at the cost of not fully utilising the performance of the physical machines. LÄS MER