CE4DBF20-E518-4D1D-B33F-D03C1532ADCDAdvanced Formal Verification Techniques for Heterogeneous Multi-core ProgrammingFellowshipEP/G051100/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL2355023DFCBA76-18F9-4663-8E2B-1906B469F3BDHigh Performance Embedded Architectures and Compilersf8514fe6b8931f4371c819ed2dbb4a17Cooper P2010-01-01http://dx.doi.org/10.1007/978-3-642-11515-8_25978-3-642-11514-1http://dx.doi.org/10.1007/978-3-642-11515-8_25Offload - Automating Code Migration to Heterogeneous Multicore Systems337-352Book Chapter54363ca7ded844.02916923