Sökning: "weak memory models"

Visar resultat 1 - 5 av 15 avhandlingar innehållade orden weak memory models.

1. 1. Caches, Transactions and Memories : Models, Coherence and Consistency

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

   Sammanfattning : 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. LÄS MER

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

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

   Sammanfattning : 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. LÄS MER

4. 3. On the subjective–objective distinction for measures of memory and cognition : Theoretical and methodological issues in questionnaire development and validation

   Författare :Peter Vestergren; Widar Henriksson; Christina Wikström; Michael Rönnlund; Björn Lyxell; Umeå universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; cognitive dysfunction; measurement; memory complaints; self report; subjective memory; subjective–objective; Other social sciences; Övrig samhällsvetenskap; didactics of educational measurement; beteendevetenskapliga mätningar;

   Sammanfattning : The aim of this thesis was to develop a questionnaire for cognitive functioning, which could possibly be used as a screening instrument for early signs of dementia in the future. The introduction discusses the often made distinction between subjective and objective measures. LÄS MER

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

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

   Sammanfattning : 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. LÄS MER

7. 5. Respiratory influences on pupil size dynamics and visual recognition memory

   Författare :Martin Schaefer; Karolinska Institutet; Karolinska Institutet; []
   Nyckelord :;

   Sammanfattning : Breathing, a fundamental rhythm of life, has traditionally been associated with the exchange of oxygen and carbon dioxide. However, recent research in both animal models and humans has unveiled additional roles of respiration in modulating cortical neuronal activity, influencing sensory, motor, emotional, and cognitive processes. LÄS MER