The paraphrase project: Parallel patterns for adaptive heterogeneous multicore systems (2013)

by K Hammond, M Aldinucci, C Brown
Venue:In Formal methods for components and objects: international symposium (FMCO 2011