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: Jaco van de Pol ,
Michael Weber ,
Pablo Montesinos Ortego
started: June 2012
end: December 2012