Sökning: "call c"

Visar resultat 1 - 5 av 91 uppsatser innehållade orden call c.

  1. 1. Adding Basic Support for Function Pointers in TriCera

    Kandidat-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Axel Bergström; [2023]
    Nyckelord :;

    Sammanfattning : TriCera is a verification tool that encodes programs in a C-like language to a set of Constrained Horn Clauses.  These clauses describe the program states that can be reached when the program is executed.  A solver can then be used to check if the program is safe. LÄS MER

  3. 2. Behavioural comparison of test and field executions of video games

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

    Författare :Chloé Marie Porion; [2023]
    Nyckelord :Software Testing; Field Monitoring; Test Monitoring; Video Games; Video Game Modding; Mjukvarutestning; Fältövervakning; Testövervakning; Videospel; Videospel Modding;

    Sammanfattning : Software developers write tests to ensure that their application behaves as intended. However, the behaviour of an application in production may deviate from the behaviours that are tested. This difference between test and field executions is rarely assessed in practice. LÄS MER

  4. 3. IMPLEMENTING NETCONF AND YANG ON CUSTOM EMBEDDED SYSTEMS

    Uppsats för yrkesexamina på grundnivå, Högskolan i Halmstad/Akademin för informationsteknologi

    Författare :Krister Georges; Per Jahnstedt; [2023]
    Nyckelord :NETCONF; MbedTLS; YANG; Embedded; SNMP; XML; HMS; IETF; IIoT; ABCC; Wireshark; TLS; Porting; RTOS; IoT; Interoperability; Networking; Security; Protocols; C C ; Embedded Linux; Configuration Management; Microcontroller; Microprocessor; Scalability; Hardware Interfaces; Hardware; Open source; QA; Data Modeling; System Integration; Automation;

    Sammanfattning : Simple Network Management Protocol (SNMP) has been the traditional approach for configuring and monitoring network devices, but its limitations in security and automation have driven the exploration of alternative solutions. The Network Configuration Protocol (NETCONF) and Yet Another Next Generation (YANG) data modeling language significantly improve security and automation capabilities. LÄS MER

  5. 4. Navigating the Waves: A Study on the Effect of Income Volatility on Household Debt Accumulation

    C-uppsats, Handelshögskolan i Stockholm/Institutionen för nationalekonomi

    Författare :Loke Sjödin; Lukas Segerberg; [2023]
    Nyckelord :Inequality; Income volatility; Gramm-Leach-Bliley Act; Financial crises; Household Debt;

    Sammanfattning : This study investigates the influence of income volatility on household borrowing behavior, contributing to the broader discussion on the relationship between inequality and the risk of financial crises. While prior studies have generally focused on permanent income inequality, we address the overlooked aspect of transitory income inequality. LÄS MER

  7. 5. Thermal tolerance of native vs. invasive marine species at the Northern coast of Portugal

    Master-uppsats, Uppsala universitet/Institutionen för geovetenskaper

    Författare :Sofie Michelsen; [2023]
    Nyckelord :Biodiversity; Climate change; Marine ecosystems; Marine heat waves; Intertidal environment; Invasive species; Macroalgae; Mussels; Sustainable Development; Thermal tolerance;

    Sammanfattning : Two prominent factors posing a major threat to biodiversity in marine ecosystems are climate change and the establishment of invasive species, and the interaction between these two. Because of the upwelling of cold, nutrient-rich water, the coast of Portugal is a thermal refuge and distribution edge for cold-adapted species, making it a particularly important study area from a biodiversity point of view. LÄS MER