SPECK - A Kernel for Scalable Predictability (rtas15speck).pdf 268 KB