Efficient and provably correct schedulers for many-core CPUs

Project: Research

Project Details

StatusFinished
Effective start/end date3/06/20132/10/2015