A theory for software-hardware co-scheduling for ASIPs and embedded processors | IEEE Conference Publication | IEEE Xplore