Picos, A Hardware Task-Dependence Manager for Task-Based Dataflow Programming Models | Publicación