Search for dissertations about: "weak memory model"

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

  1. 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 : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; 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

  2. 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 : NATURAL SCIENCES; NATURVETENSKAP; 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

  3. 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 : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; 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

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

    Author : Tomas Nord; Chalmers University of Technology; []
    Keywords : 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

  5. 5. Modeling Analog to Digital Converters at Radio Frequency

    Author : Niclas Björsell; Peter Händel; Niclas Keskitalo; Linus Michaeli; KTH; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ADC; Analog to Digital Converters; Signal processing; Telecommunication; Telekommunikation; Electronics; Elektronik;

    Abstract : Det här arbetet handlar om att ta fram beteendemodeller av analog till digital omvandlare avsedda för tillämpningar i radiofrekvensområdet. Det gäller tillämpningar inom telekommunikation men även in test- och mätinstrument där omvandlingen från analoga till digitala signaler ofta är en prestandamässig flaskhals. READ MORE