An ILP formulation for system level throughput and power optimization in multiprocessor SoC architectures | IEEE Conference Publication | IEEE Xplore