Search for dissertations about: "weak memory model"

Showing result 1 - 5 of 15 swedish dissertations containing the words weak memory model.

  2. 1. Model Checking of Software Systems under Weak Memory Models

    Author : Tuan-Phong Ngo; Mohamed Faouzi Atig; Parosh Aziz Abdulla; Philipp Rümmer; Viktor Vafeiadis; Uppsala universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Model checking; Concurrent program; Weak memory model; Computer Science; Datavetenskap;

    Abstract : When a program is compiled and run on a modern architecture, different optimizations may be applied to gain in efficiency. In particular, the access operations (e.g., read and write) to the shared memory may be performed in an out-of-order manner, i. READ MORE

  4. 2. Caches, Transactions and Memories : Models, Coherence and Consistency

    Author : Yunyun Zhu; Parosh Abdulla; Mohamed Faouzi Atig; Ahmed Rezine; Bengt Jonsson; Riadh Robbana; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; cache coherence protocol; transactional memory; weak memory model; model checking; parameterized system; Computer Science; Datavetenskap;

    Abstract : Computers have brought us inestimable convenience in recent years. We have become dependent on them and more sensitive to their performance. During the past decades, we have been trying to improve program efficiency. The invention of multi-core systems is regarded as the new era of boosting performance of computer programs. READ MORE

  5. 3. Architecture Support and Scalability Analysis of Memory Consistency Models in Network-on-Chip based Systems

    Author : Abdul Naeem; Axel Jantsch; Zhonghai Lu; Jari Nurmi; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Memory consistency; Protected release consistency; Distributed shared memory; Network-on-Chip; Scalability;

    Abstract : The shared memory systems should support parallelization at the computation (multi-core), communication (Network-on-Chip, NoC) and memory architecture levels to exploit the potential performance benefits. These parallel systems supporting shared memory abstraction both in the general purpose and application specific domains are confronting the critical issue of memory consistency. READ MORE

  6. 4. Electromechanical Interactions in Shuttle Systems and Carbon Nanotube Relays

    Author : Tomas Nord; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Coulomb blockade; carbon nanotubes; memory device; nanorelay; single electron tunneling; van der Waals forces; NEMS; shuttle transport; mesoscopic; nanoelectromechanical systems;

    Abstract : In this thesis we theoretically investigate two kinds of nanoscale systems where there is a strong electromechanical coupling, i.e. an intricate relation between the Coulomb forces that can appear in these systems and the displacements of parts of the systems that they cause. READ MORE

  7. 5. Towards Single-Ion Detection and Single-Photon Storage in Rare-Earth-Ion-Doped Crystals

    Author : Mohammed Alqedra; NanoLund: Centre for Nanoscience; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Single-ion detection; microcavities; quantum memory; rare-earth-ion-doped crystals; Fysicumarkivet A:2022:Alqedra;

    Abstract : Solid materials doped with rare-earth ions are considered an attractive platform for quantum information applications. One of the main reasons for this is the exceptionally long optical and hyperfine coherence times of the 4fn states, due to the shielding provided by the outer lying 5s and 5p electrons. READ MORE