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 |