A Hardware Scheduler Based on Task Queues for FPGA-Based Embedded Real-Time Systems. - Tang, Yi; Bergmann, Neil W. (IEEE Transactions on Computers, 2015)