Symmetry breaking for multi-criteria mapping and scheduling on multicores
FORMATS（2013）
关键词
symmetry breaking,multiprocessor mapping,new methodology,compact symbolic representation,exact pareto-optimal solution,multi-criteria mapping,sdf graph,buffer memory optimization,smt solver,long-old difficult problem,tilera multicore platform,big problem
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要