Synthesis of Pareto Efficient Technical Architectures for Multi-core Systems | IEEE Conference Publication | IEEE Xplore