首页> 外文OA文献 >Optimal Static Task Scheduling on Reconfigurable Hardware Devices using Model-Checking

【2h】

Optimal Static Task Scheduling on Reconfigurable Hardware Devices using Model-Checking

机译：使用模型检查的可重新配置硬件设备上的最佳静态任务调度

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者

展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Static Scheduling of Periodic Hardware Tasks with Precedence and Deadline Constraints on Reconfigurable Hardware Devices [J] . Ikbel Belaid, Fabrice Midler, Maher Benjemaa International journal of reconfigurable computing . 2011,第3期

机译：在可重配置硬件设备上具有优先级和截止日期约束的周期性硬件任务的静态调度
2. Static Scheduling of Periodic Hardware Tasks with Precedence and Deadline Constraints on Reconfigurable Hardware Devices [J] . Belaid Ikbel, Muller Fabrice, Benjemaa Maher International journal of reconfigurable computing . 2011,第1aaPagea1期

机译：在可重配置硬件设备上具有优先级和截止日期约束的定期硬件任务的静态调度
3. Static Scheduling of Periodic Hardware Tasks with Precedence and Deadline Constraints on Reconfigurable Hardware Devices [J] . IkbelBelaid, FabriceMuller, MaherBenjemaa International journal of reconfigurable computing . 2011,第1aaPagea1期

机译：在可重配置硬件设备上具有优先级和截止日期约束的定期硬件任务的静态调度
4. Optimal Static Task Scheduling on Reconfigurable Hardware Devices using Model-Checking [C] . Zonghua Gu, Mingxuan Yuan, Xiuqiang He IEEE Real Time and Embedded Technology and Applications Symposium . 2006

机译：使用模型检查可重新配置硬件设备上的最佳静态任务调度
5. Static scheduling in a reconfigurable hardware environment. [D] . Loo, Sin Ming. 2003

机译：可重配置硬件环境中的静态调度。
6. Applying Dynamic Priority Scheduling Scheme to Static Systems of Pinwheel Task Model in Power-Aware Scheduling [O] . Ye-In Seol, Young-Kuk Kim -1

机译：动态优先级调度方案在动力感知型风车任务模型静态系统中的应用
7. Optimal static task scheduling on reconfigurable hardware devices using model-checking [O] . Gu Z., Yuan M., He X. 2007

机译：使用模型检查在可重新配置的硬件设备上进行最佳静态任务调度
8. Static and Dynamic Component Obfuscation on Reconfigurable Devices [R] . Cady, C. R. 2010

机译：可重构设备上的静态和动态组件混淆

Optimal Static Task Scheduling on Reconfigurable Hardware Devices using Model-Checking

著录项

引文网络

相似文献

相关主题

期刊订阅