机译:FAMe-TM:用于多核系统中任务迁移算法的形式化分析方法
School of Electrical Engineering and Computer Science (SEECS), National University of Sciences and Technology (NUST), Islamabad 44000, Pakistan;
School of Electrical Engineering and Computer Science (SEECS), National University of Sciences and Technology (NUST), Islamabad 44000, Pakistan;
School of Electrical Engineering and Computer Science (SEECS), National University of Sciences and Technology (NUST), Islamabad 44000, Pakistan;
Embedded Systems (CES), Karlsruhe Institute of Technology (KIT), Karlsruhe 76021, Germany;
Embedded Systems (CES), Karlsruhe Institute of Technology (KIT), Karlsruhe 76021, Germany;
Dynamic Thermal Management; Formal verification; Many-Core systems; Model checking; nuXmv;
机译:用于多核芯片的性能/能耗感知任务迁移算法
机译:许多核心系统中动态资源管理的实时任务迁移
机译:用于多核系统中的热感知任务迁移的多代理框架
机译:用于模拟任务迁移算法对多核架构的热效应的冰激框架
机译:基于索引的可视化和数据分析算法在许多核心系统上的搜索技术
机译:下一代飞机智能导航管理系统中的人机交互:面向代理的方法论方法下的任务分析和体系结构
机译:在多核系统中模拟运行时任务迁移