搜索到 篇“ 谓词抽象 “的相关文章

相关作者

魏燕侠
作品数：21被引量：21H指数：3
供职机构：华侨大学哲学与社会发展学院
研究主题：模态逻辑 知识论 信念 谓词抽象 辖域
屈婉霞
作品数：78被引量：67H指数：5
供职机构：国防科学技术大学
研究主题：环形振荡器 并行计算机系统 参数化系统 测试装置 可配置
任强
作品数：3被引量：0H指数：0
供职机构：苏州大学计算机科学与技术学院
研究主题：谓词抽象 WEB服务 WEB服务组合 精华 源程序
李暾
作品数：74被引量：427H指数：9
供职机构：国防科学技术大学计算机学院
研究主题：模拟矢量自动生成 RTL 计算思维 大学计算机基础 微处理器
郭阳
作品数：580被引量：504H指数：10
供职机构：国防科学技术大学
研究主题：单粒子 单粒子翻转 向量处理器 寄存器 向量化