Picos, A Hardware Task-Dependence Manager for Task-Based Dataflow Programming Models | IEEE Conference Publication | IEEE Xplore