A Novel Processor Architecture With a Hardware Microkernel to Improve the Performance of Task-Based Systems | IEEE Journals & Magazine | IEEE Xplore