Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 12 of 12 for “"race condition"”.

  1. SHM Racer : dynamic race condition detection using shared memory traps

    This project investigated different types of data races that can exist within C code, and then incrementally built a race condition detector, SHM Racer, using an assortment of thread safety violation/data race violation detection methods. The objective of this report was to demonstrate the …

    texas Repository record for SHM Racer : dynamic race condition detection using shared memory traps (opens in a new tab)

  2. The Church in Dialogue with Other Religions in the Postmodern World: Reflecting Beyond Nostra Aetate.

    … and harassment against people based on culture, race, condition in life and religion.</p> <p>However, the postmodern world today, characterized by religious pluralism and diversity, and dethronement of grand narrative, pose a challenge for the church in dialogue with non-Christians to reflect …

    duquesne Repository record for The Church in Dialogue with Other Religions in the Postmodern World: Reflecting Beyond Nostra Aetate. (opens in a new tab)

  3. Introducing Non-Determinism to the Parallel C Compiler

    … />the ability of the PC Compiler to translate a race condition into<br />a non-deterministic solution.</p> <p><br />This document explores different phases of the project in detail. The<br />following phases are included: software design, algorithm design, analysis,<br />and results. The …

    csusb Repository record for Introducing Non-Determinism to the Parallel C Compiler (opens in a new tab)

  4. Blockchain-enabled Secure and Trusted Personalized Health Record

    … in a distributed system like LPHR, so-called race condition occurs when access control policies are centralized while decisions making processes are localized. We propose a formal definition of secure LPHR and develop a blockchain-enabled next generation access control (BeNGAC) model. The …

    vt Repository record for Blockchain-enabled Secure and Trusted Personalized Health Record (opens in a new tab)

  5. Unveiling Emerging Web Application Attack Surfaces

    … first tool capable of performing single-datagram race condition attacks over HTTP/3. Our benchmark highlights how factors such as server architecture, language runtime, and database configuration influence the exploitability of concurrency issues. Collectively, these contributions provide …

    cagliari Repository record for Unveiling Emerging Web Application Attack Surfaces (opens in a new tab)

  6. Debugging Large Scale Applications with Virtualization

    … One famously difficult example is a race condition. Moreover, sometimes a problem does not manifest itself when executing an application using few processors, only to appear when a larger number of processors is used. In this scenario, it is important to develop techniques to assist …

    uiuc Repository record for Debugging Large Scale Applications with Virtualization (opens in a new tab)

  7. Discovering Novel Microarchitectural Security Vulnerabilities in Modern Processors

    … memory issue in Linux, and the second is a race condition leading to a type confusion in XNU. Finally, I will present a series of classroom exercises I have created to teach students about CPU vulnerabilities like PACMAN.

    mit Repository record for Discovering Novel Microarchitectural Security Vulnerabilities in Modern Processors (opens in a new tab)

  8. Dynamic Analysis for Concurrency Optmisation

    … to confirm static analysis hypothesises (e.g. race-condition detection), however, I argue the gap is understudied when transitioning from the dynamic to the static domain.

    cambridge Repository record for Dynamic Analysis for Concurrency Optmisation (opens in a new tab)

  9. Troubleshooting interactive complexity bugs

    … for wireless sensor network [2], kernel level race condition bug in the LiteOS operating system, and corner case design flaw in the directed diffusion protocol [3]. Next, we extended our approach to identify “symbolic” patterns, where absolute values are replaced with abstract symbols whenever …

    uiuc Repository record for Troubleshooting interactive complexity bugs (opens in a new tab)

  10. Towards trustworthy foundations for operating system Forensics

    System logging is an essential component of building and maintaining secure systems. Unfortunately, attackers regularly engage in anti-forensic activities after a break-in, covering their tracks from system logs in order to frustrate the efforts of investigators. In response to this threat, a …

    uiuc Repository record for Towards trustworthy foundations for operating system Forensics (opens in a new tab)

  11. Digital enhancement techniques for fractional-N frequency synthesizers

    … operation across PVT variations and resolves the race condition existing in injection locked PLLs by decoupling frequency tuning from the injection path. As a result, the phase locking condition is only determined by the injection path. This work also introduces an accurate theoretical …

    uiuc Repository record for Digital enhancement techniques for fractional-N frequency synthesizers (opens in a new tab)

  12. Konfigurovatelná paralelní exekuce systémových testů v rámci projektu Strimzi

    V poslednych rokoch mnoho spolocnosti prijalo Kubernetes a architekturu mikrosluzieb, ktoru umoznuje. Tato technologia otvorila nove moznosti nielen pre velke spolocnosti, ale aj pre malych vyvojarov softveru. Kubernetes je system riadenia kontajnerov a nedavno sa objavil novy koncept, ako …

    brno-tech Repository record for Konfigurovatelná paralelní exekuce systémových testů v rámci projektu Strimzi (opens in a new tab)