This paper describes the development of a parallel simulator of a multicore memory system
from a model formalized as a structural operational semantics (SOS). Our implementation …

This article addresses the long-standing problem of program correctness for programs that
describe systems of parallel executing processes. We propose a new method for proving …

The performance of software running on parallel or distributed architectures can be severely
affected by the location of data. In shared memory multicore architectures, data movement …

The overall problem addressed in this paper is the long-standing problem of program
correctness, and in particular programs that describe systems of parallel executing …

In stepwise program development, abstract specifications can be transformed into (parallel)
programs which preserve functional correctness. Although tackling bad performance after a …

On a system that exposes disjoint memory spaces to the software, a program has to address
memory consistency issues and perform data transfers so that it always accesses valid data …

Abstract When designing of Shared Memory Multiprocessor systems Cache Coherence
becomes the great challenge to deal because incoherence may occur when the processors …