QQ客服 官方微博 反馈留言

浏览/检索结果: 共4条，第1-4条 帮助 限定条件 发表日期：2014    内容类型：期刊论文     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 通用几何约束系统统一建模研究 期刊论文 计算机工程与应用, 2014, 卷号: 50, 期号: 16, 页码: 159-163 作者:  石志良;  陈谊;  张忠全 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/04 几何约束  几何约束求解  约束处理  图分解  欧拉参数   多线程程序数据竞争检测与证据生成方法 期刊论文 计算机工程与科学, 2014, 期号: [db:dc_citation_issue], 页码: 2047-2053 作者:  张晓东;  郑庆华;  刘烃;  俞乐晨;  刘沛 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/02 约束求解  证据生成  多线程程序测试  数据竞争   多线程程序数据竞争检测与证据生成方法 期刊论文 2014, 卷号: 36, 页码: 2047-2053 作者:  张晓东;  郑庆华;  刘烃;  俞乐晨;  刘沛 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/20 多线程程序测试  数据竞争  约束求解  证据生成   基于静态插装和约束求解的整数漏洞检测 期刊论文 华中科技大学学报. 自然科学版, 2014, 卷号: 42, 期号: 11, 页码: 86-90 作者:  张帆;  张聪;  徐明迪;  杨捷 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/27 整数漏洞  符号执行  约束求解  程序插装  漏洞检测