WorkQ: A many-core producer/consumer execution model applied to PGAS computations | IEEE Conference Publication | IEEE Xplore