Redsharc: A Programming Model and On-Chip Network for Multi-Core Systems on a Programmable Chip. (15th November 2011)