Freark van der Berg - Qualcomm - Programming Models for Heterogeneous Multi-Core Architectures

author:Freark van der Berg
title:Qualcomm - Programming Models for Heterogeneous Multi-Core Architectures
company:
keywords:memory models, Michael-Scott queue, model checking
committee:prof.dr. J.C. van de Pol (1st supervisor)
Michael Weber
Pablo Montesinos Ortego
graduation date:31 December 2012


Abstract