Near-Data-Processing (NDP) architectures present a promising way to alleviate data
movement costs and can provide significant performance and energy benefits to parallel …

Fine-grained synchronization is employed in many parallel algorithms and is often
implemented using busy-wait synchronization (eg, spin locks). However, busy-wait …

As more emerging applications are moving to GPUs, fine-grained synchronization has
become imperative. However, their performance can be severely impaired in case of …

We present a novel proof by induction algorithm, which combines k-induction with invariants
to model check embedded C software with bounded and unbounded loops. The k-induction …

While numerous hardware synchronization mechanisms have been proposed, they either
no longer function or suffer great performance loss when their hardware resources are …

This paper extends the reach of General Purpose GPU programming by presenting a
software architecture that supports efficient fine-grained synchronization over global …

Irregular applications comprise an increasingly important workload domain for many fields,
including bioinformatics, chemistry, physics, social sciences and machine learning …

Symmetric Shared-memory multiprocessor~(SMP) is the most widely used implementation
of high-performance multi-core processors. It offers a uniform shared memory view that …

In multicores, performance-critical synchronization is increasingly performed in a lock-free
manner using atomic instructions such as CAS or LL/SC. However, when many processors …

The current trend in embedded computing consists in increasing the number of processing
resources on a chip. Following this paradigm, the STMicroelectronics/CEA Platform 2012 …