Operating System Structures for Multiprocessor Systems on Programmable Chip | IEEE Conference Publication | IEEE Xplore