An efficient and complete approach for throughput-maximal SDF allocation and scheduling on multi-core platforms Everyone AI Group UNIBO Embedded System Design