SPECK: a Kernel for Scalable PredictabilityQi Wang, Yuxin Ren, Matt Scaperoth, Gabriel Parmer
The George Washington UniversityWashington, DC
{interwq,ryx,mscapero,gparmer}@gwu.eduAbstract—Multi- and many-core systems are increasingly
prevalent in embedded systems. Additionally, isolation require-
ments between different partitions and criticalities are gaining in
importance. This difficult combination is not well addressed by
current software systems. Parallel systems require consistency
guarant