Essays about: "non-blocking"

Showing result 1 - 5 of 12 essays containing the word non-blocking.

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

    University essay from Blekinge Tekniska Högskola/Fakulteten för datavetenskaper

    Author : Nadhif Ginola; [2023]
    Keywords : Direct3D 12; Barrier; Cache; Data Hazard; Synchronization; Direct3D 12; Barriärer; Cache; Datarisk; Synkronisering;

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

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

    University essay from Uppsala universitet/Strukturkemi

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

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

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

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

    Author : Kelun Liu; [2021]
    Keywords : 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;

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

  5. 4. Coroutines for Simics Device Modeling Language

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Love Waern; [2021]
    Keywords : ;

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

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

    University essay from KTH/Reglerteknik

    Author : Paul Rousse; [2017]
    Keywords : ;

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