加速效益相关硕士博士期刊学术论文 - 搜论网

加速效益相关论文

基于控制结构的模型检测加速技术及其效益研究

实时系统是一类能够及时处理事务或执行计算并对外部环境做出响应的计算机系统，它不仅要求系统计算结果是正确的，而且要求结果产生的......

学位

模型检测精确加速控制结构加速效益加速代价

一种模型检测精确加速的判断方法

在实时系统中具有不同的时间度量,在用时间自动机进行建模及验证时会引起片段问题,通常的解决办法是向时间自动机添加一个附加环,......

期刊

实时系统模型检测时间自动机附加环加速技术判断标准

看过本文同时还关注