Sökning: "non-blocking"

Visar resultat 1 - 5 av 12 uppsatser innehållade ordet non-blocking.

  1. 1. Evaluating Direct3D 12 GPU Resource Synchronization on Performance and Cache Operations

    Uppsats för yrkesexamina på avancerad nivå, Blekinge Tekniska Högskola/Fakulteten för datavetenskaper

    Författare :Nadhif Ginola; [2023]
    Nyckelord :Direct3D 12; Barrier; Cache; Data Hazard; Synchronization; Direct3D 12; Barriärer; Cache; Datarisk; Synkronisering;

    Sammanfattning : Background. Lower-level graphics programming interfaces such as Direct3D 12 re-quire synchronization and data hazards between dependent workloads to be resolvedmanually. A barrier is a primitive used to resolve synchronization and data hazardsin a manner to achieve correct behavior by allowing developers to define waits be-tween workloads. LÄS MER

  3. 2. Investigating Particle Cracking in Single- and Polycrystalline Nickel-Rich Cathodes using In Situ Impedance Spectroscopy

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

    Författare :Mattias Sjödin; [2021]
    Nyckelord :Electrochemical surface area; particle cracking; NMC811; transmission-line model; equivalent-circuit fitting; commercial Li-ion batteries;

    Sammanfattning : State-of-the-art Li-ion cathode materials are based on LiMO2 (M=Ni, Mn, Co) layered transition metal oxides (denoted NMC) with Ni-rich composition because of their high specific capacity. Yet, these materials suffer from poor capacity retention due to crack formation during de-/lithiation cycling. LÄS MER

  4. 3. A Specification for Time-Predictable Communication on TDM-based MPSoC Platforms

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

    Författare :Kelun Liu; [2021]
    Nyckelord :Communication; Time-Predictability; Network-on-Chip; Software Specification; Worst-Case Communication Time; Kommunikation; Tid Förutsägbarhet; Nätverk-på-Chip; MjukvaruSpecifikation; Kommunikationstid i Värsta Fall;

    Sammanfattning : Formal System Design (ForSyDe) aims to bring the design of multiprocessor systems-on-chip (MPSoCs) to a higher level of abstraction and bridge the abstraction gap by transformational design refinement. The current research is focused on a correct-by-construction design flow, which requires design space exploration including formal models of computation and timepredictable platforms. LÄS MER

  5. 4. Coroutines for Simics Device Modeling Language

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

    Författare :Love Waern; [2021]
    Nyckelord :;

    Sammanfattning : Coroutines have risen in popularity in modern programming primarily as an abstraction for non-blocking asynchronous logic. One particular domain where this is of interest is full-system hardware architecture simulation, as such systems heavily involve devices that communicate a synchronously. LÄS MER

  7. 5. Multi agent control with LTL specifications and abstraction with input memories

    Master-uppsats, KTH/Reglerteknik

    Författare :Paul Rousse; [2017]
    Nyckelord :;

    Sammanfattning : Formal controller synthesis methods with temporal logic specications tryto guarantee the correctness of given specications with a system that mighthave complex behaviour. Most often, discrete abstractions of a continuoussystem are used in order to reduce the size of the problem. LÄS MER