author: Freark van der Berg
title: Qualcomm - Programming Models for Heterogeneous Multi-Core Architectures
keywords: memory models, Michael-Scott queue, model checking
topics: Algorithms and Data Structures
committee: Pablo Montesinos Ortego ,
Michael Weber ,
Jaco van de Pol
started: June 2012
end: December 2012