Tessellation operating system: Building a real-time, responsive, high-throughput client OS for many-core architectures. - Juan A. Colmenares; Sarah Bird; Gage Eads; Steven A. Hofmeyr; Albert Kim; Rohit Poddar; Hilfi Alkaff; Krste Asanovic; John Kubiatowicz (Hot Chips Symposium, 2011)