...
机译:多处理器系统任务映射与调度的可满足性模图理论
Hong Kong University of Science and Technology, Hong Kong;
Multiprocessor; design space exploration; satisfiability.; scheduling;
机译:具有通信延迟的任务图的最优调度的可满足性模理论(SMT)公式
机译:基于元启发式的任务调度和映射方法,优化异构多处理器嵌入式系统的主要设计挑战
机译:基于元启发式的任务调度和映射方法,以优化异构多处理器嵌入式系统的主要设计挑战
机译:使用不完全可满足性模理论确定机器人任务
机译:使用满意度模理论和自动机检查对电子系统级模型进行形式化分析。
机译:动态优先级调度方案在动力感知型风车任务模型静态系统中的应用
机译:用于将迭代任务图映射到分布式内存多处理器的周期性调度启发式方法
机译:用于将迭代任务图映射到Distributedmemory多处理器的周期调度启发式算法