机译:使用基于SAT的抽象/精炼技术加快启发式分配,调度和绑定
Algorithms; Design; High level synthesis; Resource estimation; Scheduling; Binding; Allocation; Satisfiability;
机译:使用基于SAT的抽象/精炼技术加快启发式分配,调度和绑定
机译:基于反例指导的抽象细化循环的定时自动机抽象细化技术
机译:基于反例指导的抽象细化循环的定时自动机抽象细化技术
机译:利用同构来加速实例绑定,采用综合调度,分配和分配方法进行体系结构综合
机译:使用MAX-PLUS代数技术有效分析和绩效评估的数学模型,启发式和算法
机译:决策理论探路者系统中的启发式抽象
机译:利用同构来加速实例绑定,采用综合调度,分配和分配方法进行体系结构综合
机译:基于saT的抽象细化框架中重新参数化的符号模拟实验