High-level execution models for multicore architectures