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 9 of 9 for “"Synchronizations"”.

  1. Taming implicit synchronizations in concurrent programs

    … it is always difficult for developers to make synchronizations correct. As a consequence, concurrent programs are vulnerable to concurrency bugs and fail during run-time. Many synchronizations in existing multithreaded programs are implicit. They are either implemented in an ad hoc way, or …

    uiuc Repository record for Taming implicit synchronizations in concurrent programs (opens in a new tab)

  2. Communication avoiding parallel algorithms for amorphous problems

    … usually has a poor locality. Therefore, synchronizations in these problems are specially costly since all-to-all communications are required and delivering an efficient parallel algorithm becomes more challenging. Another difficulty with these problems is that the amount of parallelism in …

    uiuc Repository record for Communication avoiding parallel algorithms for amorphous problems (opens in a new tab)

  3. Development of a New Parallel In-Situ Combustion Simulator

    … platform of the simulator. Communications and synchronizations are deemed to be the significant factors that affect the parallelization. A dynamic load balancing grid partitioning method, HSFC, is applied for this purpose. The results of different models are given, which are validated with the …

    calgary Repository record for Development of a New Parallel In-Situ Combustion Simulator (opens in a new tab)

  4. Layer-layer interactions in atmospheric, cryospheric, and stellar dynamics

    … processes. The third chapter studies seasonal synchronizations between the dominant mode of lower stratospheric variability on one-to-five-year timescales and advective contributions to temporal changes in N₂O and CFC-11. These synchronizations influence the abundance of chemical species in the …

    mit Repository record for Layer-layer interactions in atmospheric, cryospheric, and stellar dynamics (opens in a new tab)

  5. SUNSHINE: A Multi-Domain Sensor Network Simulator

    … problems, including data exchanges and time synchronizations across different simulation domains and simulation accuracy levels. SUNSHINE also provides hardware specification scheme for simulating flexible and customized hardware designs. Several experiments are given to illustrate SUNSHINE's …

    vt Repository record for SUNSHINE: A Multi-Domain Sensor Network Simulator (opens in a new tab)

  6. Formal Techniques for Design and Development of Safety Critical Embedded Systems from Polychronous Models

    … the necessity of global clock. Unnecessary synchronizations among concurrent computation entities can be avoided using a polychronous language such as MRICDF. We have explored a Boolean theory-based techniques for synthesizing multi-threaded/concurrent code and extended the technique to …

    vt Repository record for Formal Techniques for Design and Development of Safety Critical Embedded Systems from Polychronous Models (opens in a new tab)

  7. ISSUES IN THE SUBTITLING AND DUBBING OF ENGLISH-LANGUAGE FILMS INTO ARABIC: PROBLEMS AND SOLUTIONS

    … on screen such as space, time, lip and character synchronizations; 2) the issue of rendering English dialects into Modern Standard Arabic (MSA) and 3) the problem of culture which restricts them when they want to translate taboo expressions. This results in a loss (partial or complete) of the …

    durham Repository record for ISSUES IN THE SUBTITLING AND DUBBING OF ENGLISH-LANGUAGE FILMS INTO ARABIC: PROBLEMS AND SOLUTIONS (opens in a new tab)

  8. Single System Image in a Linux-based Replicated Operating System Kernel

    … to distribute signals, namespaces, inter-thread synchronizations and socket state replication. These features are built on top of the existing messaging layer, process or thread migration and address space consistency protocol to provide the application with an illusion of single system image and …

    vt Repository record for Single System Image in a Linux-based Replicated Operating System Kernel (opens in a new tab)

  9. Formal Approaches to Globally Asynchronous and Locally Synchronous Design

    … suitable for modeling the communication and synchronizations in LIP. The periodic clock calculus is useful in analyzing clock gating sequences because periodic clock calculus easily captures data dependencies, throughput constraints as well as buffer sizes required for synchronization. These …

    vt Repository record for Formal Approaches to Globally Asynchronous and Locally Synchronous Design (opens in a new tab)