《表4 May分析状态合并函数举例》
提示:宽带有限、当前游客访问压缩模式
本系列图表出处文件名:随高清版一同展现
《基于抽象解释的嵌入式软件模块化Cache行为分析框架》
对两个抽象的Cache组状态进行合并操作,其Join函数举例如表4所示.
图表编号 | XD00102893200 严禁用于非法目的 |
---|---|
绘制时间 | 2019.10.01 |
作者 | 喻垚慎、黄志球、沈国华、王飞、崔少轩 |
绘制单位 | 南京航空航天大学计算机科学与技术学院、南京航空航天大学计算机科学与技术学院、高安全系统的软件开发与验证技术工业和信息化部重点实验室(南京航空航天大学)、软件新技术与产业化协同创新中心、南京航空航天大学计算机科学与技术学院、高安全系统的软件开发与验证技术工业和信息化部重点实验室(南京航空航天大学)、软件新技术与产业化协同创新中心、南京航空航天大学计算机科学与技术学院、南京航空航天大学计算机科学与技术学院 |
更多格式 | 高清、无水印(增值服务) |