A Novel Processor Architecture With a Hardware Microkernel to Improve the Performance of Task-Based Systems. - Leandro Poloni Dantas; Rodolfo Jardim de Azevedo; Salvador Pinillos Gimenez (IEEE Embed. Syst. Lett., 2019)