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 19 of 19 for “"Critical sections"”.

  1. PERFORMANCE ESTIMATION AND SCHEDULING FOR PARALLEL PROGRAMS WITH CRITICAL SECTIONS

    … to the presence of mutual exclusion variables or critical sections. In this work we investigate a model that considers the threads consisting of an equal number L of functional blocks, where each functional block has the same duration and either accesses a critical section or executes non-critical

    siu-theses Repository record for PERFORMANCE ESTIMATION AND SCHEDULING FOR PARALLEL PROGRAMS WITH CRITICAL SECTIONS (opens in a new tab)

  2. Detecting And Mitigating Concurrency Bugs

    … concurrency bug detection, named ordersensitive critical sections, which extends the intuition in data races to capture non-race bugs in practice. The order-sensitive critical sections are defined as a pair of critical sections that can lead to non-deterministic shared memory state depending on …

    cornell Repository record for Detecting And Mitigating Concurrency Bugs (opens in a new tab)

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

    … performance with the intent of expanding critical sections. The aim of this approach was to increase the likelihood of race condition occurrence without significantly altering runtime performance. Test observations demonstrated that while expanding critical sections does increase the …

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

  4. Bulk Operation and Data Coloring for Multiprocessor Programmability

    … Based on these, the system automatically infers critical sections and inserts synchronization operations.

    uiuc Repository record for Bulk Operation and Data Coloring for Multiprocessor Programmability (opens in a new tab)

  5. Transactional Programmability and Performance

    I also provide an analysis of I/O in lock-based critical sections in large multithreaded workloads, with observations on how this I/O could be performed in transactional code. In this analysis, I find that no one of the previously proposed techniques is by itself sufficient for handling …

    uiuc Repository record for Transactional Programmability and Performance (opens in a new tab)

  6. Software lock elision for x86 machine code

    … elision (SLE) entirely in software, executing critical sections in the binary using transactional memory. Optionally, the critical sections can also be executed without using transactions by acquiring the protecting lock. The dissertation makes a careful analysis of the impact on performance …

    cambridge Repository record for Software lock elision for x86 machine code (opens in a new tab)

  7. Stella: A Python-based Domain-Specific Language for Simulations

    … up Python focus on easy integration, and smaller critical sections. In contrast, Stella supports translating larger programs in their entirety, and does not allow interaction with the Python run-time, to ensure predictable performance. My experience developing Stella shows that by carefully …

    unm Repository record for Stella: A Python-based Domain-Specific Language for Simulations (opens in a new tab)

  8. The stability of portals in rock

    … histories which were organized into a database. Critical factors contributing to both stability and instability were isolated, and failures were classified according to location. Correlations between rock mass classes and types of portal failure were made and a four step stability analysis …

    vt Repository record for The stability of portals in rock (opens in a new tab)

  9. Distributed mutual exclusion algorithms

    … of allowing only one site at a time into the critical section. The third solves the more difficult problem of allowing a specific number of sites (k sites) into the critical section at a time; All three algorithms are "Token Based". That is, they make use of a token and token queue in order to …

    unlv Repository record for Distributed mutual exclusion algorithms (opens in a new tab)

  10. Energy-aware architectures, circuits and CAD for field programmable gate arrays

    … By introducing fine grain power controls, sections of the design that have excess timing margins are able to run at reduced voltage thereby saving power. Delay critical sections can continue to operate at full voltage to maintain the overall performance of the design. A design flow was …

    mit Repository record for Energy-aware architectures, circuits and CAD for field programmable gate arrays (opens in a new tab)

  11. Parallelized two-stage object detection in cluttered RGB-D scenes

    … CUDA platform we improved the running times of critical sections up to 38 times. We also built a two-stage pipeline that improves multiple object detection in cluttered scenes. The first stage aims to achieve high precision, even at the cost of lower recall, by detecting only the less occluded …

    mit Repository record for Parallelized two-stage object detection in cluttered RGB-D scenes (opens in a new tab)

  12. Scheduling and synchronization for multicore concurrency platforms

    … to memory. The programmers can specify their critical sections inside a transaction, and the TM concurrency platform guarantees that the region executes atomically. One of the purported advantages of TM over locks is that transactional code is composable.

    mit Repository record for Scheduling and synchronization for multicore concurrency platforms (opens in a new tab)

  13. AN EQUIVALENT CLASS SOLUTION FOR A COMPLETE TEST OF A PARALLEL PROGRAM

    … Two execution schedules are equivalent if the critical sections that conflict with previously executed sections are in the same order in the schedule and the grouping of code between these sections are simply permutations of legal execution ordering.

    montana-tech Repository record for AN EQUIVALENT CLASS SOLUTION FOR A COMPLETE TEST OF A PARALLEL PROGRAM (opens in a new tab)

  14. AN EQUIVALENT CLASS SOLUTION FOR A COMPLETE TEST OF A PARALLEL PROGRAM

    … Two execution schedules are equivalent if the critical sections that conflict with previously executed sections are in the same order in the schedule and the grouping of code between these sections are simply permutations of legal execution ordering.

    montana Repository record for AN EQUIVALENT CLASS SOLUTION FOR A COMPLETE TEST OF A PARALLEL PROGRAM (opens in a new tab)

  15. An Expanded Speedup Model for the Early Phases of High Performance Computing Cluster (HPCC) Design

    … such as problem scaling, resource allocation, critical sections, and the problem's inherent parallelizability. The derivation was examined theoretically and then validated by timing studies on a physical HPCC. The validation studies found that the model was an adequate generic first …

    vt Repository record for An Expanded Speedup Model for the Early Phases of High Performance Computing Cluster (HPCC) Design (opens in a new tab)

  16. Probabilistic Programming with Low-Level, High-Performance GPU Programmable Inference

    … (DML) that allows users to write performance-critical sections of generative functions as CUDA kernels while maintaining automatic trace management and the generative function interface (GFI). The system supports both sequential and parallel execution contexts through specialized effect …

    mit Repository record for Probabilistic Programming with Low-Level, High-Performance GPU Programmable Inference (opens in a new tab)

  17. The instability of slender reinforced concrete columns. A buckling study of very slender reinforced concrete columns between the slenderness ratios of 30 and 79 Including essential creep investigations, and leading to design recommendations.

    … concrete columns of two different square cross sections with two sizes of longitudinal reinforcements with lateral ties were cast. Slenderness rates, L A, were varied from 30 to 79. Special factors were obtained to relate the actual modulus of elasticity of concrete in columns at buckling …

    bradford Repository record for The instability of slender reinforced concrete columns. A buckling study of very slender reinforced concrete columns between the slenderness ratios of 30 and 79 Including essential creep investigations, and leading to design recommendations. (opens in a new tab)

  18. Performance Support And Usability:an Experimental Study Ofelectronic Performance Support Interfaces

    … The checklist consisted of ten basic yet critical sections of a successful copyright request letter. Second, an online usability questionnaire was constructed based on the Purdue Usability Testing Questionnaire (PUTQ) questions to measure interface efficiency, intuitiveness, errors, and …

    ucf

  19. Development of improved solutions for steel catenary riser challenges

    … the high stresses and fatigue response at their critical sections. In line with the aim and objective of this research, riser solutions for SCR are developed and investigated in this thesis. These solutions include the branched riser system (BRS), the floating catenary riser system (FCR), the …

    strathclyde Repository record for Development of improved solutions for steel catenary riser challenges (opens in a new tab)