Ian Gray, Neil C. Audsley. Targeting complex embedded architectures by combining the multicore communications API (mcapi) with compile-time virtualisation. In Jan Vitek, Bjorn De Sutter, editors, Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Chicago, IL, USA, April 11-14, 2011. pages 51-60, ACM, 2011. [doi]
Abstract is missing.