Sökning: "crashes"

Visar resultat 11 - 15 av 112 uppsatser innehållade ordet crashes.

  1. 11. 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

  2. 12. Flashlamp Annealing for Improved Ferroelectric Junctions

    Master-uppsats, Lunds universitet/Fysiska institutionen; Lunds universitet/Institutionen för elektro- och informationsteknik

    Författare :Theodor Blom; [2023]
    Nyckelord :Flashlamp annealing; ferroelectricity; hafnia oxide; III-V semiconductor; thermal annealing; device performance; Technology and Engineering;

    Sammanfattning : The effects of flashlamp annealing (FLA) on the quality of ferroelectric HfxZr1–xO2 (HZO) interfaces, integrated on InAs substrates, are evaluated. For the integration of ferroelectric HZO on III-V semiconductors the crystallization via rapid thermal processing (RTP) can severely degrade the HZO/III-V interface. LÄS MER

  3. 13. Är OMXS 30 effektiv enligt den semi-starka formen av den effektiva marknadshypotesen?

    Kandidat-uppsats,

    Författare :Johan Kewenter; Niclas Danielson; [2022-07-01]
    Nyckelord :;

    Sammanfattning : Den effektiva marknadshypotesen gör gällande att informationen som offentliggörs på marknaden skall vara tillgänglig samt bedömas på ett rationellt sätt av investerare. Däremot så är antagandet om ett rationellt beteende bland investerare även ifrågasatt, främst då bland anhängare från behavioral finance. LÄS MER

  4. 14. Peer-to-peer misbehaviour reporting using non-interactive zero-knowledge proofs in ETSI ITS-G5

    Master-uppsats, Linköpings universitet/Institutionen för datavetenskap

    Författare :Lukas Nee; [2022]
    Nyckelord :;

    Sammanfattning : In the future of intelligent transport systems, vehicles will communicate with other vehicles and infrastructure. Through this communication, vehicles can cooperate in traffic situations such as intersections and highway merging. This communication can also facilitate sharing of information about other vehicles. LÄS MER

  5. 15. On the Presence and Causes of Lingering Defects in Software : An industrial study of lingering defects

    Kandidat-uppsats, Blekinge Tekniska Högskola

    Författare :Sumeia Jemal; [2022]
    Nyckelord :;

    Sammanfattning : Background. Remaining defects are a cause of significant issues in software development industry and not fixing them as soon as possible increases the risk of negative effects such as system crashes, customer dissatisfaction, and higher costs. Despite these observations, companies do, due to varying factors, not always address newly found defects. LÄS MER