Essays about: "call c"

Showing result 1 - 5 of 54 essays containing the words call c.

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

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Axel Bergström; [2023]
    Keywords : ;

    Abstract : 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. READ MORE

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

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

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

    Abstract : 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. READ MORE

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

    University essay from Högskolan i Halmstad/Akademin för informationsteknologi

    Author : Krister Georges; Per Jahnstedt; [2023]
    Keywords : 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;

    Abstract : 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. READ MORE

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

    University essay from Handelshögskolan i Stockholm/Institutionen för nationalekonomi

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

    Abstract : 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. READ MORE

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

    University essay from Uppsala universitet/Institutionen för geovetenskaper

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

    Abstract : 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. READ MORE