多核处理器任务调度算法及形式化验证方法研究

多核处理器任务调度算法及形式化验证方法研究

出版年：2018

作者：谢盈

资源类型：图书

细分类型：学位论文

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

基于多核处理器的任务调度技术研究

作者：樊皓
出版年：2017

片上多核处理器随机验证研究

作者：王朋宇
出版年：2009

面向航天SOPC软件的形式化验证方法研究与应用

作者：周珊
出版社：中国科学院空间应用工程与技术中心
出版年：2022

多核处理器Cache一致性验证方法研究

作者：郝莹莹
出版年：2015

数据通路型电路的形式化验证方法研究

作者：陈博文
出版年：2011

数字硬件的形式化验证

作者：韩俊刚
ISBN：7301053320
出版社：北京大学出版社
出版年：2001