In this thesis we study the limitations of data structures and how they can be overcome through careful consideration of the used memory models. The word RAM model represents the memory as a finite set of registers consisting of a constant number of unique bits. From a hardware point of view it is not necessary to arrange the memory as in the word RAM memory model. However, it is the arrangement used in computer hardware today. Registers may in fact share bits, or overlap their bytes, as in the RAM with Byte Overlap (RAMBO) model. This actually means that a physical bit can appear in several registers or even in several positions within one register. The RAMBO model of computation gives us a huge variety of memory topologies/models dependin...
This paper discusses memory consistency models and their influence on software in the context of par...
The functionality of volatile random access memories (RAMs) in personal computers, embedded systems,...
We introduce reference structures -- a basic logical model of a computer memory organization capable...
In this thesis we study the limitations of data structures and how they can be overcome through care...
The memories of real life computers usually have a hierarchical structure with levels like registers...
We present a computation-centric theory of memory models. Unlike traditional processor-centric model...
All methods of multi-processing need some form of processor to processor communication. In shared me...
A physical memory address is no longer the stable concept it was. We demonstrate how modern computer...
This paper is based on a previous work of the first author [16] in which a mathematical model of the...
Parallel systems that support the shared memory abstraction are becoming widely accepted in many are...
The traditional consistency requirements of shared memory are expensive to provide both in large sc...
Weak memory models are a consequence of the desire on part of architects to preserve all the uniproc...
Storage Class Memory (SCM) is emerging as a viable alternative to traditional DRAM, alleviating its ...
Purpose. Rapidly growing volumes of information systems data being manipulated significantly reduce ...
Modern computer systems usually have a complex memory system consisting of increasingly larger and ...
This paper discusses memory consistency models and their influence on software in the context of par...
The functionality of volatile random access memories (RAMs) in personal computers, embedded systems,...
We introduce reference structures -- a basic logical model of a computer memory organization capable...
In this thesis we study the limitations of data structures and how they can be overcome through care...
The memories of real life computers usually have a hierarchical structure with levels like registers...
We present a computation-centric theory of memory models. Unlike traditional processor-centric model...
All methods of multi-processing need some form of processor to processor communication. In shared me...
A physical memory address is no longer the stable concept it was. We demonstrate how modern computer...
This paper is based on a previous work of the first author [16] in which a mathematical model of the...
Parallel systems that support the shared memory abstraction are becoming widely accepted in many are...
The traditional consistency requirements of shared memory are expensive to provide both in large sc...
Weak memory models are a consequence of the desire on part of architects to preserve all the uniproc...
Storage Class Memory (SCM) is emerging as a viable alternative to traditional DRAM, alleviating its ...
Purpose. Rapidly growing volumes of information systems data being manipulated significantly reduce ...
Modern computer systems usually have a complex memory system consisting of increasingly larger and ...
This paper discusses memory consistency models and their influence on software in the context of par...
The functionality of volatile random access memories (RAMs) in personal computers, embedded systems,...
We introduce reference structures -- a basic logical model of a computer memory organization capable...